From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=AWL,HTML_10_20,HTML_MESSAGE, SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id B03F1BBAF for ; Wed, 22 Apr 2009 19:21:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBAFTv7kmB6ggUmWdsb2JhbACCUpNtAQEBAQEICwoHEbpmgjaBPgaHZg X-IronPort-AV: E=Sophos;i="4.40,231,1238968800"; d="scan'208,217";a="26649578" Received: from hermes1.dur.ac.uk ([129.234.8.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Apr 2009 19:21:32 +0200 Received: from DURMAIL3.mds.ad.dur.ac.uk (durmail3a.dur.ac.uk [129.234.8.189]) by hermes1.dur.ac.uk (8.13.8/8.13.7) with ESMTP id n3MHF5Oc031148; Wed, 22 Apr 2009 18:15:09 +0100 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C9C36D.F2FC674B" X-MimeOLE: Produced By Microsoft Exchange V6.5 Subject: Ph.D and Postdoc Positions available in Durham, UK Date: Wed, 22 Apr 2009 18:15:35 +0100 Message-ID: <8405C0D818720A45A8C69862358075EE03E3E4@DURMAIL3.mds.ad.dur.ac.uk> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Ph.D and Postdoc Positions available in Durham, UK Thread-Index: AcnDbBk99bSitWU8T5S5cBq7l/Hjig== From: "CRACIUN F." To: , , , , , , , , , , , , , , , , , , , X-DurhamAcUk-MailScanner-ID: n3MHF5Oc031148 X-DurhamAcUk-MailScanner: Found to be clean X-Spam: no; 0.00; postdoc:01 postdoc:01 inference:01 inference:01 abstraction:01 invariants:01 honours:01 abstraction:01 invariants:01 honours:01 3.5:98 tuition:98 2009:98 2009:98 3.5:98 This is a multi-part message in MIME format. ------_=_NextPart_001_01C9C36D.F2FC674B Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ************************************************************ * A 3.5year Ph.D Position and a Postdoc Position=20 * available in the area of Program Analysis and Verification * funded by the EPSRC project entitled "Inference Mechanisms=20 * for a Separation and Numerical Domain" * in Department Of Computer Science, Durham University, UK ************************************************************ 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. About the Ph.D Position: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= 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. 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. Closing date (the Ph.D Position): 15 May 2009 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 = https://bannerss.dur.ac.uk/blive_ssb/bwskalog.P_DispLoginNon About the Postdoc Position: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D 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. 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.=20 Closing date (the Postdoc postioin): 31 May 2009 Details about this position including the application procedure can be = found at https://jobs.dur.ac.uk/jobdtls.asp?Session_in=3D&Uid=3D&vref=3D3164 More project information can be obtained by contacting Dr Shengchao Qin = at shengchao.qin@durham.ac.uk, or by visiting = http://www.dur.ac.uk/shengchao.qin ------_=_NextPart_001_01C9C36D.F2FC674B Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Ph.D and Postdoc Positions available in Durham, UK

************************************************************
=
* A 3.5year Ph.D Position and a Postdoc Position

* available in the area of Program Analysis and Verification

* funded by the EPSRC project entitled "Inference Mechanisms

* for a Separation and Numerical Domain"

* in Department Of Computer Science, Durham University, UK

************************************************************





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.





About the Ph.D Position:

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=



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.



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.



Closing date (the Ph.D Position): 15 May 2009



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 htt= ps://bannerss.dur.ac.uk/blive_ssb/bwskalog.P_DispLoginNon





About the Postdoc Position:

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D



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.



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.



Closing date (the Postdoc postioin): 31 May 2009



Details about this position including the application procedure can be = found at

https://jobs.dur.ac.uk/jobdtls.asp?Session_in=3D&Uid=3D&vref=3D3164





More project information can be obtained by contacting Dr Shengchao Qin = at shengchao.qin@durham.ac.uk, or by visiting http://www.dur.ac.uk/shengcha= o.qin

------_=_NextPart_001_01C9C36D.F2FC674B--