University Assistant (Prae-Doc) 30 hours/week | limited to 1 year – Institute of Logic and Computation

TU Wien is Austria’s largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching and learning dedicated to the advancement of science and technology have been conducted here for more than 200 years, guided by the motto « Technology for People ». As a driver of innovation, TU Wien fosters close collaboration with business and industry and contributes to the prosperity of society.

At the Institute of Logic and Computation, in the Research Unit of Formal Methods in Systems Engineering TU Wien is offering a position as university assistant (prae-doc) for 1 year, for 30 hours/week. Expected start: October 2023.

Tasks:

• Collaboration on research and teaching tasks as well as examinations in Logic and Reasoning (in particular, on first-order logic, SAT/SMT solving, tableaux reasoning)
• Cooperation and guidance of students
• Research and project activity in logic and reasoning, with particular focus on integrating SAT/SMT solving in first-order theorem proving. Previous experience with first-order provers, possibly with the Vampire system, is advantageous.
• Implementing and evaluation automated reasoning systems
• Writing publications and disseminating results
• Participation in scientific events
• Assistance/Collaboration in organizational and administrative tasks

Your profile:

• Completion of a master or diploma curriculum in one of these fields: informatics, mathematics, engineering
• Skillful and responsible in experimental work
• Experience in the following scientific fields: automated reasoning (first-order theorem proving and/or SAT/Solving, advantageous but not required)
• Very good skills in English communication and writing. Knowledge of German (level B2) or willingness to learn it
• Interest in research in the field as well as supervision and work with students
• Very good communicative skills and team competences and innovative ability

We offer:

• A wide variety and exciting range of tasks in a collegial team
• Hybrid working style with up to 60% home office option
• A range of attractive social benefits (see Fringe-Benefit Catalogue of TU Wien)
• Wide range of internal and external training opportunities, various career options
• Central location of workplace as well as good accessibility (U1/U4 Karlsplatz)

Entry level salary is determined by the pay grade B1 of the Austrian collective agreement for university staff. This is a minimum of currently EUR 2,458.00/month gross, 14 times/year for 30 hours/week. Relevant working experiences may increase the monthly income. We look forward to receiving your application until August 31th, 2023.

TU Wien is committed to increasing the proportion of women in particular in leadership positions. Female applicants are explicitly encouraged to apply. Preference will be given to women when equally qualified, unless reasons specific to a male applicant tilt the balance in his favour. People with special needs are equally encouraged to apply. In case of any questions, please contact the confidant for disabled persons at the university, Mr. Gerhard Neustätter.

If you have any questions, please do not hesitate to contact us Carmen Keck | T: +43 1 588 01 406201 Here you can find also relevant information about the application process.