PhD in Trustable ML: Verifying Soft Automata

Inria; Rennes; On-site; EUR 23,000 - 28,000; Full time

Benefits offered by this job

Remboursement partiel des transports

Congés annuels + RTT

Télétravail possible après 6 mois

Équipement professionnel

Job summary

Inria Rennes propose une thèse de doctorat F/M sur Trustable Machine Learning : Analyse et vérification des automates souples. Le sujet mêle apprentissage et méthodes formelles pour garantir les propriétés des modèles issus des données.

Le doctorant participera au projet SAIF et explorera des architectures telles que RNN, transformers et modèles d’espace d’états, au sein d’une équipe dynamique et ouverte à la collaboration internationale.

Qualifications

• Forte formation en mathématiques et en méthodes formelles requise.
• Expérience avec des bibliothèques et outils ML souhaitée.
• Capacité à travailler sur des projets de recherche expérimentale et théorique.

Responsibilities

• Risque théorique et expérimental sur les automates souples.
• Conception et prototypage d’algorithmes ML et de vérification.
• Rédaction de publications et participation à des conférences.

Skills

Mathématiques

Méthodes formelles

Bibliothèques ML

Education

Master en CS (ou équivalent)

Tools

Python

PyTorch

Job description

Inria Rennes propose une thèse de doctorat F/M sur Trustable Machine Learning : Analyse et vérification des automates souples. Le sujet mêle apprentissage et méthodes formelles pour garantir les propriétés des modèles issus des données.

Le doctorant participera au projet SAIF et explorera des architectures telles que RNN, transformers et modèles d’espace d’états, au sein d’une équipe dynamique et ouverte à la collaboration internationale.