Research Post at QMW

• To: types@cs.indiana.edu
• Subject: Research Post at QMW
• From: "Peter O'Hearn" <Peter.O'Hearn@dcs.qmw.ac.uk>
• Date: Tue, 23 Sep 1997 10:52:34 +0100
• Cc: keithc@dcs.qmw.ac.uk, ohearn@dcs.qmw.ac.uk, richard@dcs.qmw.ac.uk
• Delivery-Date: Tue, 23 Sep 1997 04:52:45 -0500

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 
  http://www.dcs.qmw.ac.uk/research/theory/projects/verifiedbytecode/index.html

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).

• Prev: FSTTCS 17 Call for Participation (ASCII)
• Next: Announcing the Proof Assistant Yarrow
• Index(es):
  • Main
  • Thread