PhD Studentship at UCL in Logic-based Knowledge Representation and Reasoning

PHD STUDENTSHIP AT UCL IN LOGIC-BASED KNOWLEDGE REPRESENTATION AND REASONING

Duration of Studentship: 3 years full-time

Stipend: £15,863 + fees

The Department of Information Studies at University College London (UCLDIS)
invites applications for a three year fully funded research studentship in
the area of Knowledge Representation and Reasoning.

UCL, based in the heart of London, is consistently ranked as one of the
World's top universities. It has a strong culture and tradition of
interdisciplinary research, which is one of the factors in it currently
attracting more research funding than any other UK university. UCLDIS is a
multidisciplinary department, with research and teaching programmes across
a broad spectrum of information-related subject areas such as library
studies, archive studies, publishing, digital humanities, information
management, computing and artificial intelligence. It has four distinct
research groups, including the Knowledge Organization and Representation
Group (KOARG,http://www.ucl.ac.uk/dis/research/koarg) which has a focus on
the theoretical aspects and development of knowledge- and logic-based
systems.

Studentship Description

The broad aim of the studentship will be to further research in the general
area of logic-based knowledge representation and reasoning. The research
will be co-supervised by Dr Rob Miller and Dr Antonis Bikakis, and so
proposals for research that match with the particular interests of these
individuals are particularly welcome. These interests include Reasoning
about Actions, Commonsense Reasoning, Argumentation, Nonmonotonic
Reasoning, Defeasible Reasoning, Logic Programming and Ambient
Intelligence. Following normal UCL procedure, initial registration will be
for the degree of MPhil with an expectation that the student will
successfully upgrade to PhD registration in their second year. It is
expected that the studentship will commence on 1 October 2014, although
other start dates are possible. It will include full payment of UK/EU fees
and an annual stipend as specified above.

Person Specification

Applicants should have a masters-level degree in an area related to
computer science, mathematics or logic, an interest in the research areas
mentioned above, and good written, communication, and organisational
skills. A familiarity with logic-based knowledge representation and
reasoning and/or knowledge-based systems would be an asset.

Eligibility and Application Procedure

Due to financial constraints on the level of fees included in the
studentship, applications are restricted to candidates from the UK or other
EU countries. General information for doctoral applicants is available on
the DIS webpages at:http://www.ucl.ac.uk/dis/phd. There will be a two stage
application process for this scholarship. In the first instance,  please
email a full CV, including the names and contact details of two referees,
and a statement of proposed research (not exceeding 750 words) to Kerstin
Michaels (k.michaels@ucl.ac.uk).

For further details of the studentship or an informal discussion please
contact DrRob Miller (r.s.miller@ucl.ac.uk)) or Dr Antonis Bikakis (
a.bikakis@ucl.ac.uk).


Closing Date: 23 May 2014

Latest time for the submission of applications: 17.00

Studentship Start Date: 1 October 2014

See link: www.ucl.ac.uk/dis/Research-studentships