Informatiker (m/w/d)

Technische Universität Dresden; Dresden; On-site; EUR 52,000 - 70,000; Full time

Benefits offered by this job

flexible Arbeitszeiten

30 Urlaubstage pro Jahr

Fort- und Weiterbildung

Gesundheitsvorsorge und Sportangebote

ermäßigtes Jobticket (Deutschlandt ic

VBL Altersversorgung

Job summary

Die Technische Universität Dresden sucht zur Verstärkung der Professur für Algebraische und Logische Grundlagen der Informatik eine wissenschaftliche Mitarbeiterin bzw. einen wissenschaftlichen Mitarbeiter bzw. Doktorand(in) (m/w/d) bis 31.12.2030.

Es besteht die Möglichkeit zur eigenen wissenschaftlichen Weiterqualifikation, typischerweise Promotion, bei E 13 TV-L. Aufgaben umfassen Forschung und Entwicklung von Verifikationsalgorithmen für stochastische und dynamische Systeme sowie formale

Qualifications

• 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

Responsibilities

• Forschung und Entwicklung von zertifizierenden Verifikationsalgorithmen für stochastische Systeme
• Untersuchung formaler Methoden für Erklärbarkeit cyber-physischer Systeme
• Umsetzbarkeit der Methoden in Praxis überprüfen
• Projektarbeit eigenständig vorantreiben und mit Beteiligten kommunizieren

Skills

Theoretische Informatik

Verifikation

Automatentheorie

Logik

Englisch

Programmierung

Education

Informatik-Hochschulabschluss

Job description

Die Technische Universität Dresden (TUD) zählt als Exzellenzuniversität zu den leistungsstärksten Forschungseinrichtungen Deutschlands. Sie begreift Diversität als kulturelle Selbstverständlichkeit und Qualitätskriterium einer Exzellenzuniversität. Entsprechend begrüßen wir alle Bewerberinnen und Bewerber, die sich mit ihrer Leistung und Persönlichkeit bei uns und mit uns für den Erfolg aller engagieren möchten.

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 wiss. Mitarbeiterin bzw. Mitarbeiter / Doktorandin bzw. Doktorand (m/w/d) (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).

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.

• 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

• 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