4 assistant English-speaking jobs in Nantes

You will work on Doctolib Assistant, our AI personal assistant designed to assist doctors and medical ... , our AI personal assistant that addresses key challenges for healthcare professionals* Build and improve ... but are not limited to:* Design, ship, and operate production-grade agentic systems powering Doctolib Assistant

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 assistant

In the regional commercial team, supported by a commercial assistant, you will develop the turnover in

The iOS app will bring this experience to iPhone and iPad, offering users an always‑on assistant that