Doctorate On Campus

Logical Methods in Computer Science

Vienna University of Technology

36 months
Tuition fee
Apply date
Start date


The Logical Methods in Computer Science 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 at TU Wien?

Logical Methods in Computer Science at Vienna University of Technology 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. 

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.

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.

Programme Structure

Successful applicants will work on interdisciplinary research topics covering
  • computational logic, 
  • databases and artificial intelligence,  
  • computer-aided verification, and 
  • emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

Key information


  • Full-time
    • 36 months

Start dates & application deadlines


On Campus

Academic requirements

We are not aware of any academic requirements for this programme.

Other requirements

General requirements

  • Evidence of prior achievement
  • Degree certificates (Bachelor’s and Master’s degree or higher) of a post-secondary education institution including course transcripts and an explanation of the grading system(s) used in these degree certificates.
  • Abstract of diploma / Master’s thesis
  • Curriculum Vitae
  • Motivation Letter
  • At least two letters of recommendation
  • At least one of your referees should have a scientific background.
  • If your referees prefer, letters of recommendation may be sent separately to clearly indicating the applicant’s name.
  • Certificate of English language proficiency (see below)
  • Scan of the applicant’s passport
  • Only the pages containing your personal data and picture.
  • Officially certified transcripts of degree certificate(s)
  • Only for non-EU citizens (excl. Swiss nationals).
  • Optional: Research proposal

Tuition Fee

To alway see correct tuition fees
  • National

    Tuition Fee
    Based on the tuition of 0 EUR per year during 36 months.

Living costs for Vienna

861 - 1331 EUR /month
Living costs

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.


Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

Fresh content

Updated in the last year

Check the official programme website for potential updates.

Our partners

Logical Methods in Computer Science
Vienna University of Technology


Go to your profile page to get personalised recommendations!

Tuition fee settings