wiss. Mitarbeiterin bzw. Mitarbeiter / Doktorandin bzw. Doktorand / PostDoc (m/w/d)

## 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 **3** (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](https://securemail.tu-dresden.de/) als ein PDF–Dokument an [****](https://mailto:) 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](https://tu-dresden.de/karriere/datenschutzhinweis).

Wir zeigen einen Auszug und einen Link je Anzeige, und den vollen Text, wenn die Quelle es erlaubt. Genannte Marken und Logos gehören ihren Inhabern.

Quelle: Statistisches Bundesamt (Destatis), Tabelle; dl-de/by-2-0; eigene Berechnung

Veröffentlicht am 01. Nov. 2026