|
About the Jobs category
|
|
0
|
22
|
September 9, 2025
|
|
Research roles at Melbourne on seL4, agentic security, neural theorem proving
|
|
0
|
14
|
October 5, 2026
|
|
Chaire de Professeur Junior in Lyon: Generative AI for formal proofs
|
|
0
|
136
|
August 27, 2026
|
|
MITACS Undergrad Research Internships - 2027 Applications Open
|
|
0
|
60
|
August 7, 2026
|
|
Blockchain formal verification @ category labs
|
|
0
|
173
|
June 6, 2026
|
|
Permanent researcher position at Mines Paris - PSL
|
|
0
|
79
|
May 29, 2026
|
|
Technical Associate positoin at the AI for Math Fund
|
|
0
|
87
|
May 29, 2026
|
|
Permanent lecturer position at the University of Strathclyde
|
|
0
|
113
|
March 9, 2026
|
|
Assistant professor position at Télécom Paris "Formal Methods at the crossroads of Hardware and Software"
|
|
0
|
90
|
January 9, 2026
|
|
Several fully funded PhD and Postdoc positions in Quantum
|
|
0
|
78
|
December 17, 2025
|
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2
|
116
|
December 7, 2025
|
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0
|
130
|
November 27, 2025
|
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0
|
70
|
November 6, 2025
|
|
AI for formal math researcher at Mistral AI
|
|
0
|
409
|
October 2, 2025
|