Deducteam is strongly involved in the COST action 20111 EuroProofNet.
Please consult our job list to see various internship offers we had recently. You can also contact us directly if there is a topic we work on you would find interesting, even if it's not listed there.
If you would like to join Deducteam as a postdoc or a permanent researcher please contact us directly as well.
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik de Vink
Formal Aspects of Computing (2024)
Rishikesh Vaishnav
(2024)
Pablo Arrighi, Gilles Dowek, Amélia Durbec
New Journal of Physics (2024)
Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand, Jakob Botsch Nielsen, Nicolas Tabareau, Théo Winterhalter
Journal of the ACM (JACM) (2024)
Catherine Dubois
VSTTE 2024 - 16th International Conference on Verified Software: Theories, Tools, and Experiments (2024)