|
|
Close Help | ||||||||||||||
Postdoctoral position in the Department of Mathematical Logic and Theoretical Computer Science
E-mail for Applications :
Opening of Applications: 7/2/2023
Deadline for Applications: 30/4/2023
Further Details and Application Form
Description/Comments:
!!! Deadline extended !!! 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
