Ingénieur pour la conception d'analyses statiques dans la plateforme MemCAD
Contrat renouvelable : Oui
Niveau de diplôme exigé : Bac + 5 ou équivalent
Fonction : Ingénieur scientifique contractuel
Contexte et atouts du poste
La plateforme MemCAD a pour but de vérifier des programmes manipulant des structures de données complexes, comme des fragments de systèmes d'exploitation. Nous souhaitons étudier et améliorer son application à la vérification fonctionnelle complète de petits noyaux, comme celui de FreeRTOS.
Ce poste a pour but de concevoir des analyses statiques dans cette plateforme, et participant à la vérification de systèmes d'exploitation réels.
Il permettra donc de s'initier à la fois à l'analyse statique et aux notions sous-jacentes (interprétation abstraite, logique de séparation...).
Mission confiée
- Amélioration des performances en concevant et implémentant un domaine numérique adapté.
- Extension du langage de spécification des buts d'analyse.
- Maintenance générale de la structure du code de la plateforme.
Principales activités
- Revue de l'état de l'art
- Evaluation des qualités et défauts de la plateforme, permettant de faire émerger des problématiques de recherche
- Proposition de nouvelles méthodes et algorithmes d'analyse
- Preuve sur papier des techniques proposées, en vue de la préparation de communications scientifiques
- Implémentation (en OCaml) et évaluation
Compétences
Master 2 recherche en fondements de la programmation
Expérience de recherche (stages en M2 et / ou avant)
Maîtrise de la programmation fonctionnelle et des outils de développement
Avantages
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
Informations générales
- Thème/Domaine :
Preuves et vérification
Ingénierie logicielle (BAP E) - Ville : Paris
- Centre Inria : Centre Inria de Paris
- Date de prise de fonction souhaitée : 2024-11-01
- Durée de contrat : 4 mois
- Date limite pour postuler : 2024-09-15
Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.
Consignes pour postuler
Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
Contacts
- Équipe Inria : ANTIQUE
-
Recruteur :
Rival Xavier / Xavier.Rival@inria.fr
L'essentiel pour réussir
- Intérêt pour la thématique scientifique
- Connaissances en sémantique, langages de programmation, logique, vérification
- Capacité à participer à des tâches de développement logiciel, dans le cadre d'une plateforme complexe
A propos d'Inria
Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.