Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] REMS postdoc researcher / research-engineer po...

Email Gateway (Aug 22 2022 at 10:37):

From: Peter Sewell <Peter.Sewell@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

Last updated: Feb 01 2025 at 20:19 UTC