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 10
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 assistantFinance Business Partner (F/M)
- Bureau Veritas Group
- Nantes
- April 10
Based in Nantes, you will oversee financial control and manage the administrative and accounting assistantPays de la Loire
