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

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 Künstliche Intelligenz, ist an der Professur für Computational Logic im Rahmen des Sonderforschungsbereichs/Transregio 248 „Foundations of Perspicuous Software Systems“ zum 01.01.2027, vorbehaltlich vorhandener Mittel, eine Stelle alswiss. Mitarbeiterin bzw. Mitarbeiter / Doktorandin bzw. Doktorand / PostDoc (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/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 (http://www.perspicuous-computing.science/) . Als Mitglied der TUD werden Sie Teil eines erfolgreichen, interdisziplinären und internationalen Teams erfahrener Forschender.Aufgaben:Die wesentlichen Aufgaben der Stelle sind die wiss. Erforschung und die Entwicklung von Methoden zur strukturierten, interaktiven Revision von Wissensbasen und Ontologien, von den theoretischen Grundlagen über komplexitätstheoretische Bewertung bis hin zur Implementierung und Evaluation. Ein besonderer Schwerpunkt liegt hierbei auf Grundlagenforschung im Bereich beschreibungslogischer und regelbasierter Ontologiesprachen und deren Erweiterung zur Beschreibung kontextualisierten Wissens mithilfe von Standpunktlogik.Voraussetzungen: - wiss. Hochschulabschluss, ggf. mit Promotion in der Fachrichtung Informatik oder verwandt- vertiefte Kenntnisse in Theoretischer Informatik, vorzugsweise in Wissensrepräsentation 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- Deutschkenntnisse auf mittlerem Niveau (ab Niveau B1 nach GER) erwünschtWir 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 VBLDie 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 (Anschreiben, Lebenslauf, Hochschulzeugnisse und Notenübersichten, bei Bewerbung als Postdoc zusätzlich Publikationsliste) bis zum 05.11.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 (https://securemail.tu-dresden.de/) als ein PDF-Dokument an [email protected] (https://mailto:[email protected]) bzw. an:TU Dresden, Professur für Computational Logic, Herrn Prof. Dr. Sebastian Rudolph, 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) .Ergänzende Informationen:Anforderungen an den Bewerber: Grundkenntnisse: MathematikErweiterte Kenntnisse: Theoretische Informatik, Forschung, Entwicklung