[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Computer Science, Middlesex University London is looking for a temporary Research Assistant to contribute to the project “Formal Verification of Security Protocols in Coq” funded by the National Cyber Security Centre (NCSC) through the Research Institute on Verified Trustworthy Software Systems (VeTSS). Most importantly, we are looking for someone to assist the research team in developing formal proofs of quantum security protocols using the proof assistant Coq. Essential characteristics of a successful candidate include experience with Coq or similar tools, and either a postgraduate degree in a relevant discipline or extensive experience with constructive formal proofs. The candidate would also need to have the right to work in the UK (i.e. have EU citizenship or an appropriate visa). The position is not eligible for a Tier 2 visa sponsorship. The duration of the position is for 6 months, with a start date of January 2019. The salary will be in the range of £31,384 - £39,664 per annum (inclusive of Outer London Weighting), depending on qualifications and experience. Applications will be accepted until the position is filled. For more information, please consult the full job description at http://www.cs.mdx.ac.uk/research_assistant_in_quantum_formal_methods/ Please send a CV with a cover letter describing how you meet the requirements given in the job description, by email to Dr. Jaap Boender (j.boen...@mdx.ac.uk) and Prof. Raja Nagarajan (r.nagara...@mdx.ac.uk).