Open PhD position in FWF-funded project "Digital Modeling of Asynchronous Integrated Circuits"

We are looking for a PhD student in our new FWF project  Digital Modeling of Asynchronous Integrated Circuits, which targets faithful all-digital models of asynchronous digital circuits. Expected are primarily theoretical interest and skills (formal-mathematical modeling and analysis, correctness and impossibility proofs for distributed/concurrent systems, verification of hybrid systems).

The position is for 4 years, 30h/week, with a regular FWF salary, and could optionally be affiliated to the FWF Doctoral Programme Logical Methods in Computer Science (LogiCS) as well.

If you are interested, please contact the project head Prof. Ulrich Schmid by email.