• Home
  • PhD Positions on Logical Methods in Computer Scien...

PhD Positions on Logical Methods in Computer Science

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS).  The LogiCS doctoral program is a PhD degree program funded by the Austrian Science Fund FWF.

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional positions will be available through other funding.


We invite applicants from all countries to apply. Candidates should hold a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. In exceptional cases outstanding students with excellent marks on their Bachelor’s degree can also be admitted. Previous knowledge in the areas of the doctoral college (computational logic, databases/AI, verification) is desirable but not required.

Test your English

Prepare for your study by taking one of the most popular and most accepted English language proficiency tests.


In the years 2018-2022, the doctoral college will admit 16 PhD students where 30% of the positions are reserved for female candidates.  PhD students will be employed as researchers, see Financial arrangements for details.



Detailed information about the application process is available on the LogiCS web-page


Find Related Studies

Find Scholarships to Finance Your Study

I'm going to study in: