Announcements Jobs
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Jobs category
|
|
0 | 7 | September 9, 2025 |
|
Permanent lecturer position at the University of Strathclyde
|
|
0 | 42 | March 9, 2026 |
|
Assistant professor position at Télécom Paris "Formal Methods at the crossroads of Hardware and Software"
|
|
0 | 63 | January 9, 2026 |
|
Several fully funded PhD and Postdoc positions in Quantum
|
|
0 | 57 | December 17, 2025 |
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2 | 84 | December 7, 2025 |
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0 | 75 | November 27, 2025 |
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0 | 45 | November 6, 2025 |
|
AI for formal math researcher at Mistral AI
|
|
0 | 291 | October 2, 2025 |