Saturday, 17 July 2010

Austria:Doctoral Programme On Mathematical Logic in Computer Science At The Vienna University Of Technology

The Doctoral Programme is an international PhD programme with focus on mathematical logic. Interdisciplinary research and experiences abroad are supported and funded. In the first selection round of this programme 10 positions are available. International students are encouraged to apply.

TU Vienna has a strong international reputation in various fields targeted in the programme and aims at positioning the Doctoral Programme at a high level of excellence within the international community. These fields include:

  • Logic in Databases
  • Computer Aided Verification
  • Constraint Satisfaction and Satisfiability
  • Knowledge Representation and Reasoning
  • Finite Model Theory
  • Quantum Information and Recursion Theory
  • Proof Theory and Automated Deduction
  • Many Valued and Fuzzy Logic
  • Complexity Theory
  • Set Theory

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. Interdisciplinary theses that require consolidated knowledge from different areas (Mathematics, Logic, Computer Science and Physics) are preferred.

The programme fosters the application of Mathematical Logic to Computer Science; two envisaged key application areas are:

  • Model-Based Design and Verification
  • Advanced Information Systems
Further Details:

Subscribe To Get The Latest Scholarship Information In Your Email Inbox

Enter your email address:

Delivered by FeedBurner