[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ONE POST DOCTORAL RESEARCH ASSISTANT 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 http://www.cl.cam.ac.uk/~mjp41/jStar. 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 (dd...@dcs.qmul.ac.uk ). Further details and an application form can be found at www.hr.qmul.ac.uk/vacancies . 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 2010. Interviews will take place during the week commencing 25th January 2010.