Logical Methods in Computer Science - LogiCS doctoral program

Vienna University of Technology (Technische Universität Wien)

PhD student presentation Logical Methods in Computer Science LogiCS

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.

POSITIONS AND FUNDING
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.

FACULTY
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 (more: www.vcla.at).

HOW TO APPLY
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: http://logic-cs.at/phd/admission/

RESEARCH AND LIFE 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.