wiss. Mitarbeiterin bzw. Mitarbeiter / Doktorandin bzw. Doktorand / PostDoc (m/w/d)
TU Dresden, Germany
- Institution
- TU Dresden
- Country
- Germany
- Position type
- Postdoc
- Subject area
- Computer Science & AI
- Application deadline
- 30 October 2026
- Location
- Dresden, Sachsen, DE
- Funding
- Fully funded position
Want to be the strongest applicant for this position?
Book a free 15-minute call with our team. We will look at your profile against what TU Dresden is actually looking for, and tell you honestly where you stand and what to strengthen before you apply.
Book a free call about this position →No cost, no obligation. Mentors who have secured funded PhD positions themselves.
How our PhD admission mentorship works →
We mentor STEM applicants only. If your research aspirations are outside STEM subjects, you're very welcome to use this board and apply directly; we just aren't the right people to mentor you.
About this position
An der Fakultät Informatik, Institut für Theoretische Informatik, ist an der Professur für Algebraische und logische Grundlagen der Informatik im Rahmen des Sonderforschungsbereichs/Transregio 248 „Foundations of Perspicuous Software Systems“ zum 01.01.2027, vorbehaltlich vorhandener Mittel, eine Stelle als
(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L)
bis 31.12.2030 (Beschäftigungsdauer gemäß WissZeitVG) zu besetzen. Es besteht die Gelegenheit zur eigenen wissenschaftlichen Weiterqualifikation (i. d. R. Promotion/Habilitation).
Der Informatik-SFB/Transregio 248 legt die fundamentalen wissenschaftlichen Grundlagen für cyber-physische Systeme der Zukunft, die ihre Funktionalität und ihr Verhalten erläutern (sogenannte Perspicuous Systems). Erforscht wird eine tiefgehende und anwendbare Theorie von Erklärungen aller Facetten des Systemverhaltens sowie deren Erschließung durch visuelle und verbale Erläuterungen für verschiedene Nutzergruppen. Weitere Informationen unter www.perspicuous-computing.science.
Aufgaben: Die wesentlichen Aufgaben der Stelle sind die Erforschung und die Entwicklung von zertifizierenden Verifikationsalgorithmen für stochastische und dynamische Systeme sowie von formalen Methoden für die Erklärbarkeit cyber-physischer Systeme und ihre Umsetzbarkeit.
Voraussetzungen
- wiss. Hochschulabschluss der Fachrichtung Informatik oder verwandt
- vertiefte Kenntnisse in Theoretischer Informatik, vorzugsweise Verifikation, Automatentheorie und Logik
- sehr gute Grundkenntnisse in Mathematik
- strukturierte Arbeitsweise
- Fähigkeit, Projekte selbstständig voranzubringen und mit allen Beteiligten zu kommunizieren
- ausgezeichnetes schriftliches und mündliches Ausdrucksvermögen in Englisch
- gute Programmierkenntnisse und Interesse an experimentellen Aufgaben erwünscht
Wir bieten
- interessante und vielfältige Tätigkeit in einem Forschungsverbund zu einem hochaktuellen Thema
- flexible Arbeitszeiten
- 30 Urlaubstage pro Jahr (innerhalb einer 5-Tage-Woche)
- umfangreiches Angebot zur Fort- und Weiterbildung
- Gesundheitsvorsorge und Sportangebote der TUD
- ermäßigtes Jobticket (auch als Deutschlandticket)
- Teilnahme an der zusätzlichen Altersversorgung im öffentlichen Dienst über die VBL
Die TUD strebt eine Erhöhung des Anteils von Frauen an und bittet diese deshalb ausdrücklich um deren Bewerbung. Die Universität ist eine familiengerechte Hochschule. Bewerbungen schwerbehinderter Menschen sind besonders willkommen. Bei gleicher Eignung werden diese oder ihnen kraft SGB IX von Gesetzes wegen Gleichgestellte bevorzugt eingestellt.
Bewerbung: Ihre aussagekräftige Bewerbung senden Sie bitte mit den üblichen Unterlagen bis zum 30.10.2026 (es gilt der Poststempel der Zentralen Poststelle bzw. der Zeitstempel auf dem E-Mail-Server der TUD) bevorzugt über das SecureMail-Portal der TUD https://securemail.tu-dresden.de als ein PDF–Dokument an professur-alg@tu-dresden.de bzw. an:
TU Dresden, Professur für Algebraische und logische Grundlagen der Informatik, Frau Prof. Dr. Christel Baier, Helmholtzstr. 10, 01069 Dresden.
Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.
Die TUD ist Gründungspartnerin der Forschungsallianz DRESDEN-concept e.V.
Hinweis zum Datenschutz: Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz haben wir auf folgender Webseite für Sie zur Verfügung gestellt:
https://tu-dresden.de/karriere/datenschutzhinweis
Apply directly to TU Dresden
Emerging Scholars Council is not the employer and does not recruit for this position. It is advertised by TU Dresden, and your application goes to them. We help students prepare and strengthen their applications.
Go to the official application page →Applications close 30 October 2026.
Contact listed in the advert
Some positions — especially in Germany, Austria and Switzerland — are filled by writing directly to the supervisor rather than through an online form. These addresses were taken from the advert text, so check them against the official listing before you write.
A cold email to a supervisor is the highest-leverage thing you can send — and the easiest to get wrong. Ask us to look at yours before you hit send.