University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate in Computational Logic or Applications of Reasoning to Data Management (2 posts)

Applications for this vacancy closed on 7 January 2019 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We have an exciting new opening for a Research Associate to work with Professor Michael Benedikt on computational logic or applications of reasoning to data management. The foundational component of the project includes the study of decidability and complexity of guarded logics, interpolation and Beth definability for guarded logics, proof systems for guarded logics and connections between automata theory and guarded logics. The project also includes applications in data management, including the analysis of privacy and its connection to logic, and the synthesis of database implementations from specifications.</p><br> <p>You will be expected to conduct original research either in computational logic or applications of reasoning to data management: the former would include analysing the decidability and complexity of guarded logics, studying interpolation via proof-theoretic or automata-theoretic means; the latter will involve applications of reasoning to data management practice.<br> <br>You should have a first degree, together with a doctoral degree in computer science or related discipline (or be close to completion) and a record of research in either computational logic or data management. All fields of computational logic will be considered, and applied researchers working broadly on data integration with an interest in reasoning are also encouraged to apply. Experience of working in collaborative or interdisciplinary environment, and programming experience (preferably in Java) is highly desirable.</p><br> <p>The closing date for applications is 12.00 noon on 7 January 2019.</p><br> <p>Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.</p> </div>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-01-07 12:00:00+00:00
vacancy:applicationOpeningDate
2018-12-07 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
We have an exciting new opening for a Research Associate to work with
Professor Michael Benedikt on computational logic or applications of reasoning
to data management. The foundational component of the project includes the
study of decidability and complexity of guarded logics, interpolation and Beth
definability for guarded logics, proof systems for guarded logics and
connections between automata theory and guarded logics. The project also
includes applications in data management, including the analysis of privacy
and its connection to logic, and the synthesis of database implementations
from specifications.



You will be expected to conduct original research either in computational
logic ...

We have an exciting new opening for a Research Associate to work with Professor Michael Benedikt on computational logic or applications of reasoning to data management. The foundational component of the project includes the study of decidability and complexity of guarded logics, interpolation and Beth definability for guarded logics, proof systems for guarded logics and connections between automata theory and guarded logics. The project also includes applications in data management, including the analysis of privacy and its connection to logic, and the synthesis of database implementations from specifications.


You will be expected to conduct original research either in computational logic ...

label
Research Associate in Computational Logic or Applications of Reasoning to Data Management (2 posts)
notation
138510
based near
page