Postdoctoral position in the project Logic and unsatisfiability
Institute of Mathematics, Czech Academy of Sciences | Prague, Czech Republic
Classification:
The Institute of Mathematics of the Czech Academy of Sciences (www.math.cas.cz) 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. Starting date: July 1, 2024, or upon agreement Contract length: 3.5 months Salary: CZK 48 000 per month Please apply ONLY through our online application system https://application.math.cas.cz/Positions.html where you also find more details in the official announcement.
Last updated: 25 April 2024