[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

at Queen Mary university of London.


Applications are invited for a full time Postdoctoral Research
Assistant within the Theory Group in the School of Electronic
Engineering and Compurter Science, to undertake research within
the context of an EPSRC funded project, "jStar: making Java
verification practical".

This project aims at theoretical and practical advances in Java
verification technology which will allow the extension of the
tool jStar to the stage where it can effectively reason about
programs with relatively complex correctness properties. In
particular, the project builds on our previous work on abstract
predicates families and automation of separation logic: see

The project will be carried out in collaboration between the
Theory Group at Queen Mary University of
London (http://www.dcs.qmul.ac.uk/research/logic/) and the
Programming, Logic and Semantics Group at University of
Cambridge (http://www.cl.cam.ac.uk/research/pls/) in association
with Dr Matthew Parkinson.

The successful candidate would have a PhD in Computer Science,
and a background in programming languages or formal methods as
shown by their publication record. Experience in program
verification or analysis is also highly desirable. Previous
development experience with OCaml and Java would be beneficial.

The position is for 3 years starting on 1 March 2010 or as soon
as possible thereafter.

The salary for this position will be in the range of £30,079 -
£33,492 per annum. Benefits include 30 days annual leave, final
salary pension scheme and an interest–free season ticket loan.

Candidates must be able to demonstrate their eligibility to work
in the UK in accordance with the Immigration, Asylum and
Nationality Act 2006. Where required this may include entry
clearance or continued leave to remain under the Points Based
Immigration Scheme.

Informal enquiries should be addressed to Dr Dino Distefano 
Further details and an application form can be found at 

To apply, please email the following documents to Ms Julie Macdonald
at applicati...@eecs.qmul.ac.uk quoting reference number 09490/CE:
Completed application form; a CV listing all publications; three
independent references; a pdf of your representative publications and
a research statement describing your previous research experience,
outlining the relevance to this project. Postal applications should be
sent to Ms Julie Macdonald, School of Electronic Engineering and
Computer Science, Queen Mary University of London, Mile End Road,
London, E1 4NS.

The closing date for all applications is 5pm on Friday 15th January  

Interviews will take place during the week commencing 25th January 2010.

Reply via email to