Your job alert was successfully created.
Vienna University of Technology
Logical Methods in Computer Science – LogiCS doctoral program
Vienna University of Technology
Through our research we “develop scientific excellence”, through our teaching we “enhance comprehensive competence”.
Visit employer page
Published: 2 months ago
Application deadline: Aug 31
Location: Vienna, Austria
Please mention that you found this job on Academic Positions when applying.

Logical Methods in Computer Science – LogiCS doctoral program

The Logical Methods in Computer Science – LogiCS doctoral program is a PhD degree program, funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz.

Why study Logical Methods in Computer Science?

 LogiCS offers an international program characterized by the unique combination of disciplines where logical methods decisively impact practical computer science.

Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. LogiCS continoues this tradition, using logic as a tool that enables computer programs to reason about the world.

Successful applicants will work on interdisciplinary research topics covering

  1. computational logic,
  2. databases and artificial intelligence,
  3. computer-aided verification, and
  4. emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.


We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.

Additional positions will be available through other funding.


The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching, and advising, complemented by 14 associated members who further strengthen the research and teaching activities of the college, as well as visiting professors and frequent guests.

International recognition of their work is reflected by (among others): 4 European research Council – ERC Grants, two START Prizes, a Wittgenstein Award; the Lovelace Medal by the British Computer Society; memberships in the Austrian Academy of Sciences as well as German Academy of Science, Academia Europaea;  fellowships in the British Royal Society, ACM, ECCAI (European Association for Artificial Intelligence), Christian Doppler Laboratories; numerous grants by the Austrian and the Vienna Science Fund.


The applicants are expected to have completed an excellent bachelor’s and master's degree in computer science, mathematics, or a related field.

Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis.

Applications will be screened on the following dates:

  • May 1, 2018
  • June 1, 2018
  • July 1, 2018
  • September 1, 2018

The positions will be filled on continuous basis till October 2018.

Applications by the candidates need to be submitted electronically.

Detailed information:

Research and Live in Austria?

Vienna has a prominent history in mathematics, computer science, and logic research (Kurt Gödel, Vienna Circle, …).

Additionally, it has repeatedly been ranked number 1 in the Mercer Quality of Living Survey.

Video presentation on how is it to study LogiCS from a student perspective:

Continue reading



Vienna University of Technology
Vienna University of Technology
Location: Vienna, Austria | Closing on Oct 31
University Professor for the specialist field of “Biomedical Electronics and Systems”
Vienna University of Technology, generally referred to as TU Wien, is located in the heart of Europe, a place where one can experience cultural diversity and international life. Research, teaching and learning have been conducted here in the service of progress for almost 200...
Vienna University of Technology
Vienna University of Technology
Location: Vienna, Austria
Research Assistant (m/f) at the Institute of Mechanics and Mechatronics
The Institute of Mechanics and Mechatronics is located at the Faculty of Mechanical and Industrial Engineering of the TU Wien. Our research team is made up of graduates from a wide range of disciplines such as mathematics, physics, mechanical engineering and industrial...