Job announcements

To contribute to the web site, please open an issue, create a pull request or send a mail to the science communication coordinators.

• 1 May 2025 (soft deadline): 2 postdoc positions on Higher Observational Type Theory funded by the HOTT ERC project. This is a 5 year project starting on 1 May 2025, later starting dates and shorter postdocs are possible. Location: type theory research group at the Faculty of Informatics at Eötvös Loránd University in Budapest. Please contact Ambrus Kaposi.

• 16 March 2025: 4-year PhD position on Mechanized Systems-Level Security in the DistriNet group at KU Leuven, Belgium.

• 31 July 2024 (deadline): Postdoc position in ERC CoG project CertiFOX on trustworthy combinatorial optimization using proof logging

• 20 November 2023 (deadline): The Institute of Computer Science of the Czech Academy of Sciences offers a tenure track position in Artificial Intelligence, interpreted in its broadest possible sense, including the area of automated reasoning. Contact Stefan Ratschan.

• 20 November 2023 (deadline): The Institute of Computer Science of the Czech Academy of Sciences offers a tenure track position in Computer Science, open to areas fitting and/or expanding the current research areas at the institute (computational logic, artificial intelligence, statistics, etc.). See the institute page for more details or contact ics@cs.cas.cz.

• 21 April 2023: Deducteam offers a 3-year engineer contract at Inria to help develop, test and maintain tools for proof system interoperability (continuous integration, proof library management, search tools, VSCode, etc.). Net taxable monthly salary between 2148 and 4412 euros depending on experience. If you are interested, please send your CV to Frédéric Blanqui.

• 6 March 2023: 3-year PhD position at Inria / Nantes Université (France) in formalized mathematics and verification of computer algebra. Application deadline: 31 March 2023, contact: Assia Mahboubi.

• 3 February 2023: 4-year PhD position at the University of Twente, the Netherlands on the verification of efficient and secure parallel algorithms. Application deadline: 28 February 2023, contact: Peter Lammich.

• 3 February 2023: Three faculty positions at the University of Copenhagen, Denmark in Systems and Software Engineering (Associate level), Quantum Computing (open rank), and Data Management (open rank). Topics are interpreted broadly. See the respective calls for deadlines and contacts.

• 2 June 2022: Researcher-Engineer position on Applications of Formal Verification in an Industrial Context, ProofInUse consortium, Paris and Saclay, France

• 1 June 2022: PhD position on Formalization of Set Theory and Proof Checking, Nancy, France

• 31 May 2022: PhD position on Composition of set theory-based models, Toulouse, France.

• 19 May 2022: PhD position on Automated Reasoning for Set Theory, Nancy, France. Application deadline: 6 June 2022.

• 8 May 2022: PhD and Postdoc positions on Satisfiability Modulo Theories, Bar-Ilan University, Israel. Start date: 2022 or 2023.

• 3 April 2022: PhD grant on Compositional Verification of Smart Contracts in Isabelle, University of Exeter, UK, deadline: 29 April 2022

• 3 April 2022: PhD grant on Formal Verification for Safety- or Security-Critical Systems, University of Exeter, UK, deadline: 29 April 2022