Advanced Research Position – Intelligence artificielle pour les mathématiques formelles : qualité, évaluation et traduction des preuves générées par les modèles de langage
Job · Artificial Intelligence · Paris, France
Formal proofs
2 items · 2 jobs open
2 jobsOpen first, then newest
Open now2
Post-Doctoral Research Visit F/M User Experience for formal proofs in practice
Job · Human-Computer Interaction · Lyon, France
Closes