The Institute of Computer Engineering at Technische Universität Wien – TU Wien (Vienna University of Technology) is seeking a candidate for a research assistant position (fully funded PhD student, 4 years). The position is within the project funded by the Austrian Science Fund (FWF) “Digital Modeling of Asynchronous Integrated Circuits” which targets faithful all-digital models of asynchronous digital circuits.

QUALIFICATIONS

Expected are primarily theoretical interest and skills (formal-mathematical modeling and analysis, correctness and impossibility proofs for distributed/concurrent systems, verification of hybrid systems).

BENEFITS

The position is for 4 years, 30h/week, with a regular FWF salary, and could optionally be affiliated to the joint Austrian Doctoral College Logical Methods in Computer Science (LogiCS) funded by FWF as well. More on LogiCS here.

TU Wien (Vienna University of Technology) offers an outstanding research environment and numerous professional development opportunities.  The Faculty of Informatics is the largest one in Austria and is consistently ranked among the best in Europe. Vienna features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

The Faculty of Informatics at TU Wien is the gravitational center of informatics in Austria. Its faculty is the country’s largest research and educational institution in the area of informatics and business informatics. The Faculty of Informatics at TU Wien has been consistently ranked among top 60 computer science research and teaching institutions in the world by The Times Higher Education Ranking.

APPLICATION DEADLINE AND START DATES

The application deadline: August 15, 2019; AoE

The starting date of the work: Between immediately and end of the year 2019.

APPLICATION

If you are interested, please relate all the inquires to the project head Prof. Ulrich Schmid by email at ta.ca.neiwut.scenull@s

Prof. Ulrich Schmid on the world wide web.