Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation
From International Center for Computational Logic
News from the research group Computational Logic of July 8, 2018
Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation
The Chair of Computational Logic offers three positions as
Research Associates (PhD/PostDoc)
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
starting 01.10.2018, 01.04.2019, and 01.10.2019, respectively. Each position is limited for 4 years. The period of employment is governed by Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz-WissZeitVG). The position offers the chance to obtain further academic qualification (e.g. PhD / habilitation thesis).
Tasks:
- scientific research on decidability of logical formalisms in the course of the project “A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation” (DeciGUT) funded by an ERC Consolidator Grant,
- publication and presentation of research results at international conferences,
- co-organisation of project-related workshops,
- mentoring of student theses.
Requirements:
- university degree in Computer Science, Mathematics or related discipline with a specialization in knowledge representation, formal logic and/or algebra,
- experience in conducting independent research work and in student thesis supervision,
- strong teamwork skills and exemplary work ethic.
Applications from women are particularly welcome. The same applies to people with disabilities.
