
Critères de l'offre
Métiers :
- Architecte des systèmes d'information (H/F)
Expérience min :
- 3 à 20 ans
Diplômes :
- Doctorat
Compétences :
- VHDL
- Simulation système
Lieux :
- Paris (75)
Conditions :
- CDI
- 75 000 € - 85 000 € par an
- Temps Plein
Description 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.

Description du 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.
L'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.
Référence : JN -092024-6548637-8730