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