|
Postdoc position at TU Delft
|
|
0
|
21
|
September 16, 2026
|
|
We are paying math researchers to capture the work you are already doing!
|
|
0
|
61
|
August 17, 2026
|
|
Technical Associate positoin at the AI for Math Fund
|
|
0
|
86
|
May 29, 2026
|
|
Permanent lecturer position at the University of Strathclyde
|
|
0
|
111
|
March 9, 2026
|
|
Compiler and Verification Engineer Positions at Cryspen
|
|
0
|
162
|
January 17, 2026
|
|
Associate/Assistant professorships in Copenhagen or Aalborg at Aalborg University
|
|
0
|
52
|
December 16, 2025
|
|
Post doc position available at University of North Carolina Charlotte, USA
|
|
0
|
160
|
December 9, 2025
|
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2
|
109
|
December 7, 2025
|
|
Postdoc position on type systems for multiple unit systems
|
|
0
|
93
|
June 12, 2025
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
385
|
October 11, 2023
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
118
|
July 2, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
277
|
July 13, 2024
|
|
PhD position at Swansea University, UK
|
|
0
|
103
|
December 18, 2024
|
|
Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
|
|
0
|
87
|
March 3, 2025
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
77
|
November 22, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
109
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries
|
|
1
|
153
|
June 14, 2024
|
|
Internships at CNES, the French space agency
|
|
0
|
284
|
November 27, 2023
|
|
Permanent Post [L/SL] in Applied Formal Methods at Swansea University
|
|
0
|
315
|
September 28, 2023
|
|
PhD Position in formal proofs @LMF/Université Paris-Saclay
|
|
0
|
482
|
September 28, 2023
|
|
Postdoctoral Position in Orleans, France: Collaborative Memory Models for Formal Verification
|
|
0
|
345
|
June 10, 2023
|
|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
512
|
April 22, 2023
|
|
PhD position at Inria / Nantes Université (France)
|
|
0
|
1394
|
March 4, 2023
|
|
Verification Jobs @ Cryspen (France/Germany)
|
|
0
|
715
|
January 11, 2023
|
|
Job offer - postdoc position in Inria Sophia Antipolis
|
|
1
|
570
|
January 3, 2023
|
|
Position in software dependability at the French space agency CNES - Toulouse
|
|
2
|
524
|
December 27, 2022
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
1233
|
September 8, 2020
|
|
Research internships at MPI
|
|
0
|
921
|
December 11, 2020
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
722
|
June 7, 2021
|
|
Job opening: visiting research programmer, machine learning for Coq
|
|
0
|
764
|
March 12, 2022
|