Développeur en formalisation de langage et compilation formellement vérifiée

il y a 2 semaines


SaintMartindHères, Auvergne-Rhône-Alpes, France CNRS Temps plein

Présentation de l'offre

L'équipe de recherche du CNRS est à la recherche d'un développeur expérimenté pour rejoindre son équipe dans le cadre d'une mission de 12 mois. La tâche principale consiste à formaliser des aspects du langage Rust en utilisant un assistant de preuve, afin de contribuer à l'étude préliminaire de la compilation formellement vérifiée de ce langage.

Ressources proposées

Niveau de salaire : à partir de 2991€/mois brut, suivant expérience

Lieu de travail : situé à proximité de ST MARTIN D HERES

Missions

Le candidat sélectionné sera chargé de :

  • Formaliser les aspects du langage Rust
  • Preuve formelle
  • Conception et implémentation d'algorithmes (typage, etc.)
  • Rédaction et soumission d'articles scientifiques

Compétences requises

Les qualifications requises pour ce poste incluent :

  • Familiarité avec Rust
  • Habitude de la preuve formelle, notamment avec Coq
  • Compétences usuelles en algorithmique, programmation, gestion de projet, systèmes de compilation
  • Rédaction et soumission d'articles scientifiques

Contexte de travail

Ce poste s'intègre dans l'équipe de vérification et preuves formelles du laboratoire Verimag, qui développe notamment le logiciel Chamois.



  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Business & Decision Temps plein

    Description de l'entrepriseBusiness & Decision est un groupe international des services du numérique, spécialisé dans l'exploitation et l'analyse de données.Nos clients prennent conscience de la valeur business de leurs données et sont de plus en plus sensibles à la question de leurs exploitations efficaces.Nous sommes là pour les...


  • Cournon-d’Auvergne, Auvergne-Rhône-Alpes, France OPTINERIS PUY DE DOME Temps plein

    A propos de l'entreprise :Optineris est un groupe qui accompagne les évolutions et les transformations économiques et sociétales de ses clients en soutenant une gestion optimisée de leurs véritables enjeux Ressources Humaines.A propos du poste :Le technicien ou la technicienne frigoriste est responsable de la mise en service des installations...


  • Saint-Cyr-au-Mont-d’Or, Auvergne-Rhône-Alpes, France REEL SAS Temps plein

    Découvrez notre Offre d'Emploi Présentation du posteREEL SAS, un leader dans la conception et la fabrication de systèmes de manutention et de levage complexes, recherche un ingénieur développeur pour rejoindre son équipe REEL Vision. Missions clésPour poursuivre l'amélioration continue de nos produits et services numériques, nous recherchons un...


  • Saint-Martin-le-Vinoux, Auvergne-Rhône-Alpes, France Econocom Temps plein

    Mission Pour prendre en charge le développement de nos activités applicatives au sein de notre agence, nous recherchons un Développeur Fullstack Java/Angulaire - F/H. Ce poste consiste à participer aux projets de conception, de production et d'optimisation des applications de nos clients, organisés en méthodologie Agile : Recueillir les besoins ...


  • Saint-Ismier, Auvergne-Rhône-Alpes, France FRAMATOME Temps plein

    Ce poste est un excellent choix pour les diplômés ou diplômées désirant travailler dans l'industrie nucléaire. En tant que développeur de systèmes complexes, vous serez intégré(e) au sein d'une équipe dédiée à la conception et à la mise en œuvre de systèmes de contrôle-commande pour les centrales nucléaires.Compétences requisesLangage...


  • Champagne-au-Mont-d’Or, Auvergne-Rhône-Alpes, France Bureau Veritas Group Temps plein

    Carrière en croissance au sein du Bureau Veritas GroupNous recherchons un développeur senior expérimenté pour renforcer notre équipe de solutions logiques Talend. Ce poste offre une opportunité exceptionnelle d'évolution professionnelle et de contribution à la réussite de notre groupe.ContexteNotre plateforme Talend est hébergée sur AWS, avec une...

  • Ingénieur logiciel C++

    il y a 1 mois


    Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Arturia Temps plein

    PrésentationArturia est une entreprise française spécialisée dans la conception et la fabrication d'instruments de musique électroniques. L'entreprise a pour mission de rendre la création musicale accessible à tous à travers la technologie.RôleVous rejoignez une équipe de 20 développeurs de logiciels hautement qualifiés, répartis dans 3...


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Bertin Technologies Temps plein

    Bertin Technologies, un leader européen de l'instrumentation, lance une offre de carrière pour un Ingénieur Electronique F/H. Ce poste vous permettra de contribuer à la conception et au développement de systèmes électroniques innovants.MissionRejoindre notre équipe de chercheurs et développeurs dans le domaine de l'électronique embarquée pour...

  • Chef de projet Java H/F

    il y a 4 semaines


    L’Isle-d’Abeau, Auvergne-Rhône-Alpes, France iMSA Temps plein

    Présentation du poste L'équipe de la Direction Opérationnelles des Systèmes d'Information (DOSI) d'iMSA recherche un chef de projet Java H/F pour renforcer son équipe de développement. Le candidat sélectionné contribuera à la conception et au développement de nouvelles solutions clientes sous forme de solutions basées sur des...


  • Cournon-d’Auvergne, Auvergne-Rhône-Alpes, France VINCI Energies en France Temps plein

    Située au cœur des entreprises innovantes, VINCI Energies en France recherche un conception de machines automatisées spécialisées pour relever les défis de la production de demain.En tant qu'Ingénieur en automatisation de machines industrielles, vous participez activement à la conception et au développement de machines d'assemblage...


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France VINCI Energies en France Temps plein

    Compétences Techniques RequisesPour réussir dans ce poste, vous devez avoir une forte connaissance des référentiels ISO 9001 / ISO 19443 / RCC-E et être capable de concevoir des équipements électrique, d'instrumentation et de contrôle commande.Vos compétences en analyse et synthèse doivent permettre de participer à la conception générale des...


  • Saint-Martin-de-Crau, Provence-Alpes-Côte d'Azur, France T'RHEA Temps plein

    MissionLe groupe T'Rhéa, une entreprise familiale, recherche un développeur informatique WINDEV pour renforcer son équipe.Nous sommes actifs dans la moitié sud de la France, et nous valorisons notre proximité avec les terroirs et les territoires.Vous serez chargé du développement d'outils et d'applications internes et externes.Voici vos...


  • Saint-Cyr-au-Mont-d’Or, Auvergne-Rhône-Alpes, France REEL Temps plein

    Description de la fonction Le Groupe REEL, spécialisé dans la conception, la fabrication et la maintenance de systèmes de manutention et de levage complexes, recherche un Développeur intégrateur pour son siège en région lyonnaise. Mission Vous rejoindrez la Direction des Systèmes d'Information pour assurer le maintien en condition...


  • Saint-Raphaël, Provence-Alpes-Côte d'Azur, France CASH SYSTEMES INDUSTRIE Temps plein

    Votre MissionVous rejoignez léquipe de recherche et développement de Cash Systèmes Industrie dans le cadre de notre croissance rapide. Nous recherchons un Développeur Full Stack expérimenté pour travailler sur des applications innovantes dans le secteur à mi-chemin entre la foodtech et la fintech.Vous serez chargé de la prise en charge des cahiers...


  • Cournon-d’Auvergne, Auvergne-Rhône-Alpes, France OPTINERIS PUY DE DOME Temps plein

    A propos de l'entreprise :Depuis plus de 50 ans, le groupe Optineris accompagne les évolutions et les transformations économiques et sociétales de ses clients en soutenant une gestion optimisée de leurs véritables enjeux Ressources Humaines. Optineris c'est avant tout une volonté de proximité, une connaissance et une présence sur les...


  • Saint-Priest, Auvergne-Rhône-Alpes, France Segula Technologies Temps plein

    Développement Logiciel ÉlectroniqueDans le cadre de nouveaux projets au sein de Segula Technologies, vous êtes chargé du développement, de la vérification et de l'intégration de nouvelles fonctions dans l'architecture électronique des véhicules industrielles.Fonctions ClésAnalyser le premier niveau du logicielÉcrire les demandes de...


  • Saint-Jean-d’Aulps, Auvergne-Rhône-Alpes, France Département de la Haute-Savoie Temps plein

    Présentation de l'employeur / Finalité du poste / ContexteLe Département de la Haute-Savoie est une collectivité dynamique qui compte 3 000 agents exerçant plus de 120 métiers. Nous sommes l'un des plus gros employeurs de notre territoire, avec un budget d'environ un milliard d'euros.Travailler pour le Département de la Haute-Savoie,...


  • Saint-Priest, Auvergne-Rhône-Alpes, France Visiativ Temps plein

    Suivi de ProjetVous serez chargé(e) de développer l'environnement utilisateur d'un outil/une application capable d'optimiser et d'automatiser les phases de tests de notre logiciel PLM.Actuellement, ces tests sont réalisés manuellement par nos consultants. Vous devrez donc travailler en étroite collaboration avec notre équipe R&D pour mettre en place un...


  • Saint-Priest, Auvergne-Rhône-Alpes, France Visiativ Temps plein

    Description du PosteDans le cadre de votre stage, vous serez chargé(e) de développer un environnement utilisateur capable d'optimiser et d'automatiser les phases de tests de notre logiciel PLM.Ce projet consiste à créer une application intuitive qui réduira considérablement la charge de travail des consultants en permettant une gestion automatique des...


  • Saint-Priest, Auvergne-Rhône-Alpes, France VINCI Energies en France Temps plein

    Dans un monde en évolution permanente, VINCI Energies accélère la transition environnementale en concrétisant deux mutations majeures, numérique et énergétique. Notre entreprise est spécialisée dans les domaines de l'industrie Nucléaire et plus particulièrement pour les Centrales Nucléaire de production d'électricité. Venez découvrir des...