News: vacancies
The Department of Computer Science has a vacancy for one Postdoctoral Research Assistant in the area of identification and design of tractable languages for ontological query answering with applications in data extraction. The goal of this project is the development of methods and systems for automatically extracting highly structured relevant information for domain-specific Websites (see http://diadem-project.info/ for more information).
The Department of Computer Science at the University of Oxford has a vacancy for a Research Assistant to work with Professor Michael Benedikt on XML integrity-constraint processing on streams. The project involves creating management tools for detecting and reacting to constraint violations within XML data. Work on this post will involve developing a low-memory and low-latency integrity-constraint monitor for XML sources, investigating incremental maintenance algorithms for integrity-constraints and developing infrastructure for integrating constraint monitoring and repair with XML applications, particularly XML updates.
The Department of Computer Science, University of Oxford has a vacancy for a Facilities Support Technician who will report to the Department Building and Facilities Manager.
Following growth in demand for the development of internal systems the department of Computer Science is recruiting for an Information Systems Developer. The post-holder will work alongside the current Information Systems Developer as a database analyst, data modeller, and software engineer to develop the Department's “corporate” information systems and interfaces, and the integration of it with other repositories within this or other departments/units of the university.
The Verification Group is offering a post for a Grade 8 Researcher to work on the automated methods for formal verification of software under the direction of Daniel Kroening in the Department of Computer Science, University of Oxford. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. The post offers scope for both theoretical and applied work; candidates of either inclination will be considered.
The Verification Group is offering a post for a Grade 7 Research Assistant to work on the automated methods for formal verification of software under the direction of Daniel Kroening in the Department of Computer Science, University of Oxford. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field and should have documented prior programming experience. The post offers scope for both theoretical and applied work; candidates of either inclination will be considered.
Vacancies in academic and research posts in the Department of Computer Science are normally also announced in the uk.jobs.offered newsgroup and at the jobs.ac.uk web site.
Applicants should note our general guidance on what to include in a Curriculum Vitae and application letter, but follow any specific procedures included in the further particulars of the post for which they are applying.
Details of other University Job Vacancies are available centrally.