▸ Author of Introduction to Choreographies and #ChoreographicProgramming
▸ Professor of CS in 🇩🇰
▸ Maintainer of the Jolie programming language #jolielang
▸ President of the Microservices Community
▸ Steering Group Member of the Digital Democracy Centre at SDU
He/him
#microservices #ChoreographicProgramming #democracy #cybersecurity #AI
🇩🇰🇪🇺🇮🇹
| Website | https://www.fabriziomontesi.com/ |
| Choreographic Programming | https://en.wikipedia.org/wiki/Choreographic_programming |
| Jolie Language | https://en.wikipedia.org/wiki/Jolie_(programming_language) |
| YouTube | https://youtube.com/@fmontesi |
Please spread the word, and feel free to reach out if you have any questions!
DIAS Fellow position: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3442/
Deadline: 28 February 2026
DIAS Fellowships are prestigious tenure-track assistant professorships that come with a higher percentage of time for research.
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is expected to start in Autumn 2026, or as soon as possible thereafter. We are looking for a researcher with clear potential for research excellence who thrives in and is inspired by interdisciplinary collaboration. The ideal candidate will be expected to contribute to high-quality research in their field, collaborating on ambitious research programmes at FORM while embracing DIAS’s mission of curiosity-driven inquiry and interdisciplinary dialogue. The successful candidate should have a strong and promising research profile, with potential for attracting external research funding, and a demonstrated ability ...
Tenure-track Assistant Professor and Tenured Associate Professor positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3328/?keyword=Formal+methods
Deadline: 11 January 2026
Postdoc positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3329/
Deadline: 11 January 2026
❗️Job alert: multiple academic positions (postdoc, tenure-track assistant prof., tenured associate prof., DIAS Fellow) at the Centre for Formal Methods and Future Computing (FORM) in DK.
Links for applications below. 👇
Deadlines in January and February (check the details!).
It's finally done! 🎉 I am so excited to announce "Communicating Chorrectly with a Choreography", the first zine from my research group!
Read online and print your own free copies: https://decomposition.al/zines/
Thread! 👇
📢 Faculty Job Alert!
We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our section, 🇩🇰.
🔗 Learn about us: https://acp.sdu.dk
⏳ Deadline: 1 Feb 2025
🌐 Our article on Choreography-Defined Networks is gonna appear at ICSOC'24! It's a novel application of #ChoreographicProgramming to programmable networking (software-defined networks), developed with S. Giallorenzo, J. Mauro, A. Melis, M. Peressotti, and M. Prandini. The aim is to marry simplicity, efficiency, and safety for decentralised virtual network functions.
Find a summary and preprint at https://www.fabriziomontesi.com/bliki/ChoreographyDefinedNetwork
Lindsey Kuper
Marco Peressotti