News - all

Vacancies

The Computing Laboratory has a vacancy for a postdoctoral research assistant to work in the area of logic based knowledge representation and reasoning. The post is funded by EPSRC as part of the HermiT project, and is available immediately until May 2011

Studentships

The Computing Laboratory invites applications for full and partial scholarships for D.Phil. (Doctor of Philosophy) study to commence in October 2009.

Studentships

Project: Connect-IP: Emergent Connectors for Eternal Software Intensive Networked Systems

Studentships

Knowledge Representation and Reasoning Group

Vacancies

The Computing Laboratory has a vacancy on an EU-funded FP7 research project CONNECT-IP which runs for three and a half years from 1st February 2009 (subject to contract). The project is centred on a revolutionary concept of a seamless networking infrastructure for digital systems that enables continuous composition of networked systems and the evolution of their functionalities

Vacancies

The Computing Laboratory has a vacancy on an EU-funded FP7 research project CONNECT-IP which runs for three and a half years from 1st February 2009 (subject to contract). The project is centred on a revolutionary concept of a seamless networking infrastructure for digital systems that enables continuous composition of networked systems and the evolution of their functionalities

Vacancies

The Computing Laboratory has a vacancy for a Research Assistant to work on the EU funded research project Foundational Structures for Quantum Information and Communication (QICS) which started on 1st January 2007 and runs until the 31st December 2009

Awards

Stuart Golodetz, Irina Voiculescu and Stephen Cameron win the best workshop paper award at CSTST '08

Vacancies

The Automated Formal Verification Group is offering a postdoctoral position at Oxford University's Computing Laboratory. The position is associated with the EPSRC project "Efficient Verification of Software with Replicated Components", under the supervision of Daniel Kroening, which will investigate automated techniques to improve the quality of software

Studentships

Automated Formal Verification Group