The position is for 4 years, 30h/week, with a regular FWF salary (see View Website ), and could optionally be affiliated to the FWF Doctoral Programme Logical Methods in Computer Science (LogiCS, see View Website) as well.
Expected are primarily theoretical interest and skills (formal-mathematical modeling and analysis, correctness and impossibility proofs for distributed/concurrent systems, verification of hybrid systems). Please apply by email, including your CV and a short statement about your motivation to apply.
* Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. IEEE Transactions on Computers, 65(3):964–978, March 2016. (doi:10.1109/TC.2015.2435791)
* Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. A Faithful Binary Circuit Model. IEEE Transactions on Computer-Aided Design, 2019. (doi:10.1109/TCAD.2019.2937748)