Stellenausschreibung11

Stellenausschreibung für: Wissenschaftliche(r) Assistent(in) / Projektleiter(in) / Habilitand(in)

Forschungsgruppe: Computational Logic
Kontaktperson: Sebastian Rudolph
Bewerbungsfrist: 31. Mai 2019

An der Professur für Computational Logic ist im Rahmen des ERC Consolidator Grant „A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation (DeciGUT)“ zum nächstmöglichen Zeitpunkt eine Stelle als

leitende(r) wiss. Mitarbeiter/in / Postdoc

(bei Vorliegen der persönlichen Voraussetzungen E 14 TV-L: Gehaltstabelle)

bis zum 30.09.2023 (Beschäftigungsdauer gem. WissZeitVG) zu besetzen. Es besteht die Gelegenheit zur eigenen wiss. Weiterqualifikation (i.d.R. Habilitation). Die Vereinbarkeit von Familie und Beruf hat einen hohen Stellenwert. Die Stelle ist grundsätzlich auch für Teilzeitbeschäftigte geeignet. Eine Teilzeitbeschäftigung zu 50% der regelmäßigen wöchentlichen Arbeitszeit ist möglich. Ziel des ERC-Projekts DeciGUT ist die Schaffung einer vereinheitlichten, modelltheoretischen Grundlage für Entscheidbarkeit, welche dann wiederum die Definition neuer, noch ausdrucks-stärkerer aber entscheidbarer Wissensrepräsentationssprachen ermöglichen wird. Die untersuchten Formalismen umfassen Beschreibungslogiken, Regelsprachen sowie allgemein Fragmente der Prädikatenlogik erster und höherer Stufe. Das Projekt ist damit von hoher Relevanz für diverse Wissenschaftsfelder wie künstliche Intelligenz, Datenbanktheorie und mathematische Logik mit potenziell weitreichenden praktischen Auswirkungen, etwa in den Bereichen Semantische Technologien und Informationssysteme. Als Mitglied der Professur für Computational Logic werden Sie Teil eines erfolgreichen Teams begeisterter Forscher/innen verschiedenster Hintergründe. Sie arbeiten im inspirierenden Umfeld eines prestigeträchtigen ERC Grants an der TU Dresden, einer der führenden deutschen Forschungsuniversitäten. Dresden ist eine lebenswerte Stadt mit reicher Kultur und Natur.

Aufgaben: Im ERC-Projekt obliegt Ihnen Koordinations- und leitende Forschungstätigkeit zu funda-mentale Prinzipien für Berechnungseigenschaften (Entscheidbarkeit, Komplexität) von Infe-renzaufgaben im Bereich Wissensrepräsentation. Es handelt sich um eine stark forschungsorientierte Stelle mit theoretischer Ausrichtung. Publikation und Präsentation von Ergebnissen in hochrangigen Zeitschriften und auf renommierten Konferenzen sind zentraler Teil Ihrer Arbeit. Von großer Bedeutung für den Erfolg des Projekts ist außerdem ein reger Austausch mit internationalen Experten auf dem beschriebenen Gebiet. Daher erwarten wir von Ihnen die Bereitschaft zu Forschungsaufenthalten und zur Organisation von projektbezogenen Workshops.

Voraussetzungen: Wir suchen erfahrene motivierte und talentierte Mitarbeiter/innen mit sehr gutem wiss. HSA (M.Sc. oder äquivalent) in Informatik, Mathematik oder einem verwandtem Gebiet, Promotion und Kenntnissen in einem oder mehreren der folgenden Themen:

künstliche Intelligenz, Wissensrepräsentation und logisches Schließen
mathematische Logik, Modelltheorie, Algebra
Datenbanktheorie

Sie sollten über ausgewiesene Expertise in mindestens einem dieser Themengebiete verfü-gen (dokumentiert durch hervorragende Forschungsleistungen), gewohnt sein, Ihre Arbeit selbstständig zu organisieren, und gern Doktoranden und Masterstudenten betreuen. Teamfähigkeit sowie verhandlungssicheres Englisch in Wort und Schrift werden vorausgesetzt.

Frauen sind ausdrücklich zur Bewerbung aufgefordert. Selbiges gilt auch für Menschen mit Behinderungen.

Ihre vollständigen und aussagekräftigen Bewerbungsunterlagen (einschließlich Motivationsschreiben, Lebenslauf mit Publikationsverzeichnis und eine Darstellung Ihrer Forschungsinteressen) senden Sie bitte bis zum 30.05.2019 (es gilt der Poststempel der ZPS der TU Dresden, später eingehende Bewerbungen werden berücksichtigt, bis die Stelle besetzt ist) bevorzugt über das SecureMail Portal der TU Dresden als ein PDF-Dokument an Sebastian Rudolph bzw. an: TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, 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.

Hinweis zum Datenschutz: Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz finden sie auf der Webseite https://tu-dresden.de/karriere/datenschutzhinweis