Emplois
>
Gif-sur-Yvette

    Ingénieur Recherche et Développement - Gif-sur-Yvette, France - INRIA

    INRIA
    INRIA Gif-sur-Yvette, France

    Trouvé dans: Talent FR C2 - il y a 2 jours

    Default job background
    CDD
    Description

    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

  • Expectra

    Ingénieur recherche/développement/Ingénieure recherche/développement

    Trouvé dans: Talent FR 2A C2 - il y a 1 jour

    Expectra Rungis, France

    Nous recherchons pour le compte de notre client spécialisé dans les machines automatisé dans le domaine du graphisme un ingénieur électrotechnique en R&D (H/F) dans le cadre d'un CDI. · Au sein du service R&D Electrotechnique, vous êtes en charge de l'étude et de la définition d' ...

  • VIQI Group

    Ingénieur recherche/développement/Ingénieure recherche/développement

    Trouvé dans: Talent FR 2A C2 - il y a 1 jour

    VIQI Group Paris, France

    Spécialiste de l'industrie Pharmaceutique et des Dispositifs Médicaux, VIQI rassemble des passionnés ne souhaitant évoluer qu'auprès des industriels œuvrant pour la santé des patients. · En tant que consultant VIQI, vous serez dès votre intégration accompagné techniquement pour p ...

  • CEA

    Ingénieur de recherche en développement de méthodes d'IA/ recherche de matériaux innovants H/F

    Trouvé dans: Talent FR C2 - il y a 2 jours

    CEA Saclay, France CDD

    Description de l'offre · Le poste consistera à s'intégrer aux équipes de développement du projet DIAMOND (PEPR DIADEM) [1] avec comme objectif d'appliquer des méthodologies et outils d'intelligence artificielle dans la recherche de matériaux innovants. Pour cette raison, il faud ...

  • Institut Mines-Télécom

    Ingénieure ou ingénieur de recherche et développement de plateforme

    Trouvé dans: Talent FR C2 - il y a 2 jours

    Institut Mines-Télécom Palaiseau, France À temps plein_permanent

    Qui sommes-nous ? · Télécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises. · La Raison d'Être de Télécom Paris est de former, imaginer et entre ...

  • Groupe Pacte Novation

    Ingénieur recherche et développement

    Trouvé dans: Talent FR 2A C2 - il y a 2 jours

    Groupe Pacte Novation Paris, France

    Le Groupe PACTE NOVATION affirme une maturité et une expertise sur un ensemble de vecteurs technologiques différenciant, au cœur de l'innovation technologique. · NOVASYS Ingénierie, filiale du groupe Pacte Novation, est spécialisée dans le développement de solutions temps réel e ...

  • Volvo Group

    Ingénieur Qualité Recherche et Développement

    Trouvé dans: Talent FR C2 - il y a 2 jours

    Volvo Group Versailles, France CDI / CDD

    Le transport est au cœur de notre société. Pourquoi ne pas mettre votre compétence au service de l'élaboration des solutions de transport durables de demain ? Si vous souhaitez agir à l'échelle mondiale en travaillant sur les technologies les plus avancées et avec les meilleures ...

  • NESTOR LOCATION

    Assistant Recherche et Développement

    Trouvé dans: Talent FR C2 - il y a 2 jours

    NESTOR LOCATION Noisy-le-Sec, France Contract

    Qui sommes nous ? · Depuis notre création en 2014, Nestor Location est le partenaire indispensable des équipes régie sur les tournages en France (long-métrage, clip, série...), à travers un catalogue de +700 références. · Si la location est notre cœur de métier, notre passion est ...

  • Manpower France

    Chef de projet recherche développement/Cheffe de projet recherche développement

    Trouvé dans: Talent FR 2A C2 - il y a 1 jour

    Manpower France Neuilly-sur-Seine, France

    Missions Globales : · Vous serez au cœur de l'action en assurant le support technique des produits existants et en menant le développement de nouveaux produits dans le secteur passionnant des dispositifs médicaux. De la conception à la commercialisation, vous planifierez, organi ...

  • CEA Tech

    Ingénieur recherche et développement en mathématiques appliquées à la CFD H/F

    Trouvé dans: Talent FR C2 - il y a 2 jours

    CEA Tech Saclay, France CDI

    Description du poste · Domaine · Mathématiques, information scientifique, logiciel · Contrat · CDI · Intitulé de l'offre · Ingénieur recherche et développement en mathématiques appliquées à la CFD H/F · Statut du poste · Cadre · Description de l'offre · L'ingénieur recherche et d ...

  • Expectra

    INGENIEUR de recherche et développement logiciel

    Trouvé dans: Jooble FR O L C2 - il y a 1 jour

    Expectra Rungis, Val-de-Marne, France

    Nous recherchons pour le compte de notre client spécialisé dans les machines automatisé dans le domaine du graphisme un ingénieur électrotechnique en R&D (H/F) dans le cadre d'un CDI. · Au sein du service R&D Electrotechniqu e, vous êtes en charge de l'étude et de la définition ...

  • Groupe Pacte Novation

    Ingénieur Recherche et Développement expérimenté

    Trouvé dans: Jooble FR O L C2 - il y a 4 jours

    Groupe Pacte Novation Paris, France

    NOVASYS Ingénierie , filiale du groupe Pacte Novation, est spécialisée dans le développement de solutions temps réel embarquées. · Nos clients s'étendent des PME aux grands groupes dans les secteurs Industriel, Transport, Ferroviaire, Energie, Banque et Assurance. · Attentifs a ...

  • ONERA

    ingenieur de recherche et de developpement en mathematiques appliquees et hpc h/f

    Trouvé dans: Adzuna FR A C2 - il y a 2 jours

    ONERA Magny-les-Hameaux, France CDI

    Présentation de l'ONERA · L'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, ...

  • ERAMET

    Technicien en Recherche et Développement Minéralurgie

    Trouvé dans: Talent FR C2 - il y a 6 jours

    ERAMET Paris, France CDI

    Description du poste · Eramet est l'un des leaders mondiaux de l'industrie minière et métallurgique. En rejoignant un acteur clé de l'extraction de métaux, de l'élaboration et de la transformation d'alliages à forte valeur ajoutée, vous prenez le risque de ressentir d'intenses ém ...

  • VIQI Group

    INGENIEUR de recherche et développement logiciel

    Trouvé dans: Jooble FR O L C2 - il y a 2 jours

    VIQI Group Ile-de-France

    Spécialiste de l'industrie Pharmaceutique et des Dispositifs Médicaux, VIQI rassemble des passionnés ne souhaitant évoluer qu'auprès des industriels œuvrant pour la santé des patients. · En tant que consultant VIQI, vous serez dès votre intégration accompagné techniquement pour ...

  • SOGECLAIR

    Ingénieur Recherche et Développement H/F

    Trouvé dans: Talent FR C2 - il y a 2 jours

    SOGECLAIR Boulogne-Billancourt, France À temps plein

    Nous connaître · A.V. SIMULATION est une coentreprise créée en 2017, détenue par OKTAL (division Simulation du Groupe · SOGECLAIR ‐ 1400 personnes, NYSE Euronext Paris), Renault, Dassault Systèmes et UTAC. · Nos clients sont les constructeurs, équipementiers et université de rech ...

  • Cea

    Ingénieur de recherche et développement en calcul scientifique et mathématiques appliquées

    Trouvé dans: beBee S2 FR - il y a 1 jour

    Cea Bruyères-le-Châtel, France À temps plein

    Vous recherchez un emploi qui permette de concilier science et applications concrètes ? · Au sein d'une unité qui conçoit les codes multi-physiques utilisés pour le Programme Simulation au CEA/DAM, vous participerez au développement d'algorithmes simulant des phénomènes physiques ...

  • CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE

    charge de mission innovation recherche et developpement

    Trouvé dans: Talent FR 2A C2 - il y a 1 jour

    CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE Lisses, France CDI

    Au service des agriculteurs, des collectivités et des partenaires de l'Agriculture, la Chambre d'Agriculture de région Ile-de-France avec ses élus professionnels définissent les orientations pour développer et renforcer l'agriculture de la Région Ile-de-France. · Organisée autour ...

  • CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE

    charge de mission innovation recherche et developpement

    Trouvé dans: Talent FR 2A C2 - il y a 1 jour

    CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE Colombes, France CDI

    Au service des agriculteurs, des collectivités et des partenaires de l'Agriculture, la Chambre d'Agriculture de région Ile-de-France avec ses élus professionnels définissent les orientations pour développer et renforcer l'agriculture de la Région Ile-de-France. · Organisée autour ...

  • Lindt & Sprüngli

    Responsable Recherche et Développement F/H

    Trouvé dans: Talent FR C2 - il y a 2 jours

    Lindt & Sprüngli Paris, France Temps plein

    Rattaché(e) à la Directrice R&D/Qualité, vous développez et mettez en œuvre la stratégie du pôle R&D dans le cadre des orientations prises par l'entreprise. À ce titre, vous pilotez le portefeuille des projets de nouveaux produits et/ou produits existants. Vous êtes responsable d ...

  • CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE

    charge de mission innovation recherche et developpement

    Trouvé dans: Talent FR 2 C2 - il y a 1 jour

    CHAMBRE D'AGRICULTURE DE REGION ILE DE FRANCE Paris, France CDI

    Descriptif du poste · Au service des agriculteurs, des collectivités et des partenaires de l'Agriculture, la Chambre d'Agriculture de région Ile-de-France avec ses élus professionnels définissent les orientations pour développer et renforcer l'agriculture de la Région Ile-de-Fra ...