Stellenausschreibung10
Stellenausschreibung für: Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
- Forschungsgruppe: Computational Logic
- Kontaktperson: Sarah Gaggl
- Bewerbungsfrist: 12. Februar 2019
wiss. Mitarbeiter/in / Doktorand/in / Postdoc
(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L: Gehaltstabelle)
bis zum 31.12.2022 (Beschäftigungsdauer gem. WissZeitVG) mit dem Ziel der eigenen wiss. Weiterqualifikation (i.d.R. Promotion / Habilitation) zu besetzen. Die Vereinbarkeit von Familie und Beruf hat einen hohen Stellenwert. Die Stelle ist grundsätzlich auch für Teilzeitbeschäftigte geeignet. Eine Teilzeitbeschäftigung mit 50% der regelmäßigen wöchentlichen Arbeitszeit ist möglich.
Der Informatik-SFB/Transregio 248 legt die fundamentalen wiss. Grundlagen für cyberphysikalische 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.
Aufgaben: In den Teilprojekten C2 und E3 des Sonderforschungsbereichs erforschen Sie neuartige Methoden im Gebiet der Abstrakten Argumentation und des Nicht-Monotonen Schließens. Sie arbeiten an einer oder mehrerer der folgenden Aufgaben: Komposition und Kompatibilität von Komponenten; dynamische Aspekte von Argumentation; quantitative Aspekte von Argumentation; Entwicklung einer dialektischen Semantik zur Begründung von Ereignissen; Implementierung von Prototypen und deren empirische Evaluation. Es handelt sich um eine stark forschungsorientierte Stelle. Die Publikation und Präsentation von Ergebnissen auf internationaler Ebene ist ein wichtiger Teil der Arbeit.
Voraussetzungen: Wir suchen motivierte und talentierte Mitarbeiter/innen mit sehr gutem wiss. HSA (M.Sc. oder äquivalent) in Informatik oder einem verwandten Gebiet, ggf. Promotion und Kenntnissen in einem oder mehreren der folgenden Themen:
- Künstliche Intelligenz, speziell Wissensrepräsentation und logisches Schließen
- Argumentationstheorie, Abstrakte Argumentation, Abstract Dialectical Frameworks
- Nicht-Monotones Schließen, Answer-Set Programming
Postdocs sollen eine hervorragende Forschungsleistung in einem der genannten Themengebiete vorweisen. Bewerber/innen sollen ihre Arbeit selbständig organisieren, gern in Teams arbeiten und fließend Englisch sprechen und schreiben.
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 des SFB/TR 248 und der TU Dresden, einer der führenden deutschen Forschungsuniversitäten. Dresden ist eine lebenswerte Stadt mit reicher Kultur und Natur.
Frauen sind ausdrücklich zur Bewerbung aufgefordert. Selbiges gilt auch für Menschen mit Behinderungen.
Ihre vollständigen Bewerbungsunterlagen (einschließlich des Lebenslaufs und einer Erklärung der Forschungsinteressen) senden Sie bitte bis zum 12.02.2019 (es gilt der Poststempel der ZPS der TU Dresden) bevorzugt über das SecureMail Portal der TU Dresden als ein PDF-Dokument an Sarah Gaggl bzw. an: TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, z. Hdn. Frau Dr. Sarah Gaggl, Helmholtzstr. 10, 01069 Dresden. Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.
