Fwd: [Proof Complexity] a position in the Insitute of Mathematics

[Camilo Thorne]

---------- Forwarded message ---------
From: Pavel Pudlak <pud...@math.cas.cz>
Date: Wed, Jan 26, 2022 at 4:01 PM
Subject: [Proof Complexity] a position in the Insitute of Mathematics
To: <proof-co...@math.cas.cz>

There is an opening for a position in the Department of Mathematical Logic
and Computer Science, Czech Academy of Sciences. The call is on

http://www.math.cas.cz/recrutements/postes.php?lang=0

This is a tenure track-type position intended for young researches who
have already established themselves in the field of logic and
computational complexity. Ideally we would like to hire somebody working
in proof complexity and bounded arithmetic.

Researchers in the Czech Academy have no teaching duties. Although they
are expected to focus on research, they are also encouraged to supervise
students and teach some advanced courses at universities in Prague. They
are also free to spend some time on research visits abroad.

Do not hesitate to write me if you have any questions concerning this
position.

The deadline for applications is February 28, 2022.

Pavel Pudlak

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

[Camilo Thorne]

---------- Forwarded message ---------
From: Emil Jerabek <jer...@math.cas.cz>
Date: Thu, Mar 3, 2022 at 10:42 AM
Subject: Re: [Proof Complexity] a position in the Insitute of Mathematics
To: <proof-co...@math.cas.cz>

Dear Colleagues,

The deadline for applications for this position has been extended
until March 31, 2022.

Best regards,
Emil