PhD position in mathematical logic, Prague (Czech Republic)

There will be a EU funded PhD position in mathematical logic in Prague, to start in October 2010. The funding will be through the EU network "Mathematical Logic and Applications" (MALOA). The position is intended for students interested in logic&complexity, proof complexity in particular.

Deadline for applications is 31 January 2010. More information is available at: http://www.karlin.mff.cuni.cz/~krajicek/maloa.html. Or contact Jan Krajicek at krajicek at karlin.mff.cuni.cz.