Ingénieur des méthodes (H/F)
Offre publiée le 25/01/2025
💼 Offre d'emploi
- Type de contrat
- Contrat à durée indéterminée
- Durée de travail
- Expérience
- Expérience exigée de 3 An(s)
- Salaire
- Annuel de 75000,00 Euros à 85000,00 Euros
- Permis demandé
- Aucune information
📍 Entreprise
- Employeur
- Non renseigné
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.
Lieu de travail
75 - PARIS 09 (Code postal 75009) Voir sur une carte
Description de l'offre
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.
Identifiant de cette offre d'emploi sur France Travail : 1292980
Libellé ROME de l'offre d'emploi : Ingénieur / Ingénieure systèmes et réseaux informatiques (Code ROME : M1822)
Autre appellation de l'offre : Ingénieur / Ingénieure méthodes informatiques
Offre d'emploi et contenus récupérés en partenariat avec France Travail. Cojob n'est pas responsable des informations fournies.