[Proof Complexity] PhD position in Prague

[Emil Jerabek]

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

http://www.math.cas.cz/fichier/postes/positions/position_20190128144627_53.pdf

for formal requirements.

Best regards,
Emil Jerabek