[Proof Complexity] postdoc - Charles University

Jan Krajicek krajicek at karlin.mff.cuni.cz
Mon Feb 3 08:10:15 CET 2020

 Dear colleagues,

 our school opens a postdoc position, see item 3 in


 Past experience shows that the competition can be tough
but an excellent candidate will have a very good chance to
succeed. This is more for mathematically oriented people
than for CS people. In particular, I would be glad to host
a postdoc with interests in links between model theory (and
mathematical logic in general) to complexity theory.

                      Best regards,


More information about the Proof-Complexity mailing list