Open Positions

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

NEW 6-Year PostDoc Position in Algorithms at TU Wien

The Algorithms and Complexity Group is offering a position of university assistant (Post-doc) for 6 years for 40 hours/week. Final Application Deadline: May 28, 2020. More details here

NEW Several Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)

Jointly run doctoral college LogiCS is looking for 15 doctoral students. The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (employment contract). The funding can be extended.

At the moment we are particularly looking for candidates in the following areas:

  • Automated Software Verification
  • Description Logics
  • Epistemic logic in distributed computing
  • Explainable AI
  • Fixed-Parameter Algorithms and Complexity
  • Formal Verification of hybrid systems
  • Knowledge Representation and Reasoning
  • Model Checking
  • Modeling and analysis of digital integrated circuits
  • Normative Reasoning
  • Ontology-based Data Access
  • Security and Privacy
  • Scheduling and logic programming
  • Study of the Interaction between rules from a knowledge base and rules arising from machine learning
  • Topology in distributed computing
  • Quantified Boolean Formulas


More information here

NEW Fully funded PhD in Networking and Communication Technology at the University of Vienna

The Communication Technologies group of the University of Vienna is recruiting PhD student (employment contract) interested in developing the foundations of the next generation of reliable networks: networks which are highly automated,  and verify and correct themselves autonomously, relying on formal methods. Application Deadline: June 7, 2020. More details here


  • Postdoc position in Parameterized Complexity at TU Wien, Vienna, Austria. More details here
  • PhD position in Digital Modeling of Asynchronous Integrated Circuits at TU Wien, Vienna, Austria. More details here
  • 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. More details here
  • Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria. More details here
  • Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien (Vienna University of Technology). More details here
  • PhD Position within an FWF-funded research project on SAT-Based Local Improvement for Graph Width Parameters at TU Wien. More details here
  • PhD position on Formal Methods for Multi-agent Systems at TU Wien (Vienna University of Technology). More details here

(ONGOING) FWF funded Doctoral Program 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.