Gestern veröffentlicht

University Assistant Post-Doc (all genders)

University Assistant Post-Doc (all genders)

University Assistant Post-Doc (all genders)

University Assistant Post-Doc (all genders)

Technische Universität Wien

Forschung

Wien

  • Art der Anstellung: Vollzeit
  • Vor Ort
  • Zu den Ersten gehören

University Assistant Post-Doc (all genders)

Über diesen Job

40 hours/week limited to 1 year

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 post-doc (all genders) limited to expected 1 year for 40 hours/week. Expected start: September 2025.

Tasks:

  • Representation, verification, and visualization of automated reasoning methods and tools
  • Web-based platform development and maintainance for automated reasoning documentation, in particular of the Vampire prover
  • Data cluster setup and maintenance for automated reasoning and large-scale reasoning experiments
  • Combining first-order theorem proving and Vampire with reinforcement learning and LLMs
  • Advanced data structures, algorithms and input standard for typed first-order logics
  • Deep interest in scientific problems and independent goal-oriented research developments
  • Participation and support in teaching and supervision of students in automated reasoning subjects
  • The ability to develop methods, concepts, as well as their realization and evaluation and the willingness to contribute in interdisciplinary scientific projects
  • Participation in organizational and administrative tasks of the research division and the faculty

Your profile:

  • Completion of doctorate in computer science and in-depth knowledge of automated reasoning, typed first-order logics and ML
  • Experience in international research cooperation, in particular within the TPTP input standard
  • Experience is software engineering, data maintenance and the TPTP project
  • Experience in visualisation tools for automated reasoning engines
  • Experience and/or interest in student supervision
  • Organizational and analytical skills as well as a structured way of working
  • Excellent command of the English language and very good communicative skills and team competences

We offer:

  • A wide variety and exciting range of tasks in a collegial team
  • Flexibility in working time arrangements
  • A range of attractive social benefits (see Fringe-Benefits )
  • Wide range of internal and external training opportunities, various career options
  • Central location of workplace as well as good accessibility (U1/U4 Karlsplatz)


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 4,932.90/month gross, 14 times/year for 40 hours/week. Relevant working experiences may increase the monthly income.

We look forward to receiving your application until August 14th, 2025.

Apply now ?url=https%3A%2F%2Fjobs.tuwien.ac.at%2FRegister%2F255265&module=jobs&id=46725" target="_blank" rel="nofollow"> ?url=https%3A%2F%2Fjobs.tuwien.ac.at%2FRegister%2F255265&module=jobs&id=46725" target="_blank" rel="nofollow">https://jobs.tuwien.ac.at/Register/255265

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 .

Technology for People

Furthermore, please note that applicants will not normally be reimbursed for travel costs incurred in connection with this admission process.


Ähnliche Jobs

PHD POSITION (f/m/x)

Wien

Österreichische Akademie der Wissenschaften

39.000 €45.000 €

Vor 21 Tagen veröffentlicht

PHD POSITION (f/m/x)

Wien

Österreichische Akademie der Wissenschaften

39.000 €45.000 €

Vor 21 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befrist

Wien

Fachhochschule Technikum Wien

43.000 €56.000 €

Vor 12 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befrist

Wien

Fachhochschule Technikum Wien

43.000 €56.000 €

Vor 12 Tagen veröffentlicht

EXPERT (F/M/D) AI KNOWLEDGE TRANSFER

Wien

Österreichische Akademie der Wissenschaften

Vor über 30 Tagen veröffentlicht

EXPERT (F/M/D) AI KNOWLEDGE TRANSFER

Wien

Österreichische Akademie der Wissenschaften

Vor über 30 Tagen veröffentlicht

Postdoc Research Group Chatterjee

Klosterneuburg

Institute of Science and Technology Austria (ISTA)

46.500 €50.500 €

Vor 17 Tagen veröffentlicht

Postdoc Research Group Chatterjee

Klosterneuburg

Institute of Science and Technology Austria (ISTA)

46.500 €50.500 €

Vor 17 Tagen veröffentlicht

Unternehmens-Details

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

Unternehmenskultur

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

Mehr Infos anzeigen

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

Ähnliche Jobs

PHD POSITION (f/m/x)

Wien

Österreichische Akademie der Wissenschaften

39.000 €45.000 €

Vor 21 Tagen veröffentlicht

PHD POSITION (f/m/x)

Wien

Österreichische Akademie der Wissenschaften

39.000 €45.000 €

Vor 21 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befrist

Wien

Fachhochschule Technikum Wien

43.000 €56.000 €

Vor 12 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befrist

Wien

Fachhochschule Technikum Wien

43.000 €56.000 €

Vor 12 Tagen veröffentlicht

EXPERT (F/M/D) AI KNOWLEDGE TRANSFER

Wien

Österreichische Akademie der Wissenschaften

Vor über 30 Tagen veröffentlicht

EXPERT (F/M/D) AI KNOWLEDGE TRANSFER

Wien

Österreichische Akademie der Wissenschaften

Vor über 30 Tagen veröffentlicht

Postdoc Research Group Chatterjee

Klosterneuburg

Institute of Science and Technology Austria (ISTA)

46.500 €50.500 €

Vor 17 Tagen veröffentlicht

Postdoc Research Group Chatterjee

Klosterneuburg

Institute of Science and Technology Austria (ISTA)

46.500 €50.500 €

Vor 17 Tagen veröffentlicht

Tenure-Track Professorship in Computational Statistics and Data Analysis

Wien

Universität Wien

43.000 €50.500 €

Vor 15 Tagen veröffentlicht

Tenure-Track Professorship in Computational Statistics and Data Analysis

Wien

Universität Wien

43.000 €50.500 €

Vor 15 Tagen veröffentlicht

EXPERT (F/M/D) AI COLLABORATION

Wien

Österreichische Akademie der Wissenschaften

51.500 €58.000 €

Vor über 30 Tagen veröffentlicht

EXPERT (F/M/D) AI COLLABORATION

Wien

Österreichische Akademie der Wissenschaften

51.500 €58.000 €

Vor über 30 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befristet bis 31.08.2027)

Wien

FH Technikum Wien

Vor 14 Tagen veröffentlicht

Lecturer/Researcher für Artificial Intelligence im Projekt GAIN (m/w/d, Teil- oder Vollzeit, befristet bis 31.08.2027)

Wien

FH Technikum Wien

Vor 14 Tagen veröffentlicht

Modellgutachter:in

Wien

Copyright © 2020 Oesterreichische Nationalbank

Vor über 30 Tagen veröffentlicht

Modellgutachter:in

Wien

Copyright © 2020 Oesterreichische Nationalbank

Vor über 30 Tagen veröffentlicht

Expert (f/m/d) AI Collaboration

Wien

AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH

51.500 €66.000 €

Vor 18 Tagen veröffentlicht

Expert (f/m/d) AI Collaboration

Wien

AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH

51.500 €66.000 €

Vor 18 Tagen veröffentlicht

Externes Job-Angebot. Partner-Angebot

Assistant/Associate Professor Department of Computer Science

Wien

Webster Vienna Private University

Vor 2 Stunden veröffentlicht

Externes Job-Angebot. Partner-Angebot

Assistant/Associate Professor Department of Computer Science

Wien

Webster Vienna Private University

Vor 2 Stunden veröffentlicht

Externes Job-Angebot. Partner-Angebot

Universitätsassistent*in Postdoc

Wien

Universität Wien

Vor 10 Stunden veröffentlicht

Externes Job-Angebot. Partner-Angebot

Universitätsassistent*in Postdoc

Wien

Universität Wien

Vor 10 Stunden veröffentlicht

Externes Job-Angebot. Partner-Angebot

Assistant Professorship (all genders) - Tenure Track of Machine Learning for Cyber-Physical Systems

Wien

Technische Universität Wien

46.500 €62.000 €

Vor 18 Stunden veröffentlicht

Externes Job-Angebot. Partner-Angebot

Assistant Professorship (all genders) - Tenure Track of Machine Learning for Cyber-Physical Systems

Wien

Technische Universität Wien

46.500 €62.000 €

Vor 18 Stunden veröffentlicht

Technician / Data Manager

Wien

Universität Wien

Vor 18 Tagen veröffentlicht

Technician / Data Manager

Wien

Universität Wien

Vor 18 Tagen veröffentlicht