Formal Verification Specialist

il y a 4 semaines


Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein
Job Description

Siemens Electronic Design Automation SARL is seeking a skilled Formal Verification Specialist to join our team. As a key member of our software development team, you will be responsible for designing, developing, and implementing software programming for products with a focus on surpassing customer expectations, achieving high quality, and on-time delivery.

Responsibilities
  • Develop software specifications from often incomplete and ambiguous requirements
  • Design, develop, test, and maintain software with a focus on quality and delivery
  • Benchmark and debug software, either in-house or in customer environments
  • Develop solutions and methodologies for unique customer problems
  • Communicate with peers, other teams, and customers
Requirements
  • Master's degree with 5+ years of experience or Ph.D. with 2+ years of experience in computer science, electrical engineering, or related fields
  • Strong skills in algorithms and data structures, at least one modern programming language, with C++ preferred, scripting languages, program/data flow analysis, computer arithmetic, etc.
  • Occasional travel for internal meetings may be required
Preferred Qualifications
  • Understanding of formal verification of hardware/software
  • Mathematical/analytical abilities
  • Compilers
  • High-level/behavioral synthesis
  • Hardware design
  • RTL simulation tools
What We Offer

We offer an international environment with more than 140,000 customers around the world who already rely on our expertise in digitization. In Germany, more than 2,000 colleagues are involved in exciting and varied customer projects in the aerospace, automotive, and transportation, consumer products and retail, electronics and semiconductors, energy and utilities, industrial machinery and heavy machinery, maritime, and medical devices and pharmaceuticals industries. With us, you will find a team-oriented work environment, comprehensive training options, and attractive benefits.


  • Formal Verification Specialist

    il y a 3 semaines


    Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein

    Job DescriptionWe are seeking a highly skilled Formal Verification Specialist to join our team at Siemens Electronic Design Automation SARL. As a key member of our team, you will be responsible for developing and implementing software programming for products with a focus on surpassing customer expectations, achieving high quality, and on-time delivery.Key...

  • Formal Verification Specialist

    il y a 4 semaines


    Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein

    Job DescriptionSiemens Electronic Design Automation SARL is seeking a skilled Formal Verification Specialist to join our team. As a key member of our software development team, you will be responsible for designing, developing, and implementing software programming for products with a focus on surpassing customer expectations, achieving high quality, and...


  • Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein

    Job DescriptionWe are seeking a highly skilled Formal Verification Specialist to join our team at Siemens Electronic Design Automation SARL. As a key member of our team, you will be responsible for designing, developing, and implementing software programming for products with a focus on surpassing customer expectations, achieving high quality, and on-time...


  • Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein

    Are you ready to take on a challenging role in software development?Siemens Digital Industries Software is a leading provider of software solutions, and we're looking for a talented Formal Verification Software Engineer to join our team.As a Formal Verification Software Engineer, you will be responsible for designing, developing, and implementing software...


  • Grenoble, Auvergne-Rhône-Alpes, France VERIMAG - Imag Temps plein

    Job Title: Formal Methods for Distributed Systems VerificationVERIMAG - Imag is seeking a highly skilled candidate to join our team in the development of new verification techniques for distributed systems. The successful candidate will work on the verification of self-adapting distributed systems, focusing on formal methods and dynamic reconfiguration.Job...


  • Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps plein

    Unlock the Power of Formal VerificationSiemens Electronic Design Automation SARL is seeking a skilled Formal Verification Software Engineer to join our team. As a key member of our software development team, you will be responsible for designing, developing, and implementing software programming for products with a focus on surpassing customer expectations,...


  • Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job Opportunity at INRIAContext and AdvantagesAs part of a partnership between INRIA, Verimag, LIP, and Aniah, we are seeking a PhD researcher to contribute to the development of a formal verification tool for electrical circuits at the transistor level.Key ResponsibilitiesDevelop and implement formal verification techniques for electrical...


  • Grenoble, Auvergne-Rhône-Alpes, France VERIMAG - Imag Temps plein

    {"h3": "Distributed System Verification: A Research Opportunity", "p": "Distributed systems are ubiquitous, enabling resource sharing and coordination between geographically dispersed entities. However, designing, understanding, and validating these systems is challenging due to the numerous interactions between components, which can lead to unpredictable...


  • Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps plein

    As a Digital Verification Specialist, you will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. Your responsibilities will include the verification of the digital processing functions of the ASIC in close collaboration with the mixed-signal and digital IC design engineers.Key...


  • Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job Context and Offered BenefitsPartnership OpportunitiesAs part of a collaborative partnership between INRIA and leading research institutions, we invite applicants for a PhD research position focused on improving formal verification techniques for electrical circuits at the transistor level.Mission and ResponsibilitiesThe selected candidate will contribute...


  • Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps plein

    Job Description: We are seeking a highly skilled Digital Verification Specialist to join our team at a leading fabless semiconductor company. The successful candidate will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of...


  • Grenoble, Auvergne-Rhône-Alpes, France IC Resources Temps plein

    Job Title: Digital Verification SpecialistIC Resources is seeking a highly skilled Digital Verification Specialist to join our team. As a key member of our engineering team, you will be responsible for the verification of digital processing functions of a state-of-the-art CMOS Transceiver ASIC for the Communications market.Key Responsibilities:Collaborate...


  • Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps plein

    We are seeking an ASIC Design Verification Engineer to join our team at a fabless semiconductor company. As a key member of our design team, you will be responsible for the verification of the digital processing functions of a state-of-the-art CMOS Transceiver ASIC for the Communications market.Key qualifications and experience include a MSc or PhD in...


  • Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps plein

    The successful candidate will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. As a CMOS Transceiver Verification Expert, you will be responsible for the verification of the digital processing functions of the ASIC in close collaboration with the mixed-signal and digital IC...


  • Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps plein

    As a Senior Digital IC Verification Expert, you will be responsible for the verification of digital processing functions of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The successful candidate will work in a challenging technical environment in close collaboration with the mixed-signal and digital IC design engineers. Key...


  • Grenoble, Auvergne-Rhône-Alpes, France SERMA Group Temps plein

    Ingénieur Validation et VérificationRejoignez notre équipe de spécialistes en ingénierie de validation et vérification!Compétences requisesMise en place et suivi des exigencesVérifications de traçabilité des exigencesPilotage des revues d'exigencesAnalyse des impacts dus aux modifications ou correctionsProfil idéalDe formation ingénieur en...

  • Spécialiste Qualité

    il y a 3 semaines


    Grenoble, Auvergne-Rhône-Alpes, France Page Personnel Temps plein

    Spécialiste QualitéPage Personnel recherche un Spécialiste Qualité pour rejoindre son équipe en France. En tant que Spécialiste Qualité, vous serez responsable de la direction des activités quotidiennes de contrôle de la qualité dans la production. Vous devrez veiller à ce que les spécifications de qualité de la production/du produit soient...

  • Spécialiste Qualité

    il y a 2 semaines


    Grenoble, Auvergne-Rhône-Alpes, France Page Personnel Temps plein

    Page Personnel, leader du recrutement et de l'intérim spécialisé, recherche un Spécialiste Qualité pour rejoindre son équipe.En tant que Spécialiste Qualité, vous serez responsable de la direction des activités quotidiennes de contrôle de la qualité dans la production. Vous devrez veiller à ce que les spécifications de qualité de la...


  • Grenoble, Auvergne-Rhône-Alpes, France Atos SE Temps plein

    Ingénieur en Contrôle-commande pour les Centrales NucléairesVous rejoignez l'équipe de validation et de vérification de l'I&C niveau 2 (SCADA) dans le projet de contrôle-commande pour les futures centrales EPR2.Missions clés :Vérification des spécifications du système temps réel et des outils associésRédaction de cahiers de recette...


  • Grenoble, Auvergne-Rhône-Alpes, France ELSYS Design Temps plein

    Offre de CarrièreElSYS Design recherche un(e) Technical Leader en Vérification ASICElSYS Design, une entreprise leader dans le domaine des semiconducteurs, recherche un(e) Technical Leader en Vérification ASIC pour rejoindre son équipe de spécialistes en microélectronique numérique.ResponsabilitésPiloter techniquement une équipe de 3 à 10...