wiss. Mitarbeiterin bzw. Mitarbeiter / Doktorandin bzw. Doktorand / PostDoc (m/w/d)
Core
Research and development of methods for structured, interactive revision of knowledge bases and ontologies, focusing on description logic and rule-based ontology languages with standpoint logic.
Role type
Research scientist / Postdoc in Computational Logic and Knowledge Representation
Builds
Theoretical foundations and implementations for perspicuous software systems
Domain
Computer Science, Artificial Intelligence, Logic, Knowledge Representation
Deliverable
production ML models | research
Required skills
Theoretical Computer Science, Knowledge Representation, Logic, Mathematics, Programming
Preferred skills
Experimental tasks, Standpoint logic
Technologies
Description logics, Rule-based ontology languages, Standpoint logic
Responsibilities
Research theoretical foundations of explanation for system behavior, Develop methods for interactive revision of knowledge bases and ontologies, Implement and evaluate proposed methods, Extend ontology languages with standpoint logic
Seniority
Senior, hands-on IC
