(Extended deadline) The Institute of Mathematics of the Czech Academy of Sciences is seeking a researcher for the project “Logic and unsatisfiability”. Applications are invited from candidates who have completed their PhD within the last 5 years (or will have completed it before the time of hiring), and who have a strong background in proof complexity or bounded arithmetic.

Website: http://www.math.cas.cz/recrutements/postes.php
Email: thapen@math.cas.cz