Postdoc position in Applied Logic-based Reasoning

We are currently seeking a highly motivated Postdoctoral Researcher with a PhD degree in Computer Science, engineering, or a related field, who demonstrates a keen interest in applying mathematical logic, automated reasoning, and, specifically, satisfiability modulo theories (SMT). The focus of this position is to contribute to the enhancement of modern SMT solvers, ensuring their increased efficiency in addressing specific challenges presented in formal verification, smart contract verification, or formalized mathematics. The ideal candidate will be involved in the development of next-generation solvers capable of adapting to specific problem domains, learning from past successes, and exploring diverse approaches in instances of failure. Among others, topics of interest are novel decision procedures, code synthesis, and application of machine learning within solvers.

Applicants for this position should possess exceptional communication and writing skills in English, along with substantial experience in code development. The successful candidate is expected to make significant contributions to international scientific research through independent and innovative thinking, showcasing the ability to quickly grasp new topics.

This fully funded position offers the opportunity for scientifically challenging research, with an initial 1-year contract and the potential for extension up to 4 years. The package includes comprehensive social and health insurance coverage. The selected candidate will join an esteemed international team with a well-established track record in automated reasoning and related areas.

We offer the opportunity to do scientifically challenging research on a fully funded position (1-year contract with the possibility of an extension of up to 4 years), including full social and health insurance. The research will be carried out at the​ Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) at the Czech Technical University in Prague. The institute was founded in 2013 and an important part of its mission is interdisciplinary cooperation, technology transfer, and collaboration with advanced industry. Among others, the institute hosts internationally renowned researchers ​R. Babuska (robotics), ​ Z. Hanzalek (scheduling and optimization), ​ V. Hlavac (vision, robotics), ​ V. Kucera (systems and control), ​ L. Lhotska (AI, biomedical engineering, human-machine interaction), ​ T. Mikolov (AI, learning), ​ T. Pajdla (vision, robotics, geometry), ​ J. Sedivy (NLP, learning), ​ J. Sivic (vision, learning), ​ O. Stepankova (biomedical engineering), ​ J. Urban (AI, reasoning).

Prague ranks among the top cities to live in (cf. Time Out Magazine index for 2022). The Dejvice Campus features a range of student amenities, such as the National Library of Technology, and a laid-back atmosphere with cafes and other social hangout places. Other benefits include a competitive salary, 30 days paid leave, and a family-friendly environment (Children’s corner, kindergarten, and elementary school operated by the Czech Technical University in Prague).