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". 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.
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. 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. Benefits include 30 days annual leave, defined benefit pension scheme and 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 Prof. Dino Distefano ([email protected]) Details about the school/dept/institute can be found at www.school.qmul.ac.uk To apply, The closing date for applications is 2ND June 2013. Interviews are expected to be held week commencing 17th June 2013. Valuing Diversity & Committed to Equality
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
