Connexion Espace candidat

J'ai déjà un espace candidat

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

Vous êtes ici :  Accueil  ›  Liste des offres  ›  Détail de l'offre

DRT/LIST- 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

2019-9709  

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

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 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.

Localisation du poste

Site

Saclay

Localisation du poste

France, Ile-de-France

Lieu

Route du Cyclotron, 91400 Saclay, France

Critères candidat

Langues

Anglais (Courant)

Demandeur

Disponibilité du poste

01/10/2019