University of Oxford Logo University of OxfordDepartment of Computer Science - Home

News: all

Vacancies

Department of Computer Science, University of Oxford Project “Automated Formal Verification” Grade 08S Researcher

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.

More Details...

Vacancies

Department of Computer Science, University of Oxford Project “Automated Formal Verification” Grade 07S Research Assistant

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.

More Details...

Awards

Marie Curie Fellowship brings new researcher to Oxford

Livia Predoiu has been awarded a prestigious 2-years Marie Curie Intra-European Fellowship to carry out research on probabilistic data and information integration

More Details...

Projects

Start-up Provides Sentiment Analysis Tool for Business, Finance

The new company, TheySay, has received first-round investment of up to £500,000 from IP Group plc

More Details...

Vacancies

Department of Computer Science Research Assistant Full time Grade 7: Salary £29,099 - £35,788 p.a. Duration: up to 2 years Start date: 1st April 2012.

Applications are invited from suitably-qualified individuals for a research assistant, associated with our TSB-funded “Trust Domains” project.

More Details...

Studentships

Fully Funded DPhil Studentship

The Verification Research Group is offering a second fully funded D.Phil studentship in Oxford University's Department of Computer Science.

More Details...

Studentships

Fully Funded DPhil Studentship

The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science

More Details...

Miscellaneous

Ib Sorensen – In memoriam

More Details...

Vacancies

Department of Computer Science, University of Oxford One-week lectureship in Agile Methods 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 Agile Methods on the part-time professional MSc in Software Engineering. The course runs approximately twice per year; the successful candidate will be expected to be available to undertake these duties for the next three years—the next iteration is scheduled for the week of the 14th May 2012 with future iterations to be arranged on a mutually convenient basis.

More Details...

Vacancies

Graphic Design Assistant Part-time (30-50% FTE) Grade 5: Salary £22,971 - £27,428 p.a., pro rata Duration: 4 months

A part-time Graphic Design Assistant is needed to assist with the design, artwork, layout and printing of any documents produced in connection within the EU/Technology Strategy Board CESAR research project within the Department of Computer Science under the management of Professor Daniel Kroening. Professor Kroening holds an extensive portfolio of international research projects in the field of software verification.

More Details...

Vacancies

Grade 8 Operational Project Manager Part-time (60% FTE)

A part-time Operational Project manager is required to undertake a series of operational projects within the Department of Computer Science supporting the Senior Administrator and the management team during a period of change. The role requires projects to be planned, resources mobilised and projects delivered in a timely manner working to priorities as agreed with the Senior Administrator. Projects are envisaged to be wide ranging in terms of scope and complexity and may range from the implementation of technology solutions to support the operation to developing policies. It is expected that the Operational Project Manager would work on several projects at any one time. The role will require implementation of change through a solid understanding of work practices within an academic department. Applicants should have extensive project management experience in a varied working environment, strong interpersonal skills with a proven ability to lead, and well versed in the use of IT within a higher education establishment. The role is available immediately and for 2 years initially.

More Details...

Projects

Project to improve radiotherapy planning

A collaborative project between physicists, oncologists and computer scientists at Oxford and Cambridge Universities, launched last month, will develop improved tools for the planning of high precision radiotherapy. Accel-RT will also help overcome time constraints that currently limit the use of complex radiotherapy treatment

More Details...

Events

Computer Science and Philosophy Taster Day

Free event for Lower Sixth students interested in the Oxford undergraduate course. Thursday 15th March 2012

More Details...

Events

Further Maths — What Next? Taster day for Lower Sixth students

Attend a range of short taster sessions on subjects including: Earth Sciences, Materials Science, Economics, Chemistry, Computer Science, Maths and Statistics: all subjects that list Further Maths as either a 'highly desirable' or 'helpful' A Level for Oxford applicants to have. 19th April 2012

More Details...

Events

Software Engineering postgraduate Open Day announced

The Programme will be holding an information day in Oxford on Saturday 17th March from 10.30 until 14.00.

More Details...

Events

Women in Computer Science day announced

Taster day for Year 11-12 girls at UK schools on Wednesday 21st March 2012

More Details...