Inria
Publiée il y a un mois · Rennes
PhD Position F/M Trustable Machine Learning : Analysis and Verification of Soft Automata
- Rennes
Description du poste
Le descriptif de l’offre ci-dessous est en Anglais
Type de contrat : CDD
Niveau de diplôme exigé : Bac + 5 ou équivalent
Fonction : Doctorant
Niveau d'expérience souhaité : Jeune diplômé
A propos du centre ou de la direction fonctionnelle
The Inria center at the University of Rennes is one of eight Inria centers and has more than thirty research teams. The Inria center is a major and recognized player in the field of digital sciences. It is at the heart of a rich ecosystem of R&D and innovation, including highly innovative SMEs, large industrial groups, competitiveness clusters, research and higher education institutions, centers of excellence, and technological research institutes.
Contexte et atouts du poste
Location and environment
The PhD will take place at INRIA Rennes (Brittany, France).
The candidate will be part of the collaborative project SAIF, “Safe AI through Formal methods,” (https://project.inria.fr/saif/), that involves renowned research labs in Computet Science : Inria, CEA-List, LIX, LaBRI, LMF, ENS Paris, ENS Saclay.
Salary includes health insurance and participation to public transportation expenses.
Mission confiée
Topic
Learning automata from their traces has long been addressed from a purely logical perspective (e.g. Angluin’s L* algorithm), until neural architectures offered an amazing alternative : ground breaking performances, summoning models at the boundary between the continuous world and the discrete world, leveraging probabilistic approaches... but providing no guarantees on the models produced by the learning algorithms !The objective of this thesis is to shed light on the properties of these “soft automata,” based on neural networks, by crossing perspectives from system theory, statistics, optimization and formal methods in order to provide guarantees on these dynamic systems
Annonce publiée sur Indeed et reprise par Intelligence Academy. Seule l'annonce d'origine fait foi ; nous ne sommes pas l'employeur.
Offres semblables
- Télétravail possible
Evaluate third-party tools, platforms, and emerging technologies relevant to data migration, data infrastructure, and AI-assisted workflows, including technical benchmarking and integration feasibility analysis, and build-versus-buy assessment Develop and apply quantitative models and analytical frameworks to assess m
Machine Learning Engineer Expert
AXA / France
- Paris
Job Description: Lead AI transformation at scale. Design & deploy production-grade GenAI solutions that drive business impact. Shape AI engineering practices, mentor teams, and partner with stakeholders to turn innovation into strategic value across a global organization. About the job As an AI Engineering Lead,
DATA SCIENTIST - Freelance
Collective.work
- Tremblay-en-France
- Freelance
Description du poste - Minimum de 5 ans d’expérience en tant que Data Scientist, avec une expertise avérée en prévision de séries temporelles. - Maîtrise du langage de programmation tels que Python ainsi que des outils de visualisation de données (Spotfire, Power BI, etc.). - Maîtrise des bibliothèques de machine learn
Consultant - Data Scientist MLOps H/F
Ividata Life Sciences
- Paris
...Vous avez un profil solide en Data Science et MLOps , une expertise confirmée en développement, industrialisation et maintenance d'algorithmes , et souhaitez intégrer une structure dynamique au cœur de l'innovation en Life Sciences ? Rejoignez-nous ! Poste basé à...