Principal Engineer / Expert in Formal Methods (F/M)

Reference: AMBATM19054M | Sector: ICT | Contract: Permanent | Location : Île-de-France or Auvergne-Rhône-Alpes | City: PARIS or GRENOBLE

Company:

Adoc Talent Management is looking for 2 Experts in Formal Methods for a major global group with strong leadership in telecommunications. Its European research centre creates new proprietary technological building blocks to be implemented in the company's ICT products. You will join a leading research team focused on advancing formal verification methods in both chip design and system-level verification. This is a unique opportunity to be at the forefront of groundbreaking work in formal verification.

Position:

We are looking for two experienced engineers to fill the roles of Principal Engineer and Expert in Formal Verification in Paris or Grenoble. The ideal candidates will have deep expertise in formal methods and their application in two key areas: (1) chip design and verification, including the development of EDA tools, and (2) system design, modeling, and verification. For those joining our Paris team, this is an exciting opportunity to play a key role in shaping a new team, and we are seeking candidates with particularly strong backgrounds to take on this challenge.

Key Responsibilities:

- Lead the development and application of formal verification techniques for chip design and EDA tools, as well as system design and verification.

- Collaborate with interdisciplinary teams to integrate formal methods into both chip-level and system-level design processes.

- Research and implement innovative formal verification solutions to enhance efficiency, accuracy, and scalability.

- Provide technical leadership, mentoring junior engineers and driving the strategic development of formal verification tools and methods.

- For Paris-based roles, take on a leadership role in establishing and growing the local team.

The positions can be located either in Paris or in Grenoble depending on the candidate’s preference. Competitive salary offered, with good career prospects in France and abroad.

Profile

You hold a PhD in computer sciences, formal methods, or a related field, plus junior to senior R&D experience. Industrial experience would be an important asset. Thus, you demonstrate extensive experience in formal verification, with practical expertise in chip design and verification (including EDA tools) and system design, modeling, and verification. You show up proficiency in hardware description languages (HDLs), system modeling and verification and advanced knowledge of formal methods, such as model checking, logic synthesis, and symbolic execution.

In terms of soft skills, you have excellent leadership and problem-solving skills, with a collaborative mindset.

If you want to work on groundbreaking projects that impact both chip design and system verification and collaborate with leading experts in formal verification methods and applications, please send your application (CV, publications and patents, motivations, salary expectations) to Adoc Talent Management as soon as possible.

Ingénieur Principal / Expert en Méthodes Formelles (H/F)

Référence : AMBATM19054M | Secteur : TIC | Contrat : Permanent | Localisation : Île-de-France ou Auvergne-Rhône-Alpes | Ville : PARIS ou GRENOBLE

Entreprise :
Adoc Talent Management recherche 2 Expert.es en Méthodes Formelles pour un grand groupe mondial ayant un fort leadership dans le domaine des télécommunications. Son centre de recherche européen crée de nouveaux blocs technologiques propriétaires intégrés dans les produits TIC de l'entreprise. Vous rejoindrez une équipe de recherche de premier plan axée sur l'avancement des méthodes de vérification formelle tant dans la conception de circuits intégrés que dans la vérification au niveau système. C'est une opportunité unique d'être à la pointe des travaux de recherche en vérification formelle.

Poste :
Nous recherchons deux ingénieur.es expérimenté.es pour des postes à Paris ou Grenoble. Les candidats idéaux auront une expertise approfondie en méthodes formelles et leur application dans deux domaines clés : (1) la conception et la vérification de circuits intégrés, y compris le développement d'outils EDA, et (2) la conception, la modélisation et la vérification de systèmes. Pour l’équipe de Paris, c'est une opportunité passionnante de jouer un rôle clé dans la création d'une nouvelle équipe, et nous recherchons des candidats avec un bagage particulièrement solide pour relever ce défi.

Responsabilités clés :

• Diriger le développement et l'application de techniques de vérification formelle pour la conception de circuits intégrés et les outils EDA, ainsi que pour la conception et la vérification de systèmes.
• Collaborer avec des équipes interdisciplinaires pour intégrer les méthodes formelles dans les processus de conception au niveau des circuits et des systèmes.
• Rechercher et mettre en œuvre des solutions innovantes de vérification formelle pour améliorer l'efficacité, la précision et l'évolutivité.
• Fournir un leadership technique, encadrer les ingénieurs juniors et piloter le développement stratégique des outils et méthodes de vérification formelle.
• Pour les postes basés à Paris, jouer un rôle de leader dans l'établissement et la croissance de l'équipe locale.

Les postes peuvent être situés à Paris ou à Grenoble, selon les préférences du candidat. Un salaire compétitif est proposé, avec de bonnes perspectives de carrière en France et à l'étranger.

Profil :
Vous êtes titulaire d'un doctorat en informatique, méthodes formelles ou dans un domaine connexe, avec une expérience en R&D allant de junior à senior. Une expérience industrielle serait un atout important. Vous démontrez une vaste expérience en vérification formelle, avec une expertise pratique en conception et vérification de circuits intégrés (y compris les outils EDA) et en conception, modélisation et vérification de systèmes. Vous avez une maîtrise des langages de description matérielle (HDL), de la modélisation et de la vérification de systèmes, ainsi qu'une connaissance avancée des méthodes formelles, telles que la vérification de modèle, la synthèse logique et l'exécution symbolique.

En termes de compétences interpersonnelles, vous possédez d'excellentes compétences en leadership et en résolution de problèmes, avec un esprit collaboratif.

Si vous souhaitez travailler sur des projets révolutionnaires ayant un impact à la fois sur la conception de circuits intégrés et sur la vérification de systèmes et collaborer avec des experts de premier plan dans les méthodes et applications de vérification formelle, veuillez envoyer votre candidature (CV, publications et brevets, motivations, attentes salariales) à Adoc Talent Management dès que possible.

•

Last updated on Oct 2, 2024