PhD in Knowledge Representation and Reasoning KU Leuven Informatics Section Belgium

PHD IN KNOWLEDGE REPRESENTATION AND REASONING



The Knowledge Representation and Reasoning (KRR) research group at the Department of Computer Science, Faculty of Engineering of the KU Leuven has an open position for a PhD student. . The group of prof. Marc Denecker and prof. Gerda Janssens works on formal Knowledge Representation languages (KR) and the development of Knowledge Base Systems (KB). The aim is to develop knowledge intensive applications by expressing expert domain knowledge in a Knowledge Base, and solve different computational problems that arise in the domain by applying suitable forms of inference to the KB. The promise of this method is to reduce the effort of building and maintaining such applications with a factor 20..., 50 times. The group designs KR languages and develops the Knowledge Base system IDP. It also uses other state of the art technology (e.g., systems from Answer Set Programming, Constraint Programming, Sat Modulo Theory systems such as Z3). For candidates from KU Leuven: the vision of the research group is presented in courses such as Modelling of Complex Systems and Declarative Languages of the Master in Computer Science.

 

Project

Your PhD research will cover the following topics.  You will learnformal and informal aspects of KR languages. You will learn about
 implementation of inference techniques for KB systems. You will use such tools to develop  KB solutions for knowledge intense business and legalapplications. Much focus  will be on interactive applications where many functionalities are required and  a range of interesting inference tasks arise. You will design new language constructs to improve KR in these fields. You will develop tools that help domain experts in expressing their knowledge in natural but formally precise way.

Profile

Applicants should have or expect to receive a Master of Science degree in a computer science or mathematics discipline, and have a strong interest in topics such as formal specification, formal logic,declarative problem solving, programming, etc. 
In addition to the formal qualifications, selection is also based on the performance of the candidates in other works (e.g. thesis and advanced level courses), as well as through interviews and assignments.Besides good subject knowledge, emphasis will be on creative thinking,motivation, ability to cooperate, initiative to work independently and personal suitability for research training.

Offer

A full time PhD scholarship of 1 year, extendible until max. 4 year (which is sufficient to complete your PhD at KU Leuven).

You will be supported by a strong team of excellent researchers, and be motivated and challenged to deliver excellent research results, and become a KB expert.

A stimulating environment at Europe's most innovative university, in a well-equipped, experienced and internationally oriented research unit. 

The research will be based at the Department of Computer Science at the Arenberg Campus in Heverlee (close to the center of Leuven). 

 
 

Interested?

Please add the transcripts of your (bachelor and master) diplomas to your application.
 
 
For more information please contact Prof. dr. Marc Denecker, tel.: +32 16 32 75 57, mail: marc.denecker@kuleuven.be or Prof. dr. ir. Gerda Janssens, tel.: +32 16 32 76 34, mail: gerda.janssens@kuleuven.be.
 

You can apply for this job no later than September 30, 2019 via the online application tool


KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://computeroxy.com/phd-in-knowledge-representation-and-reasoning,i7920.html">

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions