http://www.cs.ox.ac.uk/news/ Vacancies en-gb 360 Tue, 14 Feb 2012 24:43:05 GMT Tue, 14 Feb 2012 24:43:05 GMT Vacancies http://blogs.law.harvard.edu/tech/rss/ http://www.cs.ox.ac.uk/news/455-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-455 Mon, 13 Feb 2012 12:00:00 GMT end=2012-03-15T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/454-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-454 Mon, 13 Feb 2012 12:00:00 GMT end=2012-03-15T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/451-full.html Applications are invited from suitably-qualified individuals for a research assistant, associated with our TSB-funded “Trust Domains” project. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-451 Mon, 13 Feb 2012 12:00:00 GMT end=2012-02-25T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/447-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-447 Wed, 08 Feb 2012 12:00:00 GMT end=2012-03-12T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/446-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-446 Mon, 06 Feb 2012 12:00:00 GMT end=2012-02-21T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/445-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Vacancies oucl-Vacancies-445 Fri, 03 Feb 2012 12:00:00 GMT end=2012-02-21T00:00:00Z;scheme=W3C-DTF;