Emplois pour research computing software engineer dans Sur

27 offres d'emploi research computing software engineer en France. Offres mises à jour quotidiennement.

  • Applied Formal Methods Engineer Premium

    Il y a 2 mois


    Gif-sur-Yvette, Ile-de-France Institut DataIA Paris-Saclay Temps plein

    Formel AI At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient. We're honored to have received the 2nd spot...