10 PhD positions on Automated Reasoning

The newly established Doctoral College “Automated Reasoning,” funded by the Austrian Science Fund (FWF), is designed to educate the next generation of experts in automated reasoning. The program addresses foundational questions such as how to rigorously define safety and security across various domains and applications. It also focuses on developing automated techniques and analyses to ensure the safety and security of electronic systems and explores synergies between the fields of security and artificial intelligence (see our list of potential research topics).

2025-03-27

Doctoral College “Automated Reasoning” offers ten PhD positions. Successful applicants will work on exciting projects at the intersection of security and artificial intelligence with Automated Reasoning at the core. The positions are expected to start in October 2025 for a period of expected 4 years each.

All research projects are expected to span several sub-disciplines (such as formal methods and artificial intelligence) and each doctoral student will be supervised by at least two professors (see our list of faculty members of the doctoral college) with complementary research experience.

Tasks:

  • Perform independent research on the respective research topic
  • Present research results at international conferences and other scientific events
  • Successful completion of milestones and curriculum of the doctoral college
  • Participation in scientific events and other outreach activities organized by the doctoral college and the Doctoral School of TU Wien
  • Write a dissertation and publications
  • Participation in organizational and administrative tasks of the doctoral college

Your profile:

  • A diploma or master university degree in computer science, computer engineering, or mathematics
  • Experience in relevant research fields of the selected project(s) are of advantage
  • Excellent communication and writing skills in English
  • Active participation in scientific collaboration
  • Team competences and problem-solving skills
  • Positive attitude and contribution to the work environment
  • Striving for continuous personal development

We offer:

  • Diverse and exciting research projects on cutting edge topics
  • Continuing personal development and professional education
  • High-quality supervision by renowned scientists
  • Ample possibilities for building an international research network, completing secondments, and establishing research collaborations
  • Courses on transferable skills
  • Competitive salary
  • Social benefits (e.g., health insurance, etc.)
  • Administrative support in study and organizational questions
  • Central location with excellent accessibility in a city regularly ranked first worldwide for best quality of life
  • Diverse and exciting tasks

More details and application information can be found here.