Dear colleagues, there will be a EU funded PhD position in mathematical logic in Prague, to start in October 2010. More information is available at: http://www.karlin.mff.cuni.cz/~krajicek/maloa.html If you know of a student who may be interested in studying logic&complexity or proof complexity in particular, please put him or her in touch with me. Thank you. Jan Krajicek