Improved Formal Verification for Electrical Circuits PhD Position

il y a 4 jours


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

Job Context and Offered Benefits

Partnership Opportunities

As 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 Responsibilities

The selected candidate will contribute to the development of advanced formal verification methods, working closely with a multidisciplinary team.

Benefits and Advantages

  • Subsidized meals and partial reimbursement of public transport costs
  • Generous leave policy, including 7 weeks of annual leave and 10 extra days off
  • Opportunity for teleworking and flexible working hours
  • Access to vocational training and social security coverage
  • Participation in social, cultural, and sports events

Salary and Career Development

Competitive gross salary, with increments in the 3rd year.



  • 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

    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

    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...

  • 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...


  • 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,...

  • 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...

  • 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 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 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

    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 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 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 IC Resources Temps plein

    Job Title: Digital EngineerIC Resources is seeking a skilled Digital Engineer to join our team in a challenging technical environment. The successful candidate will work on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market.Key Responsibilities:Collaborate with mixed-signal and digital IC design engineers to verify the...

  • Electrical Engineer

    il y a 3 semaines


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

    Job Opportunity: Electrical/Electronics EngineerWe are seeking a highly skilled Electrical/Electronics Engineer to join our team. As a key member of our engineering team, you will be involved in the design, development, and implementation of electrical and electronics systems for national and international projects.Key Responsibilities:Design and develop...

  • CMOS Transceiver ASIC Engineer

    il y a 2 semaines


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

    We are looking for a highly skilled CMOS Transceiver ASIC Engineer 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 the digital...

  • Digital Engineer

    il y a 3 semaines


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

    Job Title: Digital EngineerWe are seeking a highly skilled Digital Engineer to join our team at an exciting 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.Key Responsibilities:Collaborate with mixed-signal and...

  • Electrical Testing Expert

    il y a 3 semaines


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

    Job Title: Expert in Medium and Low Voltage Electrical TestingAre you an electrical engineering expert looking for a challenging role in a dynamic organization? Do you have experience in medium and low voltage electrical testing? We are seeking a skilled professional to join our Innovation & Technology organization at Schneider Electric.About the Role:We are...

  • PhD Student Researcher

    il y a 2 semaines


    Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps plein

    PhD Research Project: Electrochemical Catalysts for Sustainable EnergyYou will join an international research team at ESRF to investigate the transient stability of state-of-the-art catalyst materials in high-performance electrochemical devices.The aim of the project is to systematically study the catalyst degradation mechanisms using high-energy X-rays,...