2 assistant English-speaking jobs in Pays de la Loire
Post-Doctorant F/H Formally verified alignements for better interactive proof assistants
- INRIA
- Nantes
- April 9
Trocq is implemented in the Rocq prover assistant, using the Rocq-Elpi metaprogramming language. ... generation, correctness of C programs, safe and optimal system control, easier and more automated proof assistantiOS Developer
- TechBiz Global GmbH
- Nantes
- May 1
The iOS app will bring this experience to iPhone and iPad, offering users an always-on assistant thatPays de la Loire
