Appointment period: 3.5 months
Appointment type: Full-time employment contract
Starting date: July 1, 2024 (or upon agreement)
Salary: CZK 48 000 per month
Deadline for applications: May 31, 2024

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, the theory of SAT solving, or related structural topics in TFNP.

Publications, as well as other activities and professional achievements, will be judged by the stage of the applicant’s career.

The successful applicant will be based at the Institute of Mathematics of the Czech Academy of Sciences, Prague. 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.