ERC PhD position in efficient formal verification of analog/mixed-signal integrated circuits

Katholieke Universiteit Leuven

Belgium

December 24, 2021

Description

ERC PhD position in efficient formal verification of analog/mixed-signal

integrated circuits

(ref. BAP-2021-808)

Last modification : Tuesday, November 23, 2021

The PhD research will be carried out under the guidance of Prof. Georges Gielen (https: // www. esat.kuleuven.be/micas/index.php/georges-gielen), who was awarded the AnalogCreate ERC Advanced Grant and who is an expert in the design and design automation of analog/mixed-signal integrated electronic circuits. The work will be performed in the ESAT-MICAS (Microelectronics and Sensors) research group at the Department of Electrical Engineering (ESAT) at KU Leuven, Europe's most innovative university (Reuters, since 2016 till now). ESAT-MICAS is internationally renowned for its wide range of research, education and valorization activities in integrated electronics (https: // www. esat.kuleuven.be/micas/). MICAS has over 80 researchers (postdocs and PhD students) from many different countries and offers a dynamic, thriving and interdisciplinary environment on a wide portfolio of research projects.

Website unit

Project

Within the frame of the ERC Advanced Research Grant “AnalogCreate” (https: // www. kuleuven.be/english/research/EU/p/horizon2020/es/erc/analogcreate) of Prof. Georges Gielen, several PhD positions and one postdoc position are available. Analog,mixed-signal and RF electronic circuits are essential in many applications like IoT, biomedical, automotive, etc. Yet, their design remains time consuming and error prone due to the analog complexity and the lack of automation. The overall goal of the AnalogCreate ERC AdG research program is to drastically increase the productivity, optimality and correctness of designing integrated analog electronic circuits. The novelty of the research is to explore and apply innovative algorithmic techniques, including AI and machine learning, to do this.

This job opening covers a PhD research position (4 years) in the frame of the AnalogCreate ERC project. The candidate will investigate efficient novel algorithmic techniques for the formal design verification of analog circuits that can guarantee the full correctness of a designed circuit under all input signals and process/voltage/temperature variations encountered in practical operation. The candidate will have to prototype and validate the methods on actual designs.

This project is in collaboration with Stanford University.

Profile

Candidates should have a strong expertise in (analog/mixed-signal) IC design and computer algorithms (including methods of optimization and/or machine learning/artificial intelligence).

Additional research/developmentexperience in any of the following topics is a plus:

  • hands-on experience in programming
  • hands-on experience in design of (analog/mixed-signal) integrated circuits
  • hands-on experience with methods of optimization and/or machine learning/AI
  • Candidates should be motivated, independent, show critical thinking and scientific curiosity, and should have strong team-player skills.

    Required background: Master in Electrical Engineering, Master in Nano Engineering or Master in Computer Science with proven knowledge of analog/mixed-signal integrated electronic circuits besides the mastering of programming/CAD/AI techniques.

    Excellent proficiency in the English language is required, as well as good communication skills, both oral and written.

    Offer

    The position offers :

  • A PhD scholarship for 4 years, with a competitive monthly stipend;
  • An exciting interdisciplinary research environment at KU Leuven, Europe's most innovative university;
  • The possibility to participate in international conferences and collaborations;
  • The possibility to interact with industry;
  • The PhD can start in the range from immediately to the beginning of September 2022.

    Interested?

    Interested applicants should submit a motivation letter with a statement why this project fits with your expertise, a curriculum vitae, the names and contact information of 2 references.

    Please do not postpone submitting your application until the deadline. Applications are monitored continuously, and it could be that the vacancy closes before its end date once a candidate has been found.

    For more information please contact Prof. dr. ir. Georges Gielen, tel.: +32 16 324076, mail: georges.gielen@kuleuven.be.

    KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.

    Similar Jobs

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC PhD position in efficient formal verification of analog/mixed-signal integrated circuits

    ERC PhD position in efficient formal verification of analog/mixed-signal The PhD research will be carried out under the guidance of Prof. esat.kuleuven.be/micas/index.php/georges-gielen), who design and design automation of analog/mixed-signal integrated electronic Sensors) research group at...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC PhD position in machine-learning/AI-based automated synthesis of analog integrated circuits

    ERC PhD position in machine-learning/AI-based automated synthesis of The PhD research will be carried out under the guidance of Prof. esat.kuleuven.be/micas/index.php/georges-gielen), who design and design automation of analog/mixed-signal integrated electronic Sensors) research group at the...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC PhD position in machine-learning/AI-based automated synthesis of analog integrated circuits

    ERC PhD position in machine-learning/AI-based automated synthesis of The PhD research will be carried out under the guidance of Prof. esat.kuleuven.be/micas/index.php/georges-gielen), who design and design automation of analog/mixed-signal integrated electronic Sensors) research group at the...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC PhD position in ML/AI-based circuit creation of analog integrated circuits

    ERC PhD position in ML/AI-based circuit creation of analog integrated The PhD/postdoc research will be carried out under the guidance of Prof. esat.kuleuven.be/micas/index.php/georges- expert in the design and design automation of analog/mixed-signal integrated Electrical Engineering...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC PhD position in ML/AI-based circuit creation of analog integrated circuits

    ERC PhD position in ML/AI-based circuit creation of analog integrated The PhD/postdoc research will be carried out under the guidance of Prof. esat.kuleuven.be/micas/index.php/georges- expert in the design and design automation of analog/mixed-signal integrated Electrical Engineering...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    Machine-learning/AI-based testing and test generation for analog/mixed-signal ICs

    Machine-learning/AI-based testing and test generation for analog/mixed- esat.kuleuven.be/micas/index.php/georges-gielen), who signal integrated electronic circuits. Electrical Engineering (ESAT) at KU Leuven, Europe's most innovative esat.kuleuven.be/micas/). a wide portfolio of research projects. A PhD position is available within...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    Machine-learning/AI-based testing and test generation for analog/mixed-signal ICs

    Machine-learning/AI-based testing and test generation for analog/mixed- esat.kuleuven.be/micas/index.php/georges-gielen), who signal integrated electronic circuits. Electrical Engineering (ESAT) at KU Leuven, Europe's most innovative esat.kuleuven.be/micas/). a wide portfolio of research projects. A PhD position is available within...

    Eindhoven University of Technology

    Netherlands Nov 12, 2021

    Add to favorites Read more...

    PhD position on Devising an in-vitro AI Computer

    PhD position on Devising an in-vitro AI Computer EAISI - Eindhoven Artificial Intelligence Systems Institute The Eindhoven Artificial Intelligence Systems Institute (EAISI) is funding 2 PhD positions for the highly innovative BayesBrain project, in This...

    Katholieke Universiteit Leuven

    Belgium 5 days ago

    Add to favorites Read more...

    ERC Postdoc position: Interface circuit design for physiological recordings with wearable sensors

    ERC Postdoc position: Interface circuit design for physiological The work will be performed within the research division Micro- and Nanosystems (MNS) in collaboration with the STADIUS-BIOMED lab at the Electrical Engineering Department (ESAT) at KU...

    Germany Universities

    Germany 2 days ago

    Add to favorites Read more...

    PhD Position for Formal Verification of Neural NetworksTechnische Universität München • Informatik • Garching bei München

    Subjects Verification of neural networks Description The research University of Munich offers a PhD position in the area of formal verification Due to the current trend towards artificial intelligence, neural networks and will not be...