Research Post at QMW
Research Assistant, Verified Bytecode Project
A Research Assistant is sought for an EPSRC funded project
at Queen Mary and Westfield College, London.
Candidates should hold a PhD or equivalent, or be nearing completion,
and have experience in (some of): type systems; compiling; program
logic; mechanised proof; program semantics. The appointment will be for
up to three years, starting before 31/01/1998. Starting salary is on the
RA1A scale (17,293 -> 23,150 pounds, inclusive of London Allowance).
For further information see
Informal inquiries to Richard Bornat (firstname.lastname@example.org),
Keith Clarke (email@example.com) or Peter O'Hearn (firstname.lastname@example.org).