PhD student position & postdoctoral position on foundations of knowledge graphs, Stuttgart (Germany)

The Analytic Computing research group at University of Stuttgart invites applications for two positions related to research about foundations of knowledge graphs:
 - 1 PostDoc/Project leader (TV-L E14) researching foundations of knowledge graphs, especially querying and reasoning, possibly also machine learning. Doctoral degree required. Candidates close to finishing their doctorate are encouraged to apply.
 - 1 Ph.D. student position (TV-L E13) researching querying and reasoning on knowledge graphs. No machine learning, but formal method approaches only!
Late applications will be considered until the position is filled.