DRT/LIST- Ingénieur Chercheur Intelligence Artificielle et Méthodes Formelles H/F
CDI Saclay (Essonne) Développement informatique
Description de l'offre
Détail de l'offre
Informations générales
Entité de rattachement
Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).
Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.
Référence
2019-9709Description de la Direction
Au sein de CEA Tech, le pôle « recherche technologique » du CEA, l'Institut List dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante.
Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et améliorer leur compétitivité.
Description de l'unité
Au sein de l'Institut List, au cœur du Campus Paris Saclay, les équipes du Laboratoire Sureté et Sécurité des Logiciels sont réputées leur application des techniques de raisonnement formel aux vérifications logicielles de haute confiance.
Nous concevons des outils comme Binsec, Frama-C, GATeL, et UNISIM, qui garantissent que des systèmes en production sont conformes aux exigences de sûreté et de sécurité les plus élevées.
Ce faisant, nous interagissons avec les acteurs académiques et industriels les plus créatifs du domaine.
Notre mode de travail est simple : ceux qui inventent de nouveaux concepts sont ceux qui en dirigent l'implémentation.
Nous sommes une équipe de 30 personnes en croissance rapide, et votre travail aura un impact direct et visible sur l'état de l'art de la vérification formelle et de l'intelligence artificielle.
Description du poste
Domaine
Mathématiques, information scientifique, logiciel
Contrat
CDI
Intitulé de l'offre
DRT/LIST- Ingénieur Chercheur Intelligence Artificielle et Méthodes Formelles H/F
Statut du poste
Cadre
Description de l'offre
Concevoir la nouvelle génération d'outils de vérification pour les intelligences artificielles de confiance
Nous avons besoin de vous pour développer nos plateformes formelles, en améliorant les outils existants et en concevant de nouvelles approches de vérification d'IA.
Vous contribuerez à la communauté grandissante de nos utilisateurs, en répondant aux questions et en les aidant à résoudre des problèmes concrets.
Vous prendrez un rôle actif dans les activités de recherche et les partenariats industriels, aux côtés des autres membres du laboratoire.
Ce rôle pourra inclure la réponse à appels à projets, la publication d'articles, et le suivi de conférences scientifiques et techniques
Profil recherché
Profil du candidat
Vous vous projetez dans le pilotage des nouvelles avancées en vérification d'IA et dans leur implémentation dans les moindres détails.
Vous dévorez des articles de recherche mais vous êtes bien conscient qu'un prototype jouet est très différent d'un outil éprouvé.
Vous comprenez que ce qui les sépare est une suite de problèmes d'implémentation complexes. Et c'est tant mieux, parce que ça signifie retrousser ses manches et trouver des solutions innovantes.
Vous appréciez d'être un membre constructif d'une équipe de personnes talentueuses et impliquées.
Vous êtes extrêmement fiable et les nightly builds le prouveront à chaque fois.
Vous voulez coder, passer à l'échelle, et voir des résultats.
De plus, vous avez:
- l'expertise des méthodes formelles et des langages de programmation.
- l'expérience en implémentation de réseaux de neurones.
- la capacité d'immersion dans des développements OCaml conséquents.
- l'esprit d'équipe – vous savez quand prendre l'initiative, et quand venir aider.