[TYPES/announce] Research assistant position in quantum formal methods

[Jaap Boender]

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.Boender at mdx.ac.uk) and Prof. Raja Nagarajan 
(R.Nagarajan at mdx.ac.uk).