Applied Scientist - Research Engineer (Formal Methods), EMEA
Poste d'Applied Scientist / Research Engineer axé sur les méthodes formelles. Intégration dans des équipes research et engineering pour concevoir, entraîner et déployer des modèles LLM et applications formelles.
Ce que vous ferez
- Exécuter pré-entraînement, post-entraînement et déploiement de modèles sur grands clusters
- Générer et curer jeux de données pour preuve et vérification logicielle
- Construire évaluateurs et benchmarks pour le raisonnement formel
- Développer outils et frameworks pour données, entraînement et déploiement
- Gérer projets de recherche et communications avec équipes clientes
Ce qu'ils recherchent
- Maîtrise de l'anglais et bonnes capacités de communication
- Expertise en PyTorch ou JAX
- Capacité à contribuer dans un large codebase avec autonomie
- Écrire code Python propre, performant et robuste
- Attitude collaborative, faible ego et volonté d'apprendre
Compétences
Résumé rédigé par StartupJobs à partir de l'annonce de l'entreprise. L'annonce complète est sur le site de l'entreprise.
Cette offre provient de la page carrières de Mistral AI. Nous renvoyons directement vers la source.