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 (richard@dcs.qmw.ac.uk),
Keith Clarke (keithc@dcs.qmwe.ac.uk) or Peter O'Hearn (ohearn@dcs.qmw.ac.uk).