Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Ingénieur Chercheur Intelligence Artificielle et Méthodes Formelles H/F


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

2020-12091  

Description 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

Ingénieur Chercheur Intelligence Artificielle et Méthodes Formelles H/F

Statut du poste

Cadre

Description de l'offre

Votre mission: Développer des outils formels spécifiques à l’analyse et à la vérification  du logiciel en exploitant les possibilités permises par les techniques d’intelligence artificielle


Vous développerez nos plateformes formelles, en améliorant les outils existants et en concevant de nouvelles approches de vérification.

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 du candidat

Bac+8 actuel ou futur en informatique, vous avez :

- l'expertise des méthodes formelles appliquées à la vérification de propriétés de sûreté et de sécurité sur du code source ;
- l'expertise en langages de programmation ;
- la capacité d'immersion dans des développements en langage OCaml conséquents ;
- l'esprit d'équipe : vous savez quand prendre l'initiative, et quand venir aider
- la capacité de contribuer à la valorisation industrielle et à la communication scientifique des résultats du laboratoire ;
- l'envie de vous intégrer aux différentes phases d'un projet collaboratif ou industriel.

Localisation du poste

Site

Saclay

Localisation du poste

France, Ile-de-France

Ville

Route du Cyclotron, 91400 Saclay, France

Critères candidat

Langues

Anglais (Courant)

Demandeur

Disponibilité du poste

01/04/2020