Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Theo Zimmermann will start a research engineer position in January 2020 to continue his research and development work about improving the Software Engineering practices of the development of Coq, especially to continue the improvement of the collaborative development processes and of its ecosystem. This position is funded by the Inria-NomadicLabs grant.