10 PhD positions on Automated Reasoning

Job title:

10 PhD positions on Automated Reasoning

Company

Technische Universität Wien

Job description

30 hours/week | limited to 4 yearsTU 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.The Faculty of Informatics at TU Wien, one of the top ranked faculties of computer science in Europe, is advertising 10 funded positions for doctoral students in its newly founded . 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.The doctoral college is designed to educate the next generation of experts on Automated Reasoning. It targets foundational questions such as rigorously defining the notion of safety and security across domains and applications, the development of automated techniques and analyses to ensure safety and security of electronic systems, and explores synergies between the fields of security and artificial intelligence (see our ).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 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

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.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 May 18th, 2025.
ATTENTION: Please indicate in your motivation letter for which of the research project(s) you are applying!Applications must include the following documents:

• A CV based on the

including publications, conference contributions, and other scientific activities (if applicable) * A cover letter providing a list of 3 preferred topics from the list of
(please rank and give motivation for your choices) * A one-page summary of the diploma/master thesis (+add more documents)

• A copy of Transcripts of records of the Bachelor’s- and Master’s degrees (+add more documents)
• English language certificate (TOEFL or similar), unless the candidate’s Bachelor’s or Master’s program was in English (+add more documents)
• Two letters of recommendation (e.g., by your master’s thesis advisor) (+add more documents)

After the initial screening process, selected applicants will be invited to give a brief presentation (either in person or online) of their previous research. Additionally, the selected candidates will have to give a presentation on an article relevant to their selected PhD project. The article will be sent to the selected candidates one week prior to the hearings.For further content questions please contact the College Coordinator Olha Denisova or one of the faculty members.

Expected salary

Location

Wien

Job date

Fri, 28 Mar 2025 04:24:30 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (jobsjobs.org) you saw this job posting.