Master’s or Diploma in Mathematics or Computer Science
Automated Reasoning
First-Order Theorem Proving
Excellent communication skills in German and English
Description
The University Assistant Prae-Doc position at TU Wien focuses on research and teaching in Logic and Reasoning. The successful applicant will engage in collaboration on research and teaching tasks, guide students, conduct research, and publish findings, all within a supportive and collegial team environment.