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
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list:
http://groups.yahoo.com/group/ocaml_beginners
Bug reports:
http://caml.inria.fr/bin/caml-bugs