Improved Formal Verification for Electrical Circuits PhD Position

il y a 3 semaines


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

  • Senior Verification Engineer

    il y a 2 semaines


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

    Job Opportunity: Verification EngineerGrenoble Area:We are seeking a skilled Verification Engineer to join our team in a fast-growing company. As a Verification Engineer, you will be at the forefront of cutting-edge projects, collaborating with a highly skilled team to design and verify complex systems for industries ranging from automotive and AI to energy...

  • PhD Student Researcher

    il y a 4 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,...


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

    A propos de l'entreprise : EN-CORE est une start-up grenobloise qui conçoit des mémoires DRAM intelligentes. Leur produit est scalable à l'infini et s'adresse principalement au marché du datacenter, où l'allègement des opérations au niveau du CPU principal est primordial.Avec leur technologie, EN-CORE réussit à réduire de 15% le...


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

    At ESRF, you will be part of an international team working on the development of new materials through high-pressure and high-temperature synthesis.Company OverviewThe European Synchrotron Radiation Facility (ESRF) is a leading research institution in the field of synchrotron radiation. Our mission is to advance science and address societal challenges...


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

    Research OpportunityThe ESRF is seeking a highly motivated PhD student to join our team and contribute to the development of novel methods for fragment screening in the era of Artificial Intelligence. The successful candidate will work on identifying compounds that modulate the activity of the exotoxin A protein from Pseudomonas aeruginosa using a...


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

    A propos de l'entrepriseVous serez intégré à l'équipe EN-CORE, une start-up grenobloise spécialisée dans la conception de mémoires DRAM intelligents.Le posteVous intégrez l'équipe dans le but de constituer une activité structurée de vérification fonctionnelle.Vous aurez pour responsabilité de prendre en charge les activités de...


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

    Research OpportunityThe ESRF is seeking a highly motivated PhD candidate to join our research team in the Structural Biology group. The successful candidate will work on designing and characterizing semi-synthetic artificial reductases for proton and CO2 transformations.This project combines protein chemistry and structural studies to develop "green"...


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

    Research OpportunityESRF is seeking a talented PhD researcher to join our Structural Biology Group. The successful candidate will pursue a project aimed at proposing a new paradigm in macromolecular crystallography by focusing on room temperature data collection and embracing complementary biophysical approaches.Project OverviewThe project will study several...


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

    Company OverviewThe ESRF, a leading international research institute, is at the forefront of advancing science and addressing societal challenges.We are seeking a talented Research Scientist to join our team and contribute to the development and application of cutting-edge spectroscopic imaging techniques.Job DescriptionThis PhD position offers the...


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

    Research OpportunityAt the European Synchrotron Radiation Facility (ESRF), we are seeking a highly motivated PhD researcher to join our Structural Biology Group. The successful candidate will pursue a project aimed at developing a new paradigm in macromolecular crystallography by focusing on room temperature data collection and embracing complementary...


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

    About the PositionAt ESRF, we are seeking a talented PhD student to join our team and contribute to the research on Pseudomonas aeruginosa.The successful candidate will work under the supervision of our expert researchers to identify compounds that modulate the activity of the exotoxin A enzyme.This project combines AI-based virtual screening, activity...


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

    Job DescriptionYou will develop and implement advanced image reconstruction methods for coherent 3D X-ray microscopy to overcome current frontiers of spatial resolution and contrast. This involves focusing on precise phase reconstruction approaches in X-ray holography and near-field ptychography.This position is part of the ERC Brilliance project, aiming to...


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

    Offre de développement de la microélectroniquePour développer notre pôle microélectronique, ELSYS Design recherche un(e) ingénieur(e) spécialisé(e) en développement de circuits intégrés.En tant qu'ingénieur(e) en développement de circuits intégrés, vous serez amené(e) à travailler sur des projets innovants et stimulants portés sur les...


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

    Vous êtes à la recherche d'un poste qui combine technologie et gestion d'équipe ? L'équipe EN-CORE est à la recherche d'un Team leader pour rejoindre son équipe de vérification fonctionnelle.A propos de l'entreprise :EN-CORE est une start-up grenobloise qui conçoit des mémoires DRAM intelligentes. Notre technologie permet d'effectuer du...


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

    Research Opportunity at ESRFESRF is seeking a highly motivated PhD researcher to join our team at the ID14 LECOR beamline. The successful candidate will conduct experiments to determine the elastic and plastic properties of various iron-bearing alloys and compounds at conditions of the deep Earth's interior.About the ProjectThe ERC-funded project LECOR aims...


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

    Research OpportunityWe are seeking a highly motivated PhD researcher to join our international team at the European Synchrotron Radiation Facility (ESRF) in Grenoble, France. The successful candidate will work on the development of new generation materials used as catalysts in hydrogen fuel cells and water electrolyzers.The PhD project aims to investigate...

  • IC Packaging Technical Lead

    il y a 4 semaines


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

    IC Packaging Technical Lead Job DescriptionWe are seeking an experienced IC Packaging Technical Lead to drive all package related activities, including materials development with subcon partners. This role will involve participating in design reviews to design BGA packages and performing feasibility studies for substrate technology and electrical...


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

    Applied Materials, a leading global provider of innovative semiconductor, display and solar-photovoltaic processing equipment, is seeking a skilled Installation Specialist to support our European regions.Our daily actions are focused on delivering exceptional customer support, from equipment sale to installation, start-up, process implementation and...