Open positions: 1 PostDoc & 1 PhD student in Formal Methods for Knowledge Representation & Reasoning

The Analytic Computing research group at University of Stuttgart invites applications for two positions:

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!

Apply by July 15. Late applications will be considered until the position is filled.

Please find all the details required for applying at: 
https://www.ipvs.uni-stuttgart.de/departments/ac/department/open-positions/ <https://www.ipvs.uni-stuttgart.de/departments/ac/department/open-positions/>

DO NOT APPLY FOR THESE POSITIONS IF YOU WANT TO DO MACHINE LEARNING / DEEP LEARNING!

__________________________________
Prof. Dr. Steffen Staab
Cyber Valley Endowed Chair for Analytic Computing
Institute for Parallel and Distributed Systems
Universität Stuttgart
https://www.ipvs.uni-stuttgart.de/departments/ac/ <https://www.ipvs.uni-stuttgart.de/departments/ac/>