News: all
Vacancies
The Automated Formal Verification Group is offering a post for a Grade 7 Research Assistant to work on the automated verification of concurrent pro grams that make use of shared memory under the direction of Daniel Kroening and Joël Ouaknine in the Oxford University Computing Laboratory.
Vacancies
One-week lectureship in software product lines Services Contract
Applications are requested for a temporary lectureship in the Software Engineering Programme at the University of Oxford. The position is for the purposes of teaching a one-week professional course in Software Product Lines, in the week of 12th to 16th July 2010, on the part-time professional MSc in Software Engineering.
Vacancies
The Computing Laboratory has a vacancy for an experienced full-time Finance Assistant reporting directly to the Computing Laboratory Finance Officer and indirectly to the Administrator.
Events
15th IEEE International Conference on Engineering of Complex Computer Systems
Prof. Marta Kwiatkowska will be the General Chair for the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), which is being organised at St. Anne's College, University of Oxford, between 22-26 March 2010.
Studentships
Verification of Shared-Memory Concurrent Software
Studentships
Two Fully Funded Doctoral Studentships in Artifical Intelligence/Web Data Extraction
The Information Systems Research Group is offering two fully funded D.Phil Studentships associated with the ERC Project
Awards
Congratulations to Marta Kwiatkowska and Georg Gottlob on the award of European Research Council (ERC) Advanced Investigators Grants totalling approximately 4.4M euro over 5 years.
Studentships
The Information Systems Group has a fully funded D.Phil Studentship