[Proof Complexity] [pahrubes at gmail.com: Re: postdoc]

Emil Jerabek jerabek at math.cas.cz
Wed Feb 5 17:07:44 CET 2025


----- Forwarded message from Pavel Hrubes <pahrubes at gmail.com> -----

Dear colleagues,

there is an open postdoc position at the Institute of Mathematics in
Prague, starting in 2025.

https://application.math.cas.cz/Positions.html#page=CALL_LIST


More information about the Proof-Complexity mailing list