Pending final approval by the European Research Council up to 4 years Ph.D. student position is available within the framework of the ERC Advanced Grant Feasibility, logic and randomness in computational complexity under the direction of Professor Pavel Pudlák. See description of the project.
Applications are invited from candidates who have completed or will complete their master degree in Mathematics, or Theoretical Computer Science before December 30, 2013, and who have good knowledge of mathematical logic and/or computational complexity. At least basic knowledge of English is required.
Starting date: 01 January 2014
Further information at http://www.math.cas.cz/documents/FEALORA_student_call_2013-final.pdf.