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

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.