Doctoral or postdoctoral researcher (f/m/d): Abstract Argumentation and Non-Monotonic Reasoning

Job advertisement for: research assistant (f/m) / doctoral student (f/m)

Research group: Computational Logic
Contact: Sarah Alice Gaggl
Application deadline: February 12, 2019

The Chair of Computational Logic offers a position as

Research Associate / PhD Student / Postdoc

(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L: see salary table, details subject to personal experience and tax status)

within the Collaborative Research Center CRC/TR 248 „Foundations of Perspicuous Software Systems“ starting on 1st March 2019. The position is fixed-term to 31st December 2022. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz - WissZeitVG). The position aims at obtaining further academic qualification (e.g. Ph.D. or habilitation thesis). Balancing family and career is an important issue. The post is basically suitable for candidates seeking part-time employment. A part-time employment of 50% of the fulltime weekly hours is possible.

The Computer Science CRC/Transregio 248 lays the scientific foundations for the cyber-physical systems of the future, enabling them to explain their functionality and behaviour (so-called Perspicuous Systems). We are researching a foundational and applicable theory of explanations for all facets of system behaviour, as well as visual and verbal elucidation methods for diverse user groups. More information can be found at www.perspicuous-computing.science.

As a member of the Chair of Computational Logic you will be part of a successful team of experienced researchers of many nationalities and backgrounds. You will work in the vibrant scientific environment of the CRC and TU Dresden, one of the leading German research universities. Dresden is a highly livable city with a rich cultural life and beautiful nature.

Tasks: As a member of the project teams in sub-projects C2 and E3 of the Collaborative Research Center, you will be researching new methods in the area of Abstract Argumentation and Non- Monotonic Reasoning. You will be working on one or several of the following tasks: Argumentation for composition and compatibility; Argumentation dynamics; Development of a dialectical semantics to justify conclusions; Prototypical implementation and empirical evaluation. The position is focussed on foundational research. Publication and presentation of research results at international venues is an important part of the work.

Requirements: We are looking for motivated and talented staff members with a very good university degree (M.Sc. or equivalent) in computer science or a related area, if applicable a PhD, and with firm background knowledge in one or more of the following topics:

Artificial Intelligence, especially Knowledge Representation and Reasoning
Argumentation Theory, Abstract Argumentation, Abstract Dialectical Frameworks
Non-monotonic Reasoning, Answer-Set Programming

Postdocs should have made significant research contributions to one of the above areas. Candidates should be independent in organising their work, keen on working with teams of experts across other projects, and fluent in English, oral and written. Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application (including CV and statement of research interest) by 12th of February 2019 (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail Portal by sending it as a single PDF document to Sarah Gaggl or by mail to TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, Frau Dr. Sarah Gaggl, Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimburesed.