06 Mar 2023

Postdoctoral position in the project Logic and unsatisfiability

Appointment period: 30 months
Appointment type: Full-time employment contract
Starting date: July 1, 2023
Salary: CZK 48 000 per month
Deadline for applications: March 31, 2023

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.

We require verbal and written English communication skills and ability to work both independently and collaboratively. 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, 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.

Application for the position must be submitted exclusively using the electronic submission system at

Equal opportunities are an integral part of the IM CAS personnel policy. The IM CAS fosters the compatibility of work and family and encourages applications from qualified female researchers. Disabled applicants will be given preference in case of equal qualifications.

Only complete applications (including the letters of references) received by March 31, 2023, will be considered. Online interviews with shortlisted applicants will be scheduled for the week from April 10 to 14, 2023. All applicants will be notified by April 30, 2023.