* [Caml-list] REMS postdoc researcher / research-engineer positions
@ 2015-07-28 15:44 Peter Sewell
0 siblings, 0 replies; only message in thread
From: Peter Sewell @ 2015-07-28 15:44 UTC (permalink / raw)
To: caml-list
Dear all,
we've just advertised for two postdoc researcher / research-engineer
positions, to work with the REMS semantic models of key
infrastructure interfaces (multiprocessor semantics, C, ELF,
filesystems, TCP, TLS ...), emulators and verification tools built
above those, and the semantic tools we use to express them (Lem, Ott,
Coq, HOL4, Isabelle/HOL). If you know of any good potential
candidates, please draw this to their attention:
http://www.jobs.cam.ac.uk/job/7576/
thanks,
Peter
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-07-28 15:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-28 15:44 [Caml-list] REMS postdoc researcher / research-engineer positions Peter Sewell
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).