[TYPES/announce] Engineer and postdoc positions in France: proof assistant for crypto protocols

David Baelde david.baelde at lsv.ens-cachan.fr
Thu Jun 9 08:15:09 EDT 2022

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:


Best regards,

David Baelde

More information about the Types-announce mailing list