Description du Poste
A leading AI research partner is seeking a formal verification specialist to translate informal mathematical proofs into Lean. The ideal candidate will hold a Master's degree in Mathematics or a related field and have hands-on experience with Lean or similar proof systems.
Responsabilités
- Collaborer avec des chercheurs
- Créer des preuves formelles structurées
Ce rôle offre un salaire compétitif, un travail à distance flexible et l'opportunité de travailler sur des projets d'IA de pointe.
J-18808-Ljbffr
Emplois favoris
Vous devez être connecté pour pouvoir ajouter un emploi aux favoris
Connexion ou Créez un compte