Skip to Content

Faculty of Informatics, TU Vienna TU Vienna

Doctoral Programme
"Mathematical Logic in Computer Science"

Top-level Navigation:

Tools: Print page

NEW PROGRAM: Logical Methods in Computer Science



Doctoral Programme

The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral programme "Mathematical Logic in Computer Science" which is launched in the academic year 2010/2011. The programme is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics.

PhD students for this full-time programme are recruited world-wide, all courses are held in English. Five of the ten positions are reserved for female applicants.

Call for applications 2010/11


Continuous filling, starting from Sept 10, 2010
Ultimate closing: March 15, 2011
Start Programme: Winter Semester 2010 (phase-in)


There has always been a close connection between the areas of Logic, Mathematics and Computer Science. Mathematical Logic is at the heart of these fields and contributed outstanding important results like e.g. various Undecidabilty results, Gödel's Incompleteness Theorems. Physics offers new challenges to the field such as Quantum Computation. The Doctoral Programme Mathematical Logic in Computer Science lies in this intersection of areas and is embedded in ongoing projects and research carried out at Vienna University of Technology. The programme is interdisciplinary and fosters the application of Mathematical Logic to Computer Science; envisaged key application areas are Model-Based Design and Verification as well as Advanced Information Systems.

The curriculum covers general courses (e.g. Research Methodology, Philosophy of Science, Communication, etc.) and area courses, which deal with important topics of mathematical logic and its applications. A stay abroad at a cooperating university and/or the participation at Summer/Winter Schools resp. Doctoral Consortia are organized and required. In addition, participation at international conferences where the students will present their results is planned.

Further Information

Details on... Can be found here
  • General information, objective etc.
  • Funding
  • Organization
About the Doctoral Programme
  • Curriculum
  • Courses, exams and credits
  • Application and admission
  • International students, English language proficiency
  • Application form etc.
Admission & Prerequisites
  • Frequently asked questions
  • Whom to contact in case of questions
Contact Information

Partners: Vienna PhD School of Informatics and the Kurt Gödel Society

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung