|
PhD position at Inria / Nantes Université (France)
|
|
0
|
76
|
March 4, 2023
|
|
Verification Jobs @ Cryspen (France/Germany)
|
|
0
|
100
|
January 11, 2023
|
|
Job offer - postdoc position in Inria Sophia Antipolis
|
|
1
|
92
|
January 3, 2023
|
|
Position in software dependability at the French space agency CNES - Toulouse
|
|
2
|
88
|
December 27, 2022
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
834
|
September 8, 2020
|
|
Research internships at MPI
|
|
0
|
579
|
December 11, 2020
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
382
|
June 7, 2021
|
|
Job opening: visiting research programmer, machine learning for Coq
|
|
0
|
346
|
March 12, 2022
|
|
PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE)
|
|
0
|
298
|
March 29, 2022
|
|
Full-time positions in formalized mathematics at Düsseldorf
|
|
0
|
270
|
June 23, 2022
|
|
Two positions at the University of Bonn in the field of formal mathematics and computer assisted theorem proving
|
|
0
|
183
|
October 5, 2022
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
131
|
October 12, 2022
|
|
Postdoc and Internship positions at IBM Research
|
|
0
|
279
|
October 14, 2022
|