2 assistant English-speaking jobs in Pays de la Loire

  • INRIA
  • Nantes
  • April 10
LogoTrocq 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 assistant
  • Bureau Veritas Group
  • Nantes
  • April 10
LogoBased in Nantes, you will oversee financial control and manage the administrative and accounting assistant
Email me future jobs like these: