|
Post-doc position at Inria Rennes on AI and formal methods
|
|
0
|
56
|
January 20, 2026
|
|
Compiler and Verification Engineer Positions at Cryspen
|
|
0
|
121
|
January 17, 2026
|
|
Assistant professor position at Télécom Paris "Formal Methods at the crossroads of Hardware and Software"
|
|
0
|
74
|
January 9, 2026
|
|
Security Foundations (new volume of Software Foundations)
|
|
0
|
45
|
January 8, 2026
|
|
Several fully funded PhD and Postdoc positions in Quantum
|
|
0
|
61
|
December 17, 2025
|
|
Associate/Assistant professorships in Copenhagen or Aalborg at Aalborg University
|
|
0
|
45
|
December 16, 2025
|
|
Post doc position available at University of North Carolina Charlotte, USA
|
|
0
|
143
|
December 9, 2025
|
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2
|
87
|
December 7, 2025
|
|
First release of `rocqblueprint` tool for building formalization blueprints
|
|
0
|
77
|
December 5, 2025
|
|
FMBC CFP
|
|
0
|
44
|
December 2, 2025
|
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0
|
90
|
November 27, 2025
|
|
"Numerical Computations and Proofs: from Proof-Assistants to Aerospace Applications" (habil. defense, December 1st)
|
|
1
|
89
|
November 24, 2025
|
|
Thirteenth Mathcomp sharing day
|
|
0
|
55
|
November 24, 2025
|
|
MathComp 2.5.0 released
|
|
0
|
106
|
November 17, 2025
|
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0
|
48
|
November 6, 2025
|
|
Call for Nominations: OOPSLA 2026 Artifact Evaluation Committee
|
|
0
|
119
|
October 29, 2025
|
|
RocqPL call for presentation
|
|
1
|
108
|
October 24, 2025
|
|
Rocq 9.1.0 released
|
|
0
|
76
|
October 14, 2025
|
|
AI for formal math researcher at Mistral AI
|
|
0
|
339
|
October 2, 2025
|
|
Twelfth Mathcomp sharing day
|
|
0
|
36
|
September 18, 2025
|
|
[ANN] coq-lsp 0.2.4
|
|
0
|
60
|
September 17, 2025
|
|
EuroProofNet Workshop on Proof Libraries 15-16 September 2025
|
|
0
|
53
|
September 14, 2025
|
|
Rocqshop 2025 call for presentations
|
|
2
|
171
|
July 15, 2025
|
|
Release of Iris 4.4 and std++ 1.12, Announcement of iris-contrib
|
|
0
|
82
|
July 2, 2025
|
|
Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025
|
|
1
|
70
|
June 26, 2025
|
|
Announcement: opam-repository (opam.ocaml.org) archiving process
|
|
0
|
83
|
June 24, 2025
|
|
VSTTE 2025: Second call for papers (deadline: July 18th)
|
|
0
|
50
|
June 18, 2025
|
|
Postdoc position on type systems for multiple unit systems
|
|
0
|
82
|
June 12, 2025
|
|
[ANN] coq-lsp 0.2.3
|
|
0
|
66
|
June 4, 2025
|
|
[VsCoq] Release 2.2.6
|
|
0
|
75
|
May 20, 2025
|