[Proof Complexity] Short-term postdoc in Prague

[thapen]

Dear colleagues,

There is the possibility of a short-term postdoc position in our group 
at the Institute of Mathematics in Prague.

- Salaried position for three or four months in 2024
- You should be an EU citizen who received a doctorate in the last five 
years.

It is connected with the grant "logic and unsatisfiability" on topics in 
proof complexity, bounded arithmetic, and related questions in TFNP and 
the theory of SAT solving.

This could be appropriate for someone inbetween jobs. Anyone interested, 
please contact me as soon as possible.

Best wishes,

Neil Thapen