Emplois actuels liés à PhD Researcher: Enhancing Formal Verification for Electrical Circuits - Grenoble, Auvergne-Rhône-Alpes - INRIA
-
PhD Position in Formal Verification for Electrical Circuits
il y a 3 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...
-
Improved Formal Verification for Electrical Circuits PhD Position
il y a 21 heures
Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
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 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...
-
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...
-
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...
-
PhD Researcher in Software Vulnerability Detection
il y a 2 semaines
Grenoble, Auvergne-Rhône-Alpes, France VERIMAG - Imag Temps pleinSoftware Security ResearcherWe are seeking a highly motivated PhD researcher to join our team at Verimag. The research project focuses on the development of techniques and tools for software vulnerabilities detection and analysis. The researcher will work on enhancing existing software vulnerability analysis techniques to address complex attack scenarios. A...
-
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 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 Verification Specialist
il y a 1 mois
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...
-
PhD Student Researcher
il y a 1 semaine
Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps pleinPhD 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,...
-
Formal Verification Software Engineer
il y a 2 semaines
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,...
-
PhD Researcher on ID14 LECOR
il y a 1 mois
Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps pleinResearch Scientist OpportunityWe are seeking a highly motivated and skilled researcher to join our team at the European Synchrotron Radiation Facility (ESRF). As a PhD Researcher on ID14 LECOR, you will be part of a dynamic and international research team working on the ERC-funded project LECOR.Project OverviewThe LECOR project aims to refine compositional...
-
PhD Researcher on ID14 LECOR
il y a 4 semaines
Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps pleinResearch Scientist OpportunityWe are seeking a highly motivated and skilled researcher to join our team at the European Synchrotron Radiation Facility (ESRF). As a PhD Researcher on ID14 LECOR, you will be part of a dynamic and international research team working on the ERC-funded project LECOR.Project OverviewThe LECOR project aims to refine compositional...
-
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...
-
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...
-
PhD Researcher on ID14 LECOR
il y a 1 mois
Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps pleinResearch Scientist OpportunityWe are seeking a highly motivated and skilled research scientist to join our team at the European Synchrotron Radiation Facility (ESRF). The successful candidate will be part of the Nuclear Resonance Scattering (ID14) beamline and contribute to the ERC-funded project LECOR (Light Elements in the Core).Project OverviewThe LECOR...
-
PhD Researcher in Structural Biology
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France European Synchrotron Radiation Facility (ESRF) Temps pleinPhD Student in Structural BiologyWe are seeking a highly motivated PhD student to join our Structural Biology group at the European Synchrotron Radiation Facility (ESRF).The ESRF is an international research centre based in Grenoble, France, and its particle accelerator produces intense X-ray beams used by thousands of scientists each year for experiments in...
-
PhD Researcher on ID14 LECOR
il y a 4 semaines
Grenoble, Auvergne-Rhône-Alpes, France ESRF Temps pleinResearch Scientist OpportunityWe are seeking a highly motivated and skilled researcher to join our team at the European Synchrotron Radiation Facility (ESRF). As a PhD Researcher on ID14 LECOR, you will be part of a dynamic and international research team working on the ERC-funded project LECOR.Project OverviewThe LECOR project aims to refine compositional...
-
PhD Researcher in Solid-State Chemistry
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France European Synchrotron Radiation Facility (ESRF) Temps pleinPhD Thesis Student (f/m) on ID06-LVPThe European Synchrotron, the ESRF, is a leading international research centre based in Grenoble, France. Our particle accelerator produces intense X-ray beams that are used by thousands of scientists each year for experiments in diverse fields such as biology, medicine, environmental sciences, cultural heritage, materials...
PhD Researcher: Enhancing Formal Verification for Electrical Circuits
Il y a 2 mois
About the Role
This PhD position offers a unique opportunity to contribute to cutting-edge research in formal verification of electrical circuits at the transistor level. You will be part of a collaborative project between leading research institutions, leveraging their expertise to advance this critical field.
Project Focus
The core objective is to develop and refine a formal verification tool for electrical circuits operating at the transistor level. This involves tackling complex challenges in model development, algorithm design, and software implementation. Your research will directly impact the reliability and safety of increasingly sophisticated electronic systems.
Benefits
- Competitive salary: €2100 gross per month for the first two years, increasing to €2190 in the third year.
- Comprehensive benefits package including subsidized meals and partial reimbursement of public transport costs.
- Generous leave policy with 7 weeks of annual vacation plus 10 extra days off due to RTT (statutory reduction in working hours) and the possibility of exceptional leave for personal circumstances.
- Flexible work arrangements: Enjoy the option of teleworking up to 90 days per year and flexible working hours (excluding internships).
- Engaging social environment with regular events and activities, fostering a strong sense of community.
- Access to professional development opportunities through vocational training programs.
- Social security coverage under specific conditions.
