Dear Coq Community,
We are opening an engineering position at the Inria University Côte d’Azur center.
In short, your main job would be to handle the production of the Coq Platform. See full details here.
Please forward this advertisement to any interested individual, and address any questions to:
romain.tetley@inria.fr
Romain