Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Interactive theorem proving internship at AWS ...

Email Gateway (Feb 28 2024 at 15:25):

From: Dominic Mulligan <cl-isabelle-users@lists.cam.ac.uk>
Hi,

I am hiring a 2024 intern for a position at Amazon Web Services (AWS) in
Cambridge UK, working on the verification of a body of low-level code. The
successful candidate will be a PhD student with existing experience in an
interactive theorem proving system—ideally Isabelle/HOL, but experience in
similar systems like Coq, Lean, HOL4, etc. will also be considered—and
knowledge of a low-level programming language like Rust or C.

If you are interested in applying please get in touch with me directly,
forwarding a CV.

Thanks,
Dominic

Last updated: Apr 29 2024 at 01:08 UTC