Postdoc: Usable Rocq Interfaces

Inria Lyon in Lyon, France, seeks a postdoctoral researcher to advance Rocq extensions and libraries, revamp the user experience for a wide range of users, and design new domain-specific languages to improve Rocq's flexibility and usability.

You will collaborate with Cyril Cohen, Enrico Tassi, and Matthieu Sozeau, working both remotely and on site, contributing to research publications, conference talks, and interactive demonstrations.