L'offre "Ingénieur Chercheur Intelligence Artificielle" a été sauvegardée.

Continuer

Offre sauvegardée

Entrez votre adresse e-mail pour enregistrer ce travail

Vous enregistrez ce travail sous:

FR

Complétez votre application

Connectez-vous

mot de passe oublié ?
ou

Vous n'avez pas de compte ?

retour à la liste

Ingénieur Chercheur Intelligence Artificielle posté par CEA

CDI - temps plein
PALAISEAU
40.000,00 € - 70.000,00 € / an

Description de l'offre

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.

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






Conditions requises

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

l'expertise des méthodes formelles est un plus



Numéro de référence

n/a

Offres similaires

Recevoir des offres similaires

Merci. Vous allez recevoir des offres à l'adresse email