PhD Position in Efficient Formal Verification of Analog/Mixed-Signal Integrated Circuits

Catholic University of Leuven Department of Electrical Engineering


The PhD research will be carried out under the guidance of Prof. 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 ( 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.


Within the frame of the ERC Advanced Research Grant “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.


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.


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.


Vul contactpersonen aan in stap 1 "Context vacature" en hergenereer deze tekst.

You can apply for this job no later than June 12, 2022 via the
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
  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: June 12, 2022
  • Tags: Elektrotechniek
  • Download: file

In your application, please refer to


amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni