Announcements Jobs
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Jobs category
|
|
0 | 9 | September 9, 2025 |
|
Blockchain formal verification @ category labs
|
|
0 | 121 | June 6, 2026 |
|
Permanent researcher position at Mines Paris - PSL
|
|
0 | 63 | May 29, 2026 |
|
Technical Associate positoin at the AI for Math Fund
|
|
0 | 62 | May 29, 2026 |
|
Permanent lecturer position at the University of Strathclyde
|
|
0 | 83 | March 9, 2026 |
|
Assistant professor position at Télécom Paris "Formal Methods at the crossroads of Hardware and Software"
|
|
0 | 74 | January 9, 2026 |
|
Several fully funded PhD and Postdoc positions in Quantum
|
|
0 | 62 | December 17, 2025 |
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2 | 87 | December 7, 2025 |
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0 | 99 | November 27, 2025 |
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0 | 52 | November 6, 2025 |
|
AI for formal math researcher at Mistral AI
|
|
0 | 354 | October 2, 2025 |