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

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.

We offer flexible working hours for scientists. We support female researchers with children by offering possibility of home office contracts and part-time job.

The Academy offers the kindergarden for employees' children from 1 to 5 years old. Affordable accommodation is available in the building of the Institute for the first 3-6 months.

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

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 May 31, 2023, will be considered. Online interviews with shortlisted applicants will be scheduled for the week from June 3 to 5, 2024. All applicants will be notified by June 10, 2024.