<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7651.59">
<TITLE>Ph.D and Postdoc Positions available in Durham, UK</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->
<BR>
<P><FONT SIZE=2>************************************************************<BR>
<BR>
* A 3.5year Ph.D Position and a Postdoc Position<BR>
<BR>
* available in the area of Program Analysis and Verification<BR>
<BR>
* funded by the EPSRC project entitled "Inference Mechanisms<BR>
<BR>
* for a Separation and Numerical Domain"<BR>
<BR>
* in Department Of Computer Science, Durham University, UK<BR>
<BR>
************************************************************<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
Applications are invited for a Ph.D. student and a Postdoctoral Research Associate to work on an EPSRC funded project entitled "Inference Mechanisms for a Separation and Numerical Domain" in the group led by Dr. Shengchao Qin in the Department of Computer Science. The aim of the project is to develop advanced static analysis techniques based on separation logic for automated verification of memory safety as well as functional correctness of substantial heap-manipulating imperative programs. The key objective is to develop advanced inference/abstraction mechanisms in the combined separation and numerical domain with user-defined inductive predicates, so that loop invariants and method pre/post-conditions can be automatically synthesised, where possible.<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
About the Ph.D Position:<BR>
<BR>
=========================<BR>
<BR>
<BR>
<BR>
Prospective Ph.D candidates must have (or expect to have) a good honours (or equivalent) degree in Computer Science or other relevant subjects. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science, computer-aided verification, compilers, and program analysis. Strong programming skills will also be essential for the studentship.<BR>
<BR>
<BR>
<BR>
This fully funded studentship provides a tax-free living allowance at the standard EPSRC rate (GBP 13,290 p.a. for 09/10) and student tuition fees at the UK/EU student rate (non-EU students will require supplementary funding). The successful candidate is expected to start on 1st September 2009.<BR>
<BR>
<BR>
<BR>
Closing date (the Ph.D Position): 15 May 2009<BR>
<BR>
<BR>
<BR>
Applications (such as CV, references, a transcript and a statement of research interests) should be sent to Dr Shengchao Qin, Computer Science Department, Durham University, Science Labs, South Road, Durham, DH1 3LE, United Kingdom. Applicants are also required to register their interest of pursuing a Ph.D in Durham at <A HREF="https://bannerss.dur.ac.uk/blive_ssb/bwskalog.P_DispLoginNon">https://bannerss.dur.ac.uk/blive_ssb/bwskalog.P_DispLoginNon</A><BR>
<BR>
<BR>
<BR>
<BR>
<BR>
About the Postdoc Position:<BR>
<BR>
===========================<BR>
<BR>
<BR>
<BR>
The successful applicant should have received (or expect to receive) a Ph.D in Computer Science or a closely related subject. Suitable candidates should be able to demonstrate research skills or potential at an international level in the field of program analysis and computer-aided verification.<BR>
<BR>
<BR>
<BR>
Key responsibilities: the Postdoctoral Research Associate(PDRA) is expected to conduct research in program analysis and verification using separation logic. Working closely with the team leader, the PDRA is expected to develop advanced inference/abstraction mechanisms in an abstract domain combined with separation and numerical information and in the presence of user-specified inductive predicates and lemmas. More specifically, the PDRA is expected to make significant contributions in (1) automatic inference/analysis of loop invariants and method pre/post-specifications in the combined domain, (2) the construction of an analysis/verification tool and the integration of the developed tool with the verification tool HIP/SLEEK developed in National University of Singapore, and (3) the application of the tool to verify memory safety of substantial system software such as the Linux distribution. The RA is expected to write and publish research papers in good quality conferences and journals every year.<BR>
<BR>
<BR>
<BR>
Closing date (the Postdoc postioin): 31 May 2009<BR>
<BR>
<BR>
<BR>
Details about this position including the application procedure can be found at<BR>
<BR>
<A HREF="https://jobs.dur.ac.uk/jobdtls.asp?Session_in=&Uid=&vref=3164">https://jobs.dur.ac.uk/jobdtls.asp?Session_in=&Uid=&vref=3164</A><BR>
<BR>
<BR>
<BR>
<BR>
<BR>
More project information can be obtained by contacting Dr Shengchao Qin at shengchao.qin@durham.ac.uk, or by visiting <A HREF="http://www.dur.ac.uk/shengchao.qin">http://www.dur.ac.uk/shengchao.qin</A><BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
</FONT>
</P>
</BODY>
</HTML>