[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://squirrel-prover.github.io/positions.pdf__;!!IBzWLUs!WXXyUPl3Ps5iEBpUhoFZGcf4r0v3Px8yj8zhU_JVSMCpycICrZvLR713B19J09BOhdA0W5iTvyjGaL8gko_Cs_hbxFmWJDu7zFB2IMvWsl670g$
Best regards,
David Baelde
