Wissenschaftlich Beschäftigte*r

Die Technische Universität Dortmund ist eine dynamische forschungsorientierte Universität mit 17 Fakultäten in den . Auf unserem internationalen Campus leisten rund 6 700 Beschäftigte täglich einen Beitrag, um drängende Fragen der Gegenwart und der Zukunft zu lösen.
Offenheit und Vielfalt prägen nicht nur das Miteinander in Forschung und Lehre, sondern auch in Technik . Am Lehrstuhl 10 der Fakultät für Informatik an der Techni- schen Universität Dortmund und dem Research Center Trustworthy Data Science and Security (https://rc- trust.ai/groups/verification-and-formal-guarantees-of- machine-learning) ist zum nächstmöglichen Zeitpunkt eine Doktorand*innenstelle zunächst befristet für drei Jahre nach Entgeltgruppe E13 TV-L mit 100 % der regelmä- . Eine Beschäftigung in bzw. Reduzierung auf Teilzeit ist grundsätzlich möglich. Die Möglichkeit zur wissenschaftlichen Weiterqualifikation . Die offene Stelle ergänzt unser Team mit Forschung in der Schnittstelle von Logik und maschinellem Lernen, insbe- sondere dem Lernen formaler Spezifikationen (beispiels- weise in Linear-Temporal-Logic oder Computation-Tree- Logic) aus Beispielen.
Anwendungsbereiche dieser For- schung sind das Design und die Verifikation reaktiver und . Eine Liste aktueller und relevanter Publikationen finden Sie unter : ?url=https%3A%2F%2Fdblp.org%2Fpid%2F47%2F6419.html&module=jobs&id=3208814" target="_blank" rel="nofollow">?url=https%3A%2F%2Fdblp.org%2Fpid%2F47%2F6419.html&module=jobs&id=3208814" target="_blank" rel="nofollow">https://dblp.org/pid/­47/6419.html IHRE AUFGABEN:

• Durchführung von Forschung im Gebiet Logik und Ler- nen, sowie die Publikation Ihrer Ergebnisse in inter- . Zeitschriften o Betreuen von Abschlussarbeiten o Unterstützung des Lehrstuhls bei administrativen Tä- tigkeiten WIR BIETEN:
• Ein kollaboratives und unterstützendes Forschungs- umfeld mit einem international renommierten, freundlichen und engagierten Team o Aktive Betreuung und Förderung Ihrer wissenschaft- lichen Entwicklung mit dem Ziel der Promotion o Austausch mit nationalem und internationalem Part- ner*innen und Unterstützung von Reisen zu interna- tionalen Konferenzen o Zugang zu modernsten Forschungseinrichtungen und -ressourcen, einschließlich unseres GPU-Clusters o Eine ausgewogene und familienfreundliche Work- Life-Balance ist uns wichtig; daher bieten wir Optio- nen für flexible Arbeitszeiten oder Teilzeit-Home- office IHRE QUALIFIKATION:
• Hervorragender Master in Informatik, Mathematik oder einem verwandten Studiengang o Hohe Eigenmotivation, analytische Fähigkeiten und Kreativität o Teamorientiertes Arbeiten o Gute Kommunikationsfähigkeiten und sehr gute Eng- lisch-Kenntnisse DAS BRINGEN SIE IDEALERWEISE MIT:
• Kenntnisse in temporalen Logiken und Constraint- Solving o Praktische Erfahrung mit Methoden des maschinellen Lernens Wir fördern Vielfalt und Chancengleichheit.
  Überzeugen Sie uns mit . Bewerbungen von Frauen* werden entsprechend der gesetzlichen Regelungen bevor- . Es wird da-rauf hingewiesen, dass die Bewerbung ge- . Sie sind interessiert? Dann senden Sie uns bitte bis zum 31.03.2026 Ihre Bewerbung (Anschreiben, Lebenslauf und Zeugnisse) .-Nr. w10-26 Technische Universität Dortmund Prof. Dr. Daniel Neider Fakultät für Informatik Lehrstuhl 10 . 25 44227 Dortmund Fragen? Beantwortet Ihnen Prof. Neider gerne unter Tel.: 0231 755- 7802 oder unt er jobs-reliable-airc-trust.ai Wissenschaftlich Beschäftigte*r, E13 TV-L