Fwd: [Proof Complexity] postdoc - Charles University

[Camilo Thorne]

Camilo Thorne

Rheinhäuser Str. 9A

68165, Mannheim, Germany

mobile: +49(0)15202380352

http://www.camilothorne.com

"Exegi monumentum aere perennius" 

(Horatius, Ode III-30)

---------- Forwarded message ---------
From: Jan Krajicek <kraj...@karlin.mff.cuni.cz>
Date: Mon, Feb 3, 2020 at 8:10 AM
Subject: [Proof Complexity] postdoc - Charles University
To: list Proof <proof-co...@math.cas.cz>

 Dear colleagues,

 our school opens a postdoc position, see item 3 in

https://www.mff.cuni.cz/en/faculty/job-opportunities/open-competition/scientific-post-doc-positions-at-the-school-of-mathematics-with-submission-deadline-march-15-2020


 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,

                               Jan



_______________________________________________
Proof-Complexity mailing list
Proof-Co...@math.cas.cz
https://list.math.cas.cz/listinfo/proof-complexity