http://www.cs.ox.ac.uk/news/ All en-gb 360 Mon, 21 May 2012 23:43:41 GMT Mon, 21 May 2012 23:43:41 GMT All http://blogs.law.harvard.edu/tech/rss/ http://www.cs.ox.ac.uk/news/488-full.html DPhil student Katie Leonard is one of just ten people in Europe to be awarded the 2012 Google Scholarship for Students with Disabilities Department of Computer Science, University of Oxford News All oucl-Awards-488 Mon, 30 Apr 2012 11:00:00 GMT end=2012-05-30T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/491-full.html Applications from graduate students to speak or present a poster welcome Department of Computer Science, University of Oxford News All oucl-Events-491 Mon, 14 May 2012 11:00:00 GMT end=2012-06-13T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/492-full.html The Department of Computer Science, University of Oxford has a vacancy for a Facilities Support Technician who will report to the Department Building and Facilities Manager. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Vacancies-492 Wed, 16 May 2012 11:00:00 GMT end=2012-05-30T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/490-full.html Daniel Kroening of Oxfords’ Department of Computer Science is leading research into co-ordinating groups of UAVs, which he hopes could improve the way they work when collecting data in difficult conditions, for example during a Fukushima-style disaster Department of Computer Science, University of Oxford News All oucl-Projects-490 Fri, 11 May 2012 11:00:00 GMT end=2012-06-10T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/487-full.html Following growth in demand for the development of internal systems the department of Computer Science is recruiting for an Information Systems Developer. The post-holder will work alongside the current Information Systems Developer as a database analyst, data modeller, and software engineer to develop the Department's “corporate” information systems and interfaces, and the integration of it with other repositories within this or other departments/units of the university. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Vacancies-487 Mon, 30 Apr 2012 11:00:00 GMT end=2012-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/486-full.html Oxford papers accepted to the 39th International Colloquium on Automata, Languages and Programming Department of Computer Science, University of Oxford News All oucl-Miscellaneous-486 Thu, 26 Apr 2012 11:00:00 GMT end=2012-05-26T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/485-full.html The Department of Computer Science wishes to offer one or more teaching assistantships to DPhil students to start in October 2012. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Studentships-485 Thu, 26 Apr 2012 11:00:00 GMT end=2012-05-31T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/483-full.html The Department of Computer Science has several EPSRC funded doctoral studentships across a range of research areas <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Studentships-483 Thu, 12 Apr 2012 11:00:00 GMT end=2012-06-12T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/472-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 All oucl-Vacancies-472 Mon, 26 Mar 2012 11:00:00 GMT end=2012-06-15T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/471-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 All oucl-Vacancies-471 Mon, 26 Mar 2012 11:00:00 GMT end=2012-06-15T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/469-full.html The Information Systems Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science in collaboration with Microsoft Research Cambridge. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Studentships-469 Tue, 13 Mar 2012 12:00:00 GMT end=2012-06-10T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/450-full.html The Verification Research Group is offering a second fully funded D.Phil studentship in Oxford University's Department of Computer Science. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Studentships-450 Thu, 09 Feb 2012 12:00:00 GMT end=2012-05-31T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/449-full.html The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News All oucl-Studentships-449 Thu, 09 Feb 2012 12:00:00 GMT end=2012-05-31T00:00:00Z;scheme=W3C-DTF;