Formal Methods Expert
il y a 1 mois
Senior Formal Verification Specialist
Job SummaryWe are seeking a seasoned Formal Methods expert to join Salve Consulting in Grenoble. The ideal candidate will possess extensive knowledge of formal methods and their applications in system design, modeling, and verification.
This is a fantastic opportunity to collaborate with a skilled team and drive innovative solutions in formal verification.
Key Responsibilities- Lead the development and implementation of formal verification techniques for system design and verification.
- Work alongside interdisciplinary teams to incorporate formal methods into system-level design practices.
- Research and create cutting-edge formal verification solutions aimed at improving efficiency, accuracy, and scalability.
- Provide technical guidance, mentor junior engineers, and lead the strategic advancement of formal verification tools and methodologies.
- Significant experience in formal verification, with hands-on expertise in system design, modeling, and verification.
- Proficiency in English.
- Strong background in industry settings.
- Skilled in hardware description languages, system modeling, and verification techniques.
- In-depth understanding of formal methods, including model checking, logic synthesis, and symbolic execution.
- A PhD in computer science, formal methods, or a related discipline.
- Excellent leadership abilities, strong problem-solving skills, and a collaborative approach.
- A dynamic work environment where innovation and collaboration are encouraged.
- Opportunities to work on advanced projects in formal verification.
- Support for professional development and growth within the organization.
- Competitive compensation and benefits package.
-
Ingénieur méthode et outil expert en CICD H/F
Il y a 7 mois
Rhône, France Groupama-fr Temps pleinDescription du poste Intitulé du poste Ingénieur méthode et outil expert en CICD H/F Description de la mission Participer à l'optimisation du flux de travail des projets en automatisant leur workflow de travail du dev à la prod. Développer un certain nombre d'automatisme pour les mettre à disposition des projets et les accompagner...
-
Responsable Méthode et Qualité IT
il y a 2 semaines
Valbonne, Alpes-Maritimes, France Sécurité sociale Temps pleinCNAF Vous souhaitez rejoindre une équipe expérimentée et mettre vos compétences au service des Allocations Familiales, c'est ici ! Rejoignez-nous et venez soutenir l'activité de notre Direction des Systèmes d'Information ! Qui sommes-nous ? La Cnaf (Caisse Nationale des Allocations Familiales), tête de réseau des 101 CAF, représente la...
-
Expert COBOL H/F
Il y a 7 mois
Rhône, France Groupama-fr Temps pleinDescription du poste Intitulé du poste Expert COBOL H/F Description de la mission Plongez au cœur de l'innovation avec G2S ! Nous vous offrons l'opportunité de participer à notre projet de modernisation de nos applications mainframe, une initiative audacieuse pour permettre au groupe de relever les challenges de demain. Rejoignez notre...
-
Expert Cobol H/F
Il y a 7 mois
Rhône, France Groupama-fr Temps pleinDescription du poste Intitulé du poste Expert Cobol H/F Description de la mission Plongez au cœur de l'innovation avec G2S ! Nous vous offrons l'opportunité de participer à notre projet de modernisation de nos applications mainframe, une initiative audacieuse pour permettre au groupe de relever les challenges de demain. Rejoignez notre...
-
Coordinateur Qualite Télétravail H/F
il y a 2 semaines
Valbonne, Alpes-Maritimes, France Sécurité sociale Temps pleinCNAF Vous souhaitez rejoindre une équipe expérimentée et mettre vos compétences au service des Allocations Familiales, c'est ici ! Rejoignez-nous et venez soutenir l'activité de notre Direction des Systèmes d'Information ! La Cnaf (Caisse Nationale des Allocations Familiales), tête de réseau des 101 CAF, représente la branche Famille de la...
-
Chef de projet informatique
il y a 2 semaines
Vedène, 84270, Provence-Alpes-Côte d'Azur, Avignon, France Scalian Temps pleinDans le cadre d?une démarche de transformation visant à renforcer l?efficacité de la DISI (Direction de l'Ingénierie et des Systèmes d'Information), nous recherchons un Chef de projet / Consultant Méthodes et Processus H/F. Votre mission consistera à auditer les pratiques existantes, proposer des améliorations et livrer des outils et...
-
Expert technique informatique Java/Spring Boot
il y a 3 semaines
Lyon, 69000, Rhône-Alpes, Auvergne-Rhône-Alpes, France MSI Experts Temps pleinNous recherchons un(e) Expert(e) Technique passionné(e) par les défis technologiques pour rejoindre l' équipe agile de notre client. Dans ce rôle, vous serez au c?ur de nos activités et aurez pour missions principales : Garantir la stabilité et la performance des systèmes : Diagnostiquer et résoudre efficacement les incidents de production....
-
Expert Epargne Salariale
il y a 2 semaines
Écully, Rhône, France Michael Page Temps pleinNotre client, une filiale d'assurance leader dans son domaine, intervient essentiellement dans tous les métiers de l'IT, ainsi que dans l'immobilier d'exploitation et les achats. Au sein de la Direction des Études, Développements et Programmes Systèmes d'Information, vous intégrerez l'équipe solutions mainframe, dont l'objectif est d'administrer,...
-
Expert ordonnanceur H/F
il y a 2 semaines
Aix-les-Bains, 73100, Rhône-Alpes, Chambéry, France Hays Temps pleinNous recherchons pour le compte de notre client un Expert ordonnancement H/F pour une mission en freelance ou portage salarial à pourvoir dès que possible à Aix-les-Bains. Notre client propose 2 jours de télétravail maximum par semaine. Vos missions au quotidien sont les suivantes : · Evaluation des ordonnancements déployés par une delivery ·...
-
Technicien Expert Mécanicien H/F
Il y a 7 mois
Rhône, France CRVO - LYON Temps pleinDescription du poste Intitulé du posteTechnicien Expert Mécanicien H/F ContratCDI Description de l'entreprise Pour qui allez-vous travailler ?CRVO : Pionniers de l’industrialisation de la rénovation de véhicules, nos établissements CRVO donnent une seconde voire troisième vie à près de 44 000 véhicules d’occasion/an. Afin d’atteindre nos...
-
Expert Cobol H/F
il y a 2 semaines
Écully, Rhône, France Michael Page Temps pleinNotre client, une filiale d'assurance leader dans son domaine, intervient essentiellement dans tous les métiers de l'IT, ainsi que dans l'immobilier d'exploitation et les achats. L'entreprise compte 1 500 Collaborateurs répartis sur une dizaine de sites en France. Processus : Entretien RH Entretien opérationnel Questionnaire de...
-
Consultant Supply Chain
il y a 2 semaines
Limonest, Rhône, France Groupe SOPRA STERIA Temps pleinSopra Steria Next est la marque de conseil en transformation digitale du Groupe Sopra Steria. Ses 3 400 consultants en Europe conçoivent des stratégies visionnaires, réellement actionnables et s'engagent sur des résultats tangibles pour les entreprises, leurs collaborateurs et leurs clients. Sopra Steria Next fait partie du Groupe Sopra Steria, l'un...
-
Technicien Qualité
il y a 2 semaines
Magland, 74300, Rhône-Alpes, Bonneville, France Adecco Temps pleinVotre Agence Adecco de Cluses recrute un(e) Technicien Contrôle-Qualité H/F. Organise et coordonne la mise en place de la qualité des produits et services et/ou leur mise en conformité réglementaire, sur l'ensemble des process et structures de l'entreprise industrielle. Conçoit et met en œuvre des méthodes et outils à disposition des...
-
DATA analyste informatique
il y a 1 semaine
Lyon, 69000, Rhône-Alpes, Auvergne-Rhône-Alpes, France MSI Experts Temps pleinDans le cadre d?un programme ambitieux de transformation digitale, vous contribuerez à l?évolution du système d?information en tant que levier de performances opérationnelles et financières de notre client. Ce programme vise à concevoir un SI moderne, centré sur les besoins des utilisateurs, et exploitant pleinement les technologies avancées et les...
-
Senior consultant
il y a 2 semaines
Biot, Alpes-Maritimes, France Groupe SOPRA STERIA Temps pleinSopra Steria Next est la marque de conseil en transformation digitale du Groupe Sopra Steria. Ses 3 400 consultants en Europe conçoivent des stratégies visionnaires, réellement actionnables et s'engagent sur des résultats tangibles pour les entreprises, leurs collaborateurs et leurs clients. Sopra Steria Next fait partie du Groupe Sopra Steria, l'un...
-
COORDINATEUR TRANSPORT INTERNATIONAL EN INTéRIM
il y a 1 semaine
Échirolles, 38130, Rhône-Alpes, Grenoble, France ADECCOPME Temps pleinConduire le projet des plans de quartiers multimodaux (les concevoir et les produire), à partir des axes définis et en concertation avec les équipes · Accompagner le redéploiement du réseau Proximo pour la dimension information voyageurs : production des horaires pour les arrêts, mise à jour de la signalétique aux arrêts, des plans. · Tenir à...
-
Team Leader Réseau F/H
Il y a 7 mois
Rhône, France Enedis Temps pleinDescription de la mission Vous avez une bonne culture réseau ? Vous connaissez ou êtes attirés par le monde du datacenter ? Vous êtes agiles et aimez travailler en équipe ? Vous aimez le temps long du build et l'adrénaline du run ? Alors rejoignez-nous, ce poste est fait pour vous ! Au sein de la Direction des Systèmes d’Information...
-
Lead Technique Front-End
il y a 2 semaines
Écully, Rhône, France Michael Page Temps pleinNous recrutons pour le compte d'une entreprise française de premier plan dans le secteur de l'assurance et des services financiers. Cette société est un acteur clé dans la transformation numérique de ses services, offrant des solutions innovantes à ses clients à travers le pays. Entretien avec RH après test de personnalité. En tant que Tech...
-
Coordinateur Comptabilité Fournisseurs H/F
il y a 2 semaines
Rhône, France LHH Temps pleinVotre mission LHH Recruitment Solutions, cabinet de conseil en recrutement et évaluation d'experts, cadres et dirigeants, recherche pour son client un Coordinateur Comptabilité fournisseurs H/F. L'entreprise bénéficie d’une implantation mondiale et d’une équipe commerciale dynamique. Acteur mondial, ses clients peuvent compter sur ses...
-
Tech lead Java H/F
Il y a 7 mois
Rhône, France Groupama-fr Temps pleinDescription du poste Intitulé du poste Tech lead Java H/F Description de la mission Vous participerez au sein d'une équipe Scrum de 4-5 personnes à la conception, au développement et au tests des nouvelles fonctionnalités de Néo, l'applicatif utilisé par les commerciaux de Groupama. La stack technique est basée sur une architecture...