Ingénieur Recherche et Développement
Il y a 2 mois
Contexte et atouts du poste
Ce poste est proposé dans le cadre du projet Décysif
( un projet collaboratif qui vise à appliquer des
méthodes formelles pour apporter des garanties de correction des programmes
critiques pour la sureté et la sécurité. Ce projet réunit l'équipe
Inria Toccata ( et des
partenaires industriels dont les sièges sont à Paris: TrustInSoft,
AdaCore et OCamlPro. L’objectif général est de contribuer aux
activités de vérification formelle chez tous partenaires, autour de la
vérification des programmes en Ada, C, C++ et Rust, avec des
techniques faisant appel aux outils de preuve développés par l'équipe
Toccata, en particulier Why3.
Les travaux seront effectués en majorité dans les locaux de l'équipe
Toccata à Gif-sur-Yvette, mais également en partie dans les locaux des
sociétés partenaires à Paris. les frais de déplacements seront pris en
charge dans la limite du barème en vigueur.
Mission confiée
En collaboration directe avec les développeurs de Why3 chez Toccata et
avec les ingénieurs-chercheurs chez les partenaires, la personne
recrutée devra travailler à la maturation du prototype /xldenis/creusot) dédié à la preuve de programmes
Rust. Ce prototype est issu d'une thèse de doctorat et devra être
amélioré pour pouvoir être appliqué à des cas d'études d'origine
industrielle. Les objectifs concernent entre autres l'élargissement du
fragment de Rust supporté, le besoin de compléter les spécifications
des bibliothèques, d'améliorer l'utilisabilité de l'interface
graphique, d'augmenter du taux d'automatisation des preuves, de mettre
en place des aides à la preuve (comme la génération de contre-exemples
pertinents en cas d'échec de la preuve), de renforcer la robustesse et la
reproductibilité des preuves.
Principales activités
Développement logiciel en Rust et en OCaml, développement de
spécifications de bibliothèques en Why3 et en Rust, utilisation de
solveurs SMT externes, expérimentations logicielles, écriture de
documentation, contribution à la rédaction d'articles scientifiques.
Compétences
On recherche des candidats possédant le plus d'expérience et de
compétences possibles parmi : le développement avec le langage OCaml ;
le développement avec le langage Rust ; les techniques d'évaluation,
de compilation et/ou de transformation de programmes ; les méthodes
formelles de développement logiciel ; les logiques formelles ;
l'analyse statique de programmes ; la preuve assistée par ordinateur ;
l'utilisation d'environnements de preuve formelle.
Un niveau d'anglais au moins à l'écrit est exigé. A l'oral l'anglais
ou le français devra être suffisamment maîtrisé.
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 (après 6 mois d'ancienneté) 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) Accès à la formation professionnelle Sécurité sociale
Rémunération
Rémunération en fonction de l'expérience professionelle
-
Gif-sur-Yvette, France CNRS Temps pleinInformations générales Intitulé de l'offre : Ingénieur de recherche en géochimie isotopique appliquée aux études polaires (H/F) Référence : UMR8212-AMALAN-017 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mercredi 15 mai 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 4 mois Date...
-
Ingénieur Senior Génie des Procédés
il y a 4 semaines
Gif-sur-Yvette, France Gaztransport et Technigaz Temps pleinGAZTRANSPORT & TECHNIGAZ, une entreprise pleine d’énergie ! Société française d’ingénierie, leader mondial en matière de conception de cuves cryogéniques à membranes pour le GNL, GTT développe son expertise dans les domaines du transport maritime et du stockage terrestre. Grâce aux compétences de ses équipes d’ingénieurs et de techniciens,...
-
Gif-sur-Yvette, France CNRS Temps pleinInformations générales Intitulé de l'offre : Ingénieur de recherche en géochimie isotopique appliquée aux carottes de glace (H/F) Référence : UMR8212-AMALAN-016 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mardi 30 avril 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 8 mois Date...
-
Gif-sur-Yvette, France CNRS Temps pleinInformations générales Ouverte aux titulaires et CDI CNRS & fonction publique Intitulé de l'offre : Assistant-e ingénieur-e en Electronique sur les projets en développements d'instruments embarqués H/F Référence : UAR855-MOBINT-Z58004 Lieu de travail : GIF SUR YVETTE Institut : INSU - Institut national des sciences de l'univers Date de...
-
Charge.e de developpement commercial des formation S
il y a 1 mois
Gif-sur-Yvette, France Ecole Centrale Paris Temps plein**Chargé.e de développement commercial des formations** **de CentraleSupelec** **(CDI) **Environnement du poste** Créé le 1er janvier 2015, CentraleSupélec est un Établissement Public à caractère Scientifique, Culturel et Professionnel, regroupant l’Ecole des Arts et Manufacture (Centrale Paris) et l’Ecole supérieure...
-
Juriste Junior
il y a 1 mois
Gif-sur-Yvette, France Ecole Centrale Paris Temps plein**ANNONCE EXTERNE** **Juriste Junior H/F** **Au sein de la Direction de la Recherche** **Présentation de CentraleSupélec : ** Créé le 1er janvier 2015, CentraleSupélec est un Établissement Public à caractère Scientifique, Culturel et Professionnel, regroupant l’Ecole des Arts et Manufacture (Centrale Paris) et l’Ecole supérieure...
-
Software Developper Enginee
Il y a 2 mois
Gif-sur-Yvette, France L-ACOUSTICS SAS Temps pleinNos domaines de recherche et développement sont spécialisés dans l’électronique de puissance, le traitement du signal, l’acoustique, la mécanique et le software. Le développement d’outils de modélisation & de control prend une place croissante dans la création de valeur de nos solutions. Nous recrutons un(e) Ingénieur Développement Logiciel...
-
Ingénieur Technico-Commercial H/F
il y a 3 heures
GIF SUR YVETTE, France CNRS Temps pleinLa mission de l'ingénieur technico-commercial sera de développer les partenariats industriels impliquant les laboratoires dans les domaines de la chimie et des sciences de l'univers afin d'augmenter le nombre et le volume financier de l'activité contractuelle.L'ingénieur technico-commercial aura des objectifs annuels, dont la...
-
Ingénieur technico-commercial H/F
il y a 1 semaine
Gif-sur-Yvette, France CNRS Temps pleinInformations générales Intitulé de l'offre : Ingénieur technico-commercial H/F Référence : MOY400-STERIG-300 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : jeudi 23 mai 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 36 mois Date d'embauche prévue : 10 juillet 2024 Quotité de travail : Temps...
-
Ingénieur en électronique analogique et numérique
il y a 3 jours
Gif-sur-Yvette, Île-de-France Cea Temps pleinLe laboratoire d'études et de développement de systèmes électroniques spatiaux est actuellement impliqué dans le développement des missions spatiales du CNES et de l'ESA et de plusieurs missions en phase de sélection. C'est dans ce cadre que le LEDES recherche pour renforcer son équipe de développement un :Un.e ingénieur.e concepteur en...
-
CDD Ingénieur transfert H/F
il y a 1 mois
Gif-sur-Yvette, France CNRS Temps pleinInformations générales Intitulé de l'offre : CDD Ingénieur transfert H/F Référence : UMR9198-CHROUL1-114 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : jeudi 25 avril 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 36 mois Date d'embauche prévue : 1 août 2024 Quotité de travail : Temps...
-
Ingénieur électronique de puissance
il y a 2 semaines
Gif-sur-Yvette, Île-de-France Cea Temps pleinVous rejoindrez l'équipe du projet SUPRAFUSION qui a pour ambition de démontrer la faisabilité technologique à grande échelle d'une bobine de machine de fusion thermonucléaire en conducteur supraconducteur haute température (HTc) .En tant qu'ingénieur, vous intégrez l'équipe responsable de l'alimentation et de la protection de la bobine.Votre serez...
-
Des ingénieurs commerciaux BtoB H/F
Il y a 2 mois
Gif-sur-Yvette, France KYOCERA Document Solutions France Temps pleinESUS , Intégrateur de solutions documentaires met à disposition de ses clients des compétences transversales et peut ainsi proposer des produits et services s’articulant autour de 3 axes principaux : Le conseil, l’audit et la formation appliqués aux systèmes d’information L’informatique et réseau : proposition de solutions complètes ...
-
Gif-sur-Yvette, Île-de-France Cea Temps pleinDans le cadre d'une collaboration avec un partenaire industriel en agroalimentaire, le Laboratoire d'Acoustique pour le Contrôle et la caractérisation (LA2C) recherche un ingénieur en imagerie et en instrumentation ultrasonore afin de mettre en œuvre et valider un dispositif d'imagerie. Les principales taches concerneront :Définition, dimensionnement et...
-
ingenieur radio frequence
il y a 2 semaines
Gif-sur-Yvette, Île-de-France Cea Temps pleinLe DACM/Lisah recherche pour l'avant-projet ICONE qui consiste à l'étude d'une nouvelle source nationale de diffusion neutronique basée sur un accélérateur de protons, un ingénieur spécialisé dans les systèmes radiofréquence pour accélérateurs de particules. Il devra prendre en charge le design de certains composants RF clés de ce nouvel...
-
Ingénieur en Électronique Analogique et Numérique H/F
il y a 4 heures
GIF SUR YVETTE, France CEA Temps pleinLe laboratoire d'études et de développement de systèmes électroniques spatiaux est actuellement impliqué dans le développement des missions spatiales du CNES et de l'ESA et de plusieurs missions en phase de sélection. C'est dans ce cadre que le LEDES recherche pour renforcer son équipe de développement un Un.e ingénieur.e concepteur en...
-
Des ingénieurs commerciaux BtoB H/F
Il y a 2 mois
Gif-sur-Yvette, France KYOCERA Document Solutions France Temps pleinESUS , Intégrateur de solutions documentaires met à disposition de ses clients des compétences transversales et peut ainsi proposer des produits et services s’articulant autour de 3 axes principaux : Le conseil, l’audit et la formation appliqués aux systèmes d’information L’informatique et réseau : proposition de solutions...
-
Ingénieur Composants Electroniques H/F
il y a 7 jours
Gif-sur-Yvette, France IRRIJARDIN Temps pleinDepuis sa création à Lille en 2011, le Groupe ELYSIS accompagne les directions techniques de plus de 130 leaders industriels internationaux basés sur les régions des Hauts de France, de l'Ile de France, du Grand Est, de la Région Alpes et de la Belgique. La mission de nos équipes est de mener au succès les projets industriels de nos clients par des...
-
Contrôleur de Gestion R&d- Recherche
il y a 4 semaines
Gif-sur-Yvette, France Servier Temps plein**Date de parution**:24 août 2023**Ville**:GIF SUR YVETTE**Pays/Région**:FR**Type de contrat**:CDI**N° offre**:3993Contrôleur de gestion R&D- Recherche - .Fondé pour servir la santé, Servier est un groupe pharmaceutique international gouverné par une Fondation, qui aspire à avoir un impact sociétal significatif pour les patients et pour un monde...
-
Ingénieur en électronique analogique et numérique
il y a 3 jours
Gif-sur-Yvette, France Cea Temps pleinLe laboratoire d'études et de développement de systèmes électroniques spatiaux est actuellement impliqué dans le développement des missions spatiales du CNES et de l’ESA et de plusieurs missions en phase de sélection. C’est dans ce cadre que le LEDES recherche pour renforcer son équipe de développement un :Un.e ingénieur.e concepteur en...