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