Postdoctoral position in logic and unsatisfiability
Institute of Mathematics, Czech Academy of Sciences | Prague
Classification:
The Institute of Mathematics of the Czech Academy of Sciences (IM CAS) is seeking a researcher for the project “Logic and unsatisfiability”, coordinated by Dr Neil Thapen and funded by the Czech Science Foundation. 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. The successful applicant will be based at the Institute of Mathematics of the Czech Academy of Sciences, Prague, and perform research in the areas of the project. He/she is also expected to take part in activities of the Department of Mathematical Logic and Theoretical Computer Science, such as seminars and workshops organized by the group. No teaching is involved. Appointment period: 30 months Please apply ONLY through our online application system https://application.math.cas.cz/Positions.html where you will also find the official announcement.
Last updated: 22 February 2023