Spécialiste en Vérification Formelle de Systèmes

il y a 2 semaines


Paris, Île-de-France Michael Page Temps plein

Poste :

Développer et appliquer des techniques de vérification formelle pour la conception de puces et d'outils de CAO, ainsi que pour la modélisation et la vérification des systèmes.

Collaborer avec des équipes pluridisciplinaires pour intégrer des méthodes formelles dans les processus de conception à différents niveaux (puce et système).

Mener des recherches et proposer des solutions innovantes pour améliorer l'efficacité, la précision et la scalabilité des vérifications formelles.

Fournir un leadership technique, encadrer des ingénieurs juniors et participer au développement stratégique des outils et méthodes de vérification.

Pour le rôle basé à Paris, jouer un rôle-clé dans la création et le développement d'une nouvelle équipe locale.

Profil :

  • Expérience significative en vérification formelle, avec une expertise pratique en conception de puces, outils de CAO et modélisation de systèmes.
  • Solide expérience industrielle dans ces domaines.
  • Maîtrise des langages de description de matériel (HDL), modélisation des systèmes et vérification.
  • Expertise avancée en méthodes formelles, telles que la vérification par modèle, la synthèse logique et l'exécution symbolique.
  • Au moins un doctorat en informatique, méthodes formelles ou domaine connexe.
  • Excellentes compétences en leadership, esprit collaboratif et sens de la résolution de problèmes.

Entreprise : Michael Page

Notre client est un acteur majeur dans le domaine de la vérification formelle, reconnu pour son expertise technique et son innovation. En pleine croissance, il recherche à renforcer ses équipes à Paris et Grenoble pour soutenir ses projets stratégiques en conception et vérification de systèmes complexes.

