The Coq mailing list

[Peter Sewell <pes20 AT cl.cam.ac.uk>]

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