01069 Dresden - Deutschland
Beschreibung
Die Technische Universität Dresden (TUD) zählt als Exzellenzuniversität zu den leistungsstärksten Forschungseinrichtungen Deutschlands. Sie begreift Diversität als kulturelle Selbstve...
Vollständige Beschreibung anzeigen:
Arbeitgeber: Technische Universität Dresden
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). 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. 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
Ref-Nr.: 13920231
Aktualisiert:
13.10.2026
Quelle: Bundesagentur für Arbeit
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
Passende Jobvorschläge
Basierend auf Beruf und Standort
Basierend auf Beruf und Standort
Passende Jobs für dich
Kostenlose Hilfe für deine Bewerbung
Erstelle ein kostenloses Bewerberprofil und erhalte unser E-Book
"Die perfekte Bewerbung" – plus weitere Vorteile für deine Jobsuche.
Gratis E-Book: Die perfekte Bewerbung
Werde von Arbeitgebern gefunden
Passende Jobvorschläge nach Beruf & Stadt
Jobs speichern & später bewerben
Kostenlos & unverbindlich - Keine Werbung - Account jederzeit löschbar
Die Bewerbung erfolgt über die Webseite der Bundesagentur für Arbeit (BA).
