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 pleinFormel 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...