Navigation überspringen

Vor 2 Tagen

PhD positions on Automated Reasoning

PhD positions on Automated Reasoning

  • Wien
  • Vollzeit
Vor OrtZu den Ersten gehören

PhD positions on Automated Reasoning

Über diesen Job

10 PhD positions on Automated Reasoning

Technische Universität Wien
Erschienen
Arbeitsort Wien , Wien , Österreich
Kategorie
Innovation
Informatik
Funktion
Forschende (Junior) / Doktorand.in
TU-ID: 056 limited to 4 years 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.

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 doctoral college on Automated Reasoning . 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 list of potential research topics ).

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


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 Europass template including publications, conference contributions, and other scientific activities (if applicable)
  • A cover letter providing a list of 3 preferred topics from the list of research projects (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 olha.denisova @ tuwien.ac.at or one of the faculty members.

?url=https%3A%2F%2Fjobs.tuwien.ac.at%2FRegister%2F249889&module=jobs&id=45285" target="_blank" rel="nofollow"> ?url=https%3A%2F%2Fjobs.tuwien.ac.at%2FRegister%2F249889&module=jobs&id=45285" target="_blank" rel="nofollow">https://jobs.tuwien.ac.at/Register/249889

Ähnliche Jobs

PhD Positions Institute for Advanced Studies Vienna

Wien

Humboldt Humboldt Universität zu Berlin

Gestern

POSTDOC (F/M/X) in satellite laser ranging

Wien

Österreichische Akademie der Wissenschaften

Vor 30+ Tagen

Senior Reseacher - AI, Computer Science

Wien

FH Campus Wien

46.500 €63.000 €

Vor 3 Tagen

PRAEDOC DISS (F/M/X) in the Transfer Group

Wien

Österreichische Akademie der Wissenschaften

39.000 €57.500 €

Vor 28 Tagen

Unternehmensdetails

company logo

Technische Universität Wien

Forschung

1.001-5.000 Mitarbeitende

Bewertung von Mitarbeitenden

Vorteile für Mitarbeitende

Flexible Arbeitszeiten
Home-Office
Kantine
Restaurant-Tickets
Kinderbetreuung
Betriebliche Altersvorsorge
Barrierefreiheit
Gesundheitsmaßnahmen
Betriebsarzt
Training
Parkplatz
Günstige Anbindung
Vorteile für Mitarbeitende
Firmenwagen
Smartphone
Gewinnbeteiligung
Veranstaltungen
Privat das Internet nutzen
Hunde willkommen

Unternehmenskultur

Technische Universität Wien

Branchen-Durchschnitt

Unternehmenskultur

292 Mitarbeitende haben abgestimmt: Sie bewerten die Unternehmenskultur bei Technische Universität Wien als modern. Dies stimmt in etwa mit dem Branchen-Durchschnitt überein.

Mehr Infos anzeigen

Wir benachrichtigen Dich gerne über ähnliche Jobs in Wien:

Ähnliche Jobs

PhD Positions Institute for Advanced Studies Vienna

Wien

Humboldt Humboldt Universität zu Berlin

Gestern

POSTDOC (F/M/X) in satellite laser ranging

Wien

Österreichische Akademie der Wissenschaften

Vor 30+ Tagen

Senior Reseacher - AI, Computer Science

Wien

FH Campus Wien

46.500 €63.000 €

Vor 3 Tagen

PRAEDOC DISS (F/M/X) in the Transfer Group

Wien

Österreichische Akademie der Wissenschaften

39.000 €57.500 €

Vor 28 Tagen

Research Engineer (f/m/d) for Quantum Cryptography Software Development

Wien

AIT Austrian Institute of Technology

Vor 30+ Tagen

Postdoc Research Group Locatello

Klosterneuburg

Institute of Science and Technology Austria (ISTA)

47.000 €66.000 €

Vor 30+ Tagen

Researcher Lecturer in Applied Data Science (all genders) Full-time (40 h/w) in Vienna, Austri

Wien

Modul University Vienna GmbH

Vor 17 Tagen

Scientist (f/m/d) for System Transition Modelling - Policy (Full time / Part-Time: 25+ hours / week)

Wien

Austrian Institute of Technology

Vor 2 Tagen

POSTDOC POSITION (F/M/X) in the area of Music Information Retrieval/Optical Music Recognition

Wien

Österreichische Akademie der Wissenschaften

Vor 21 Tagen

POSTDOC (F/M/X) in exoplanet atmospheres science

Wien

Österreichische Akademie der Wissenschaften

Vor 30+ Tagen

POSTDOC (F/M/X) in the Optimization and Optimal Control Group

Wien

Österreichische Akademie der Wissenschaften

Vor 13 Tagen

POSTDOC (F/M/X) for Physics Analysis with the CMS experiment

Wien

Österreichische Akademie der Wissenschaften

Vor 13 Tagen

PREDOCS (F/M/X)

Wien

Österreichische Akademie der Wissenschaften

Vor 29 Tagen