Emplois actuels liés à PhD Position F/M Improving Formal Verification for Electrical Circuits at Transistor Level - Grenoble, Auvergne-Rhône-Alpes - INRIA
-
Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps plein**Context and Advantages of the Position**Within the framework of a partnership between INRIA and other research institutions, we are seeking a PhD researcher to work on improving formal verification for electrical circuits at the transistor level.**Mission and Objectives**The successful candidate will be responsible for developing and implementing formal...
-
PhD Position in Formal Verification for Electrical Circuits
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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 INRIA Temps pleinJob Opportunity at INRIAWithin the framework of a partnership between INRIA, Verimag, LIP, and Aniah, we are seeking a highly motivated PhD researcher to contribute to the development of a formal verification tool for electrical circuits at the transistor level.Key ResponsibilitiesConduct research and development of formal verification techniques for...
-
Formal Verification Specialist
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps pleinJob 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 pleinJob 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...
-
Formal Verification Specialist
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps pleinJob 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 pleinJob 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 Methods for Distributed Systems Verification
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France VERIMAG - Imag Temps pleinJob 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...
-
Formal Verification Software Engineer
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps pleinAre 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...
-
Analog IC Design Engineer Technical Leader
il y a 1 semaine
Grenoble, Auvergne-Rhône-Alpes, France RHESO Temps pleinJob DescriptionAt RHESO.TECH, we are seeking a highly skilled Analog IC Design Engineer Technical Leader to join our team. As a key member of our design team, you will be responsible for driving analog work-packages from transistor schematic to GDSII, collaborating with project technical leaders to define IC architecture and verification methodology, and...
-
Formal Verification Software Engineer
il y a 1 semaine
Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps pleinUnlock 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,...
-
ASIC Design Verification Engineer
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps pleinWe 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...
-
Formal Methods for Distributed System Verification
il y a 3 semaines
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...
-
Digital Verification Specialist
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps pleinJob 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...
-
Analog IC Design Engineer Technical Leader
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France RHESO Temps pleinJob Description:Analog IC Design Engineer Technical Leader (W/M)Company Overview:RHESO.TECH is a specialized recruitment agency partnering with a French fabless semiconductor manufacturer.Job Summary:We are seeking a dynamic and experienced analog designer to contribute to the chip/block level architecture definition and implementation.Responsibilities:Lead...
-
Digital Verification Specialist
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps pleinAs 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...
-
Digital Verification Specialist
il y a 1 mois
Grenoble, Auvergne-Rhône-Alpes, France IC Resources Temps pleinJob Title: Digital Verification EngineerIC Resources is seeking a skilled Digital Verification Engineer to join our team. As a key member of our 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 with mixed-signal and...
-
CMOS Transceiver Verification Expert
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps pleinThe 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...
-
Formal Verification
Il y a 2 mois
Grenoble, Auvergne-Rhône-Alpes, France Siemens Electronic Design Automation SARL Temps pleinSiemens Electronic Design Automation SARL is a leading provider of software solutions for the electronics design industry. We offer a dynamic and challenging work environment where you can contribute to cutting-edge technologies. We are seeking a highly motivated and skilled Formal Verification & Software Engineer to join our team in Munich or Grenoble. In...
-
Senior Digital IC Verification Expert
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France https:www.energyjobline.comsitemap Temps pleinAs 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...
PhD Position F/M Improving Formal Verification for Electrical Circuits at Transistor Level
Il y a 2 mois
**Context and Advantages of the Position**
Within the framework of a partnership between INRIA and Verimag, LIP, and Aniah, we are seeking a PhD researcher to work on improving formal verification for electrical circuits at the transistor level.
**Mission and Objectives**
The successful candidate will be responsible for developing and implementing formal verification techniques for electrical circuits at the transistor level. This will involve working closely with the research team to design and implement new algorithms and tools, as well as collaborating with industry partners to ensure the practical applicability of the research.
**Benefits**
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking (90 days/year) and flexible organization of working hours (except for internship)
- Social, cultural, and sports events and activities
- Access to vocational training
- Social security coverage under conditions
**Remuneration**
The gross salary for the PhD researcher will be as follows:
1st and 2nd year: 2100 euros/month
3rd year: 2190 euros/month