Salaires estimés : environ 90 000 euros par an + avantages.



  • Paris, Île-de-France MICHAEL PAGE Temps plein

    Description du posteNotre client, un leader dans le domaine de la vérification formelle, recherche un Spécialiste en Vérification de Systèmes Avancée pour renforcer ses équipes à Paris et Grenoble. Vous serez chargé de développer et d'appliquer des techniques de vérification formelle pour la conception de puces et d'outils de CAO, ainsi que pour la...


  • Paris, Île-de-France Michael Page Temps plein

    Nous recherchons un Chef de projet en méthodes formelles pour rejoindre notre équipe à Paris ou Grenoble. En tant que responsable des méthodes formelles, vous serez chargé de développer et d'appliquer des techniques de vérification formelle pour la conception de puces et d'outils de CAO, ainsi que pour la modélisation et la vérification des...

  • Senior Verification Specialist

    il y a 2 semaines


    Paris, Île-de-France IC Resources Temps plein

    Job Title:Principal Verification EngineerAbout the RoleWe're seeking an experienced Principal Verification Engineer to lead our technical verification strategy and execution for cutting-edge digital ASICs.Key ResponsibilitiesTechnical Leadership: As the Principal Verification Engineer, you'll lead the verification team in implementing a robust and efficient...


  • Paris, Île-de-France SERMA Ingénierie Temps plein

    Présentation de l'entreprise SERMA Ingénierie est une entreprise leader dans le domaine de la validation et vérification électronique. Nous sommes à la recherche d'un spécialiste expérimenté pour rejoindre notre équipe. Salaire Le salaire estimé pour ce poste est compris entre 36 000€ et 60 000€ annuels, selon le profil du...


  • Paris, Île-de-France Agence nationale de la sécurité des systèmes d'information (ANSSI) Temps plein

    Vous recherchez un poste qui vous permettra de mettre vos compétences au service de l'intérêt général ? L'Agence nationale de la sécurité des systèmes d'information (ANSSI) est à la recherche d'un SPECIALISTE DE LA SÉCURITÉ SYSTÈME. Dans ce rôle, vous aurez pour mission de construire et capitaliser la connaissance sur les menaces faisant porter...


  • Paris, Île-de-France Agence nationale de la sécurité des systèmes d'information (ANSSI) Temps plein

    Offre de Carrière Nous recherchons un Spécialiste en Sécurité des Systèmes d'Information pour rejoindre notre équipe à l'Agence nationale de la sécurité des systèmes d'information (ANSSI). Cette offre est conçue pour les professionnels qui cherchent à faire une carrière dans le domaine de la cybersécurité. Détails de...


  • Paris, Île-de-France Ness Technologies Temps plein

    Nous recherchons un spécialiste en ingénierie système réseau cyber pour rejoindre notre équipe à Ness Technologies. Ce poste vous offrira l'occasion de mettre vos compétences et votre expérience en pratique dans un environnement dynamique.À propos de la compagnieNess Technologies est une entreprise leader dans le domaine des technologies de...


  • Paris, Île-de-France orano Temps plein

    À Orano Projets de Saint Quentin en Yvelines, nous recherchons un Spécialiste en ventilation des systèmes d'ingénierie pour rejoindre notre équipe d'experts.Missions et responsabilitésConcevoir des systèmes de ventilation optimisés qui répondent aux exigences de sûreté et de procédé.Rédiger les documents d'études en phase faisabilité,...


  • Paris, Île-de-France SFERIS Temps plein

    Fermez les yeux et imaginez-vous dans un environnement dynamique, où l'innovation et la sécurité sont au cœur de tout ce que nous faisons.A SFERIS, nous sommes fiers de participer à la modernisation du réseau ferroviaire français grâce à notre expertise dans les métiers de sécurité, de gestion de l'infrastructure ainsi que de maintenance et...


  • Paris, Île-de-France Page Personnel Temps plein

    Poste">Réalisations:* Mise en place et vérification des systèmes BMS.* Synchroneisation avec les équipementiers tiers et l'entreprise générale lors de tests d'intégration.* Détection rapide des problèmes et mise en œuvre des solutions appropriées.* Alignement de la fonctionnalité du système avec les documents de conception et les situations...


  • Paris, Île-de-France Civils de la Défense Temps plein

    Poste : Chef de Projet Technologique IT - Spécialiste en Systèmes d'Information Nous recherchons un chef de projet technologique IT pour rejoindre notre équipe à Civils de la Défense. En tant que spécialiste en systèmes d'information, vous serez chargé de conduire des projets de systèmes d'information conformément aux règles internes et du...


  • Paris, Île-de-France DiliTrust Temps plein

    Fonction: Spécialiste en Sécurité des SystèmesDécouvrez l'opportunité de rejoindre notre équipe de DiliTrust en tant que Spécialiste en Sécurité des Systèmes !Nous sommes à la recherche d'un professionnel passionné de la cybersécurité pour renforcer notre équipe de sécurité.**Résumé de la fonction**En tant que Spécialiste en Sécurité...


  • Paris, Île-de-France Accile Temps plein

    L'entreprise Accile recherche un Spécialiste en Architecture de Systèmes d'Information pour renforcer son équipe IT. Ce poste offre une opportunité de travailler sur des projets innovants et de contribuer à la croissance de l'entreprise.Description du poste Vous êtes chargé(e) de concevoir et de mettre en œuvre les architectures...


  • Paris, Île-de-France Groupe Fortil Temps plein

    Description du PosteL'Ingénieur IVVQ (Intégration, Vérification, Validation et Qualification) joue un rôle crucial dans l'élaboration de systèmes ferroviaires sûrs et performants.Nous recherchons une personne expérimentée en ingénierie système qui peut assumer les responsabilités suivantes :Conception et mise en œuvre des plans...


  • Paris, Île-de-France Naval Group Temps plein

    Recherche d'un Spécialiste en Électricité pour le Développement de Systèmes AvancésLa Naval Group est un acteur majeur dans l'industrie navale de défense depuis plus de 400 ans. Nous sommes à la recherche d'une personne talentueuse pour concevoir, développer et maintenir des produits exceptionnels. Nous valorisons un environnement de travail...


  • Paris, Île-de-France Pay Job Temps plein

    **Poste : Spécialiste des Systèmes de Paie (H/F)**Nous recherchons pour l'une de nos entreprises un(e) Spécialiste des systèmes de paie. Rattaché(e) au responsable C&B, vos missions sont les suivantes :Gestion d'un portefeuille de paie sur Decidium (350 PAIES)Suivi de la gestion du portefeuille de paie et des opérations associéesRéseaux de...


  • Paris, Île-de-France CLF Satrem Temps plein

    Mission Tu seras chargé d'effectuer des visites préventives de contrôles ainsi que des vérifications périodiques obligatoires des systèmes de protection incendie chez nos clients.


  • Paris, Île-de-France Startup Talents Temps plein

    Titre du posteSpécialiste en Systèmes Réseau Cloud - CDI à Paris pour une startup de fintech/néobanqueDescription du posteL'entreprise Startup Talents, spécialisée dans l'accompagnement des PMEs et startups, recherche un Spécialiste en Systèmes Réseau Cloud pour rejoindre son équipe d'ingénieurs.Poste basé à Paris, avec possibilité...


  • Paris, Île-de-France Alter Solutions Temps plein

    Poste de Spécialiste en Sécurité des Systèmes d'InformationL'entreprise Alter Solutions cherche un spécialiste en sécurité des systèmes d'information pour rejoindre son équipe cybersécurité.Compétences requisesMaitrise des standards de sécurité (ISO 27001, NIST, etc.)Connaissance des outils de gestion des vulnérabilités et des...


  • Paris, Île-de-France Michael Page Temps plein

    Présentation du posteL'entreprise Michael Page recherche un Installateur CVC H/F pour rejoindre son équipe à Menton. En tant que spécialiste en installation et maintenance de systèmes de chauffage, climatisation et ventilation, vous serez responsable de la mise en place et de la réparation de ces systèmes dans les bâtiments neufs ou...