Open Positions

Please click on the respective links for more information on the individual positions.

NEW PhD position in Digital Modeling of Asynchronous Integrated Circuits at TU Wien, Vienna, Austria

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. The starting date of the work: Between immediately and end of the year 2019. The application deadline: August 15, 2019; AoE.

More details here

NEW PhD position focused on Formal Methods for large-scale, spatially-distributed, stochastic systems (within joint Doctoral College Logical Methods in Computer Science (LogiCS)) at TU Wien, Vienna

The Institute of Computer Engineering at Technische Universität Wien (TU Wien) is seeking a candidate for a research assistant position (PhD student, 4 years). The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems, contributing to the recently acquired project: “High-dimensional statistical learning: new methods to advance economic and sustainability policies”. The successful candidate will be a PhD student of the LogiCS Doctoral Program and she/he will be supervised by Prof. Ezio Bartocci and co-supervised by Dr. Laura Nenzi. The application deadline is August 31, 2019; AoE. 

More details here

(CLOSED) Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria

Candidates with a research background in computer-aided verification, programming languages, and distributed systems are particularly encouraged to apply for two open PhD positions under the supervision of Prof. Pavol Cerny, part of FORSYTE research group. The application deadline was July 4, 2019; AoE.

More details here

(CLOSED) Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien (Vienna University of Technology)

The Security & Privacy Group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security”. The application deadline was June 30, 2019; AoE.

More details here

(CLOSED) PhD Position within an FWF-funded research project on SAT-Based Local Improvement for Graph Width Parameters at TU Wien

The Algorithms & Complexity Group at TU Wien is currently offering a fully funded research assistant position (PhD student).  The position is within the Austrian Science Fund (FWF) funded research project “SAT-based local improvement for graph width parameters ” which will run for 3 years. The application deadline was June 18, 2019; AoE.

More details here

(CLOSED) PhD position on Formal Methods for Multi-agent Systems at TU Wien (Vienna University of Technology)

The proposed research will apply formal methods (logics and automatic methods enabling temporal and strategic reasoning) for the verification and synthesis of multi-agent systems and their interaction with realistic environments. The work has strong connections to artificial intelligence, distributed computing, and mobile agents/robots. A first screening of applications started on May 6, 2019; AoE.

More details here

(ONGOING) FWF funded Doctoral College Logical Methods in Computer Science – LogiCS

TU Wien, TU Graz, and JKU Linz are seeking doctoral students for the joint Doctoral College Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF). LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering

(i) computational logic,

(ii) databases and artificial intelligence,

(iii) computer-aided verification, and

(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

More details here

(CLOSED) National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions

The RiSE project is a National Research Network funded by the Austrian National Science Fund (FWF) on the topic of Rigorous Systems Engineering. RiSE is concerned with improving the quality of complex software systems. It aims to move beyond classical, a‑posteriori verification techniques such as model checking, to an integrated approach of system design and formal verification.

More details here

 

Stefan Szeider and Georg Gottlob, the speakers.