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
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
  • Paris - 75
  • CDI
Publiée le 21/04/2025 - Réf : JN -092024-6548637-4746_1745208177

Envoyez votre candidature

dès maintenant !

Créez votre compte et

envoyez votre candidature !

Ces offres pourraient aussi
vous intéresser

Abylsen recrutement
Abylsen recrutement
Paris 8e - 75
CDI
45 000 € / an
Voir l’offre
il y a 26 jours
SUEZ recrutement
SUEZ recrutement
Courbevoie - 92
CDI
🏡 Télétravail partiel
Voir l’offre
il y a 15 jours
Novonesis recrutement
Saint-Germain-lès-Arpajon - 91
CDI
42 000 - 48 000 € / an
🏡 Télétravail occasionnel
Voir l’offre
il y a 14 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 :