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 (email@example.com),
Keith Clarke (firstname.lastname@example.org) or Peter O'Hearn (email@example.com).