Développeur en formalisation de langage et compilation formellement vérifiée
il y a 2 semaines
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.
-
Ingénieur Développeur Data SPLUNK H/F
il y a 1 mois
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Business & Decision Temps pleinDescription 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...
-
Technicien Frigoriste: Spécialiste en Installations Réfrigérées
il y a 4 semaines
Cournon-dAuvergne, Auvergne-Rhône-Alpes, France OPTINERIS PUY DE DOME Temps pleinA 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...
-
Ingénieur Développeur de Solutions IoT
il y a 1 semaine
Saint-Cyr-au-Mont-d’Or, Auvergne-Rhône-Alpes, France REEL SAS Temps pleinDé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...
-
Développeur Fullstack Java/Angulaire
il y a 4 semaines
Saint-Martin-le-Vinoux, Auvergne-Rhône-Alpes, France Econocom Temps pleinMission 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 ...
-
Ingénieur en informatique industrielle F/H
il y a 4 semaines
Saint-Ismier, Auvergne-Rhône-Alpes, France FRAMATOME Temps pleinCe 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...
-
Développeur Senior de Solutions Logiques
il y a 3 semaines
Champagne-au-Mont-dOr, Auvergne-Rhône-Alpes, France Bureau Veritas Group Temps pleinCarriè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 pleinPré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...
-
Concevez la technologie de l'avenir comme Ingénieur Électronique F/H
il y a 4 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Bertin Technologies Temps pleinBertin 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
LIsle-dAbeau, Auvergne-Rhône-Alpes, France iMSA Temps pleinPré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...
-
Conception de machines automatisées spécialisées
il y a 4 semaines
Cournon-dAuvergne, Auvergne-Rhône-Alpes, France VINCI Energies en France Temps pleinSitué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 pleinCompé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...
-
Développeur informatique système WINDEV
il y a 4 semaines
Saint-Martin-de-Crau, Provence-Alpes-Côte d'Azur, France T'RHEA Temps pleinMissionLe 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...
-
Développeur intégrateur de solutions de gestion
il y a 4 semaines
Saint-Cyr-au-Mont-d’Or, Auvergne-Rhône-Alpes, France REEL Temps pleinDescription 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...
-
Développeur Full Stack Node.js
il y a 1 mois
Saint-Raphaël, Provence-Alpes-Côte d'Azur, France CASH SYSTEMES INDUSTRIE Temps pleinVotre 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...
-
Développeur d'Infrastructure Électrique Industrielle
il y a 2 semaines
Cournon-dAuvergne, Auvergne-Rhône-Alpes, France OPTINERIS PUY DE DOME Temps pleinA 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...
-
Ingénieur Développeur Logiciel Véhicule Industriel
il y a 4 semaines
Saint-Priest, Auvergne-Rhône-Alpes, France Segula Technologies Temps pleinDé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...
-
Agent polyvalent d'entretien et de restauration scolaire
il y a 4 semaines
Saint-Jean-dAulps, Auvergne-Rhône-Alpes, France Département de la Haute-Savoie Temps pleinPré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,...
-
Développeur Front-End Angular F/H Spécialiste en Conseil
il y a 4 semaines
Saint-Priest, Auvergne-Rhône-Alpes, France Visiativ Temps pleinSuivi 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...
-
Développeur Front-End Angular F/H
il y a 3 semaines
Saint-Priest, Auvergne-Rhône-Alpes, France Visiativ Temps pleinDescription 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...
-
Développeur de solutions de gestion F/H
il y a 4 semaines
Saint-Priest, Auvergne-Rhône-Alpes, France VINCI Energies en France Temps pleinDans 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...