The Institute of Computer Technology at the Vienna University of Technology offers a part time PhD position in the field of electronic circuit analysis, refinement and verification based on the mathematical concept of “Affine Arithmetic”. Using range based computation concepts, like Affine Arithmetic, allow the system designer an implicit modelling of previously undefined parameters. This project includes an international cooperation with the Leibniz University Hannover, Germany, and is funded until 12/2012 by the Vienna based WWTF science funds.
PhD position: Circuit Analysis and Verification using range based methods (30 h / week)
Task:
Within the project new methodologies for the analysis and refinement of electronic and in particular communication systems should be created and evaluated. They should be based on already available or additionally defined “Affine Arithmetic” methods and should be optimized and advanced to be applicable on practical systems. The prospective main field of activity of this particular position is (but not restricted to) formal verification of hardware systems. Based on the scientific project results a doctoral thesis should be written.
The successful candidate would ideally have knowledge in one or more of the following
MSc, DI, Mag. degree in electrical engineering or informatics
Fluent in English
Basic knowledge in C++, SystemC, SystemC AMS,
Possible knowledge in circuit simulation and analysis, Modified Nodal Analysis, Formal Verification
