Open Positions

Vienna Research Groups for Young Investigators – Call for Applications

Applications are being invited for outstanding early-career scientists (2-8 years post PhD), interested in establishing their first independent research group in an interdisciplinary field, connecting Logic with Mathematics and Computer Science. In this context, the FORSYTE group at TU Wien is looking for strong candidates applying static analysis to mathematics (e.g., proof theory, mathematical models, or data science code).

We are seeking outstanding candidates who are interested in submitting an application to the open call “Vienna Research Groups for Young Investigators” (VRGYI) of the Vienna Science and Technology Fund (WWTF): The deadline for the submission of the final proposal to the funding body (WWTF) is July 13, 2017.

In the case of a successful application, the research group will be funded for 6-8 years, with up to 1.6 million EUR by the WWTF, supplemented by an additional contribution from the University. After a successful interim evaluation, TU Wien will offer a tenure-track or tenured position to the group leader.

Requirements: Applicants should have an excellent track record demonstrating the innovative combination of mathematics and computer science. Application procedure: For a first step, informal inquiries, including a short CV with publication list, list of research projects and potential topics for a WWTF grant application should be sent to Georg Weissenbacher <ta.etysrofnull@bnessiew> as soon as possible.

Female researchers are particularly encouraged to apply.

Funded PhD and PostDoc positions

The Formal Methods in Systems Engineering Group at Vienna University of Technology is looking for PhD students and PostDocs. We are looking for new colleagues in the areas of Formal Methods, Software Model Checking, Abstract Interpretation, Static Analysis, Automata Theory, …

If you are mathematically inclined and/or a versatile programmer willing to combine theory and practice, one of the following exciting research projects might offer the job of your dreams:

  • Doctoral Program “Logical Methods in Computer Science” (LogiCS)

Doctoral Program LogiCS

As part of the joint doctoral program LogiCS of TU Wien, TU Graz, and JKU Linz, we are seeking exceptionally talented and motivated students. The LogiCS doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.

For further details, consider the Call for Students and the LogiCS website.


Vienna: A thriving environment for working on Formal Methods

Vienna is home to a number of world-class researchers in the field of automated verification and logic. The city has evolved into a hub in a network of excellence on formal methods.

  • World-class Faculty in Formal Methods and Logic at TU Vienna:
    Radu Grosu, Laura Kovács, Ulrich Schmid, Uwe Egly, Thomas Eiter, Stefan Szeider, Reinhard Pichler, Matthias Baaz, Agata Ciabattoni, and many more …
  • Network of Excellence on Formal Methods in Austria (RiSE)
    Many opportunities to collaborate with renowned scientists across Austria
  • The Vienna Center for Logic and Algorithms (VCLA) invites visiting researchers and hosts workshops and student schools such as the Summer School on Logic, Artificial Intelligenc, and Verification
  • We have a joint weekly seminar with IST Austria with many international guests
  • We orgaize FMCAD 2017 in Vienna!
  • We organise CAV 2018 in Oxford!

Vienna: The best living standard in the world!

  • A beautiful city in the heart of Europe
  • Continually ranked no. 1 in the Mercer Quality of Living Survey
  • Enjoy the Viennese Coffee Houses listed as ‘Intangible Cultural Heritage’ by the UNESCO
  • Find out about the notorious “Wiener Schmäh” (Viennese charm)

How to apply

Please submit your application material via the web-page of our doctoral college. Please tell us why you think that you are a good match for the FORSYTE group and whether there is a specific project you would like to work on (if you haven’t made up your mind yet, you can leave the decision to our sorting hat ;-)).

Schikaneder – bar, cinema, club

View on the roof of the Stephan’s Cathedral and the city center

Roof of Stephan’s Cathedral and City Center (Photo by Miroslav Petrasko)

Coffee house "Caf&eqcute; Central"

Coffee house “Café Central”

Latest News

Winter School on Verification

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students. Details are available from the VCLA website.

Continue reading

CfP: Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2 2010)

The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.

Continue reading

Full news archive