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.
-
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.
-
6 July 2022: Deducteam can get a 3-years engineer position to work on the development of a package manager for libraries from multiple proof systems. Find more details here (it is written in French but can be translated using Google translate or a similar tool). Knowledge of logic or type theory is not necessary. Speaking French is not mandatory. If you are interested, contact Frédéric Blanqui.
-
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