Department of Computer Science, University of Oxford Project "Resource Reasoning" Grade 07S Postdoctoral Research Assistant

Department of Computer Science, University of Oxford

Project "Resource Reasoning"

Grade 07S Postdoctoral Research Assistant

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" (http://www.resourcereasoning.com), which is split among Oxford, UCL, and Imperial. The post is available from October 2012, and will be of two years duration.

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.

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.

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.

The closing date for applications is 12 noon on 10^th September 2012.

For further details see documents below and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=104026

For informal enquiries, please contact:

Hongseok Yang

The policy and practice of the University of Oxford require that all staff are offered equal opportunities within employment. Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. Subject to statutory provisions, no applicant or member of staff will be treated less favourably than another because of his or her age, sex, marital or civil partnership status, sexual orientation, religion or belief, racial group or disability.