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

Updated: over 2 years ago
Job Type: FullTime
Deadline: 31 Aug 2021

Within the frame of the ERC Advanced Research Grant AnalogCreate (https://www.kuleuven.be/english/research/EU/p/horizon2020/es/erc/analogc... ), 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.



Similar Positions