UK: Postdoctoral Research Assistant

Deadline: 2 June 2013

Queen Mary, University of London -Electronic Engineering & Computer Science

• 30 days’ annual leave and defined benefit pension scheme.

• interest-free season ticket loan and cycle to work scheme.

• discounted membership of the university gym and free use of university libraries.

• a wide range of family friendly benefits, including the university's own nursery.

About the Post

Applications are invited for a full time Postdoctoral Research Assistant to undertake research within the context of an EPSRC funded project, "Compositional Security Analysis for Binaries" working with the Professor of Software Verification. This project aims at theoretical and practical advances in static analysis and automatic verification applied to security of binary code.

The project will be carried out in collaboration between the Theory Group at Queen Mary University of London, the Programming Principles, Logic and Verification group at UCL, and the Security Group at University of Kent. The post-holder will be based at Queen Mary, working with the Principal Investigator (www.dcs.qmul.ac.uk/~ddino) in the School of Electronic Engineering and Computer Science.

Responsibilities

The successful candidate should have a PhD in Computer Science or relevant field, and should have a background in programming languages, or verification, or security as shown by their work history. Publication records and Experience in program verification or analysis for binary code is desirable. Previous development experience with OCaml and would be beneficial.

Remuneration & Benefits

The post is full time and for 36 months from August 1st, 2013 or as soon as possible thereafter. Starting salary will be in the range £34,283 per annum inclusive of London Allowance.

Our excellent benefits package includes:

Additional Information

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 Prof. Dino Distefano (ddino@eecs.qmul.ac.uk)

Details about the school/dept/institute can be found at www.school.qmul.ac.uk

To apply, please visit the Human Resources website on http://www.jobs.qmul.ac.uk and search for referenceQMUL1934.