Dear all,
We are looking for engineers and postdocs to work on Squirrel, a proof assistant dedicated to proving cryptographic protocols. We have a broad range of projects in mind, ranging from pure OCaml development to involved protocol formalizations, with several theoretical questions in between. If you’d like to work on some of these aspects for one or more years, please get in touch with us!
More details can be found here:
https://squirrel-prover.github.io/positions.pdf
Best regards,
David Baelde
ENS Rennes & IRISA