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

WWTF ICT project awarded to Igor Konnov

Igor Konnov (PI), together with Josef Widder (co-PI) and Helmut Veith (core team), are awarded an ICT research project APALACHE “Abstraction-based Parameterized TLA Checker” by the Vienna Science and Technology Fund WWTF.

Continue reading

Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015! This year’s speakers are: Alois Ferscha (JKU Linz) Tom […]

Continue reading

Helmut Veith receives CAV Award

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Continue reading

Full news archive