Deducteam led the COST action 20111 EuroProofNet.
Please consult our job list to see some internship/PhD/postdoc research topics we are interested in. More can be found on the web pages of Deducteam members.
If you would like to join Deducteam as a postdoc or a permanent researcher please contact us directly as well.
Yann Leray, Théo Winterhalter
Proceedings of the ACM on Programming Languages (2026)
Johann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Théo Winterhalter
Proceedings of the ACM on Programming Languages (2026)
Claudio Sacerdoti Coen, Abdelghani Alidra, Frédéric Blanqui
RocqPL 2026 - Rocq for Programming Languages (2026)
Mathis Bouverot-Dupuis, Théo Winterhalter, Kathrin Stark, Kenji Maillard
RocqPL 2026 - Rocq for Programming Languages (2026)
Thiago Felicissimo, Yann Leray, Loïc Pujet, Nicolas Tabareau, Éric Tanter, Théo Winterhalter
(2026)