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): https://www.wwtf.at/upload/VRG17_web.pdf. 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

Helmut Veith Stipend 2017

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Helmut Veith Stipend

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]

Continue reading

WAIT 2016 in Vienna

The third WAIT workshop on induction is held between 17-18 November at the TU Wien. Details are available on the workshop page.

Continue reading

Two papers at POPL’17

Two papers co-authored by researchers from our group have been accepted for POPL’17: “Coming to Terms with Quantified Reasoning” by Simon Robillard, Andrei Voronkov, and Laura Kovacs; and “A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms” by Igor Konnov, Marijana Lazic, Helmut Veith, and Josef Widder

Continue reading

Full news archive