Stellenausschreibung12

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Stellenausschreibung für: Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
CLGroup-big.png    DeciGUT-EU-ERC.png


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

wiss. Mitarbeiter/in / Doktorand/in / Postdoc

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

für 4 Jahre, maximal bis zum 30.09.2023 (Beschäftigungsdauer gem. WissZeitVG) zu besetzen. Die Stelle ist für Doktoranden/-innen und Postdocs geeignet. Es besteht die Gelegenheit zur eigenen wiss. Weiterqualifikation (i.d.R. Promotion / 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: Als Mitarbeiter/in im ERC-Projekt erforschen Sie fundamentale Prinzipien für Berechnungs-eigenschaften (Entscheidbarkeit, Komplexität) von Inferenzaufgaben 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 auf internationaler Ebene ist ein zentraler Teil der Arbeit. Von großer Bedeutung für den Erfolg des Projekts ist außerdem ein reger Austausch mit den internationalen Experten auf dem beschriebenen Gebiet. Daher werden die Bereitschaft zu Forschungsaufenthalten und zur aktiven Mitwirkung bei der Organisation von projektbezogenen Workshops erwartet.

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

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


Postdoc-Kandidaten sollten zusätzlich hervorragende Forschungsleistungen in einem der genannten Themen vorweisen. Bewerber/innen sollten ihre Arbeit selbstständig organisieren, gern in Teams arbeiten und fließend Englisch sprechen und schreiben.

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

Ihre vollständigen Bewerbungsunterlagen (einschließlich Motivationsschreiben, Lebenslauf, Erklärung der Forschungsinteressen sowie ggf. Schriftenverzeichnis) 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