Aller au contenu principal
Michael Page emploi
Michael Page recrutement

Ingénieur Principal - Expert en Méthodes Formelles H/F Michael Page

Paris - 75
CDI

Super recruteur

Offre d’un cabinet de recrutement -
Résumé de l'offre
  • 75 000 - 85 000 € / an
  • Bac +5
  • Services aux Entreprises
  • Exp. - 1 an

Les missions du poste

Missions :

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

Participer à des projets novateurs impactant la conception de puces et la vérification des systèmes/travailler aux côtés d'experts reconnus en méthodes formelles/un cadre stimulant avec de réelles opportunités d'évolution/rémunération compétitive, adaptée à votre expertise et expérience.

Le profil recherché

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

L'entreprise

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.

Ingénieur Principal - Expert en Méthodes Formelles H/F
Michael Page

Super recruteur

  • Paris - 75
  • CDI
Publiée le 21/03/2025 - Réf : JN -092024-6548637-4746_1742533836

Envoyez votre candidature

dès maintenant !

Créez votre compte et

envoyez votre candidature !

Ces offres pourraient aussi
vous intéresser

Groupe Cat recrutement
Tremblay-en-France - 93
CDI
🏡 Télétravail occasionnel
Voir l’offre
il y a 28 jours
B-Hive recrutement
B-Hive recrutement
Paris - 75
CDI
Voir l’offre
il y a 24 jours
Voir plus d'offres
Les sites
L'emploi
  • Offres d'emploi par métier
  • Offres d'emploi par ville
  • Offres d'emploi par entreprise
  • Offres d'emploi par mots clés
L'entreprise
  • Qui sommes-nous ?
  • On recrute
  • Accès client
Les apps
Application Android (nouvelle fenêtre) Application ios (nouvelle fenêtre)
Informations légales CGU Politique de confidentialité Gérer les traceurs Aide et contact
Nous suivre sur :