<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Postdoc position on program analysis</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Department of Computer Science, </div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
University of Oxford Project "Resource Reasoning" </div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Grade 07S Postdoctoral Research Assistant</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Posted: 9th August 2012</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">The Department of Computer Science of University of Oxford has a vacancy for a postdoctoral research assistant to work in the area of program analysis under the direction of Dr Hongseok Yang. The post is funded by the EPSRC Programme Grant "Resource Reasoning" (<a href="http://www.resourcereasoning.com/" target="_blank" style="color:rgb(17,85,204)">http://www.resourcereasoning.com</a>), which is split among Oxford, UCL, and Imperial. The post is available from October 2012, and will be of two years duration.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
The successful applicant will join the on-going collaboration between the research group of Dr Yang at Oxford and that of Prof Mayur Naik at Georgia Institute of Technology, USA. In the past two years, these two groups have combined results and insights from a variety of disciplines (in particular, machine learning, systems, and testing) to address key challenges in static program analysis and automatic software verification. The successful candidate will be able to develop her or his own ideas building on the results of this collaboration, which include the analysis infrastructures Chord and SpaceInvader. Also, the candidate will interact with the other partners of the Programme Grant, such as Prof Peter O'Hearn and Prof Byron Cook at UCL and Prof Philippa Gardner at Imperial. The successful candidate would be expected to develop research questions within a specific context, to undertake original individual research, and to prepare research papers.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Applicants should have, or expect shortly to obtain, a PhD in computer science or some other relevant discipline, and should have experience in program analysis, testing, systems, decision procedures or machine learning. We especially encourage candidates to apply for this post if they have experiences of building real-world program analysis tools or have experience in machine learning and are interested in bringing data-driven statistical approaches of machine learning to the area of program analysis and automated software verification, where logic has played a crucial role so far.</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
The post is a full time appointment, offered on a fixed term contract basis  of up to 24 months, and has a salary on the University grade 7 currently £29,249 - £35,938 p.a.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">The closing date for applications is 12 noon on 10th September 2012.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">For further details see documents below and to apply please visit:</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><a href="https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=104026" target="_blank" style="color:rgb(17,85,204)">https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=104026</a></div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
For informal enquiries, please contact:</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Hongseok Yang (<a href="mailto:hongseok.yang@cs.ox.ac.uk" target="_blank" style="color:rgb(17,85,204)">hongseok.yang@cs.ox.ac.uk</a>)</div>