Hi, We are looking for an engineer to support the development of Squirrel, an interactive theorem prover for security protocols. The position will be funded by ERC POPSTAR. You may find more details here: https://people.irisa.fr/Stephanie.Delaune/internship/sujet-engineer-squirrel.pdf Skilled OCaml developers would be most welcome! Best regards, -- David Baelde LMF, ENS Paris-Saclay