Research assistant position in quantum formal methods
(too old to reply)
Jaap Boender
2018-11-25 14:35:05 UTC
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

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 (***@mdx.ac.uk) or Prof. Raja Nagarajan