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

Katholieke Universiteit Leuven


August 28, 2021


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

integrated circuits

(ref. BAP-2021-625)

Last modification : Wednesday, July 28, 2021

This PhD research will be carried out under the guidance of Prof. Georges Gielen (https: // www., 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 research will take place in the ESAT-MICAS (Microelectronics and Sensors) research group at KU Leuven, which is internationally renowned for its wide range of research, education and valorisation activities in integrated electronics (https: // www.

Website unit


Within the frame of the ERC Advanced Research Grant AnalogCreate (https: // www., several PhD positions and one postdoc position are available. While analog and RF electronic circuits are essential in many applications like IoT, biomedical, automotive, etc., their design remains time consuming and error prone due to their complexity and lack of automation. The overall goal of the AnalogCreate research program is to drastically increase the productivity, optimality and correctness of designing integrated analog electronic circuits by investigating and applying innovative algorithmic techniques, including AI and machine learning.

This PhD position 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.


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.

Good mastering of spoken and written English.


The position offers a PhD scholarship for 4 years.


For more information please contact Prof. dr. ir. Georges Gielen, tel.: +32 16 32 40 76, mail:

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