News: vacancies
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.
Applications are invited from suitably-qualified individuals for a research assistant, associated with our TSB-funded “Trust Domains” project.
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.
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.
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.
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.