[TYPES/announce] 2-year postdoc position on static analysis in the University of Oxford

Hongseok Yang hongseok00 at gmail.com
Mon Aug 13 08:52:46 EDT 2012

Postdoc position on program analysis

Department of Computer Science,
University of Oxford Project "Resource Reasoning"
Grade 07S Postdoctoral Research Assistant
Posted: 9th August 2012

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 10th September 2012.

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


For informal enquiries, please contact:

Hongseok Yang (hongseok.yang at cs.ox.ac.uk)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120813/3c332212/attachment.html>

More information about the Types-announce mailing list