[Proof Complexity] PhD position in Prague

Emil Jerabek jerabek at math.cas.cz
Thu Feb 14 16:02:39 CET 2019

Dear Colleagues,

There is an open Ph.D. student position at the Institute of
Mathematics of the Czech Academy of Sciences, within the confines of
my grant project, seeking candidates with research interests in logic,
computational complexity, or proof complexity.

The current call is for 9 months starting from 1 April, 2019, however
the appointment can be extended for up to 2 more years.

As the Institute of Mathematics cannot have students of its own,
applicants will be expected to enroll in the Ph.D. program at the
Charles University (which comes with a stipend independent of the
salary from the Institute of Mathematics).

The deadline for applications is 18 March, 2019. See the official
announcement at


for formal requirements.

Best regards,
Emil Jerabek

More information about the Proof-Complexity mailing list