The Verification Group at the Department of Computer Science, University of Oxford is currently inviting applications for several post-doctoral research positions at Grade 07S and Grade 08S levels.
Researchers are required to work on 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. The successful candidate will be required to develop research questions within a specific context, conduct individual research, analysing detailed and complex qualitative and/or quantitative data from a variety of sources, and generate original ideas by building on existing concepts. Candidates with applied focus should demonstrate strong programming and systems skills, experience of tool construction, and knowledge of program analysis. Candidates with a background in theoretical computer science should be able to demonstrate experience with automata theory, abstract interpretation, model checking or decision procedures. Candidates with a background in one of the following areas are especially encouraged to apply: * embedded systems * unmanned aerial vehicles (UAVs) * validation of evolving software * operating system kernels * shared-variable concurrency Posts are full-time appointments, and available initially for up to 3 years with the possibility of extension. The closing date for applications is 12 noon on Wednesday 14th March 2012. To apply please visit: Grade 07S Research Assistant; £29,249 - £35,938 p.a. https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=102190 Grade 08S Researcher; £37,012 - £44,166 p.a. https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=102191 -- Dr. Michael Tautschnig Department of Computer Science University of Oxford ------------------------------------------------------------------------------ Virtualization & Cloud Management Using Capacity Planning Cloud computing makes use of virtualization - but cloud computing also focuses on allowing computing to be delivered as a service. http://www.accelacomm.com/jaw/sfnl/114/51521223/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
