Formal Methods Expert

il y a 1 mois


AuvergeRhôneAlpes, France Salve Consulting Temps plein
Job Title:

Senior Formal Verification Specialist

Job Summary

We 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.
Requirements
  • 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.
What We Offer
  • 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.


  • Rhône, France Groupama-fr Temps plein

    Description 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...


  • Valbonne, Alpes-Maritimes, France Sécurité sociale Temps plein

    CNAF 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 plein

    Description 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 plein

    Description 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...


  • Valbonne, Alpes-Maritimes, France Sécurité sociale Temps plein

    CNAF 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 plein

    Dans 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...


  • Lyon, 69000, Rhône-Alpes, Auvergne-Rhône-Alpes, France MSI Experts Temps plein

    Nous 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 plein

    Notre 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 plein

    Nous 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 ·...


  • Rhône, France CRVO - LYON Temps plein

    Description 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 plein

    Notre 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 plein

    Sopra 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 plein

    Votre 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 plein

    Dans 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 plein

    Sopra 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...


  • Échirolles, 38130, Rhône-Alpes, Grenoble, France ADECCOPME Temps plein

    Conduire 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 plein

    Description 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 plein

    Nous 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...


  • Rhône, France LHH Temps plein

    Votre 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 plein

    Description 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...