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

[David Baelde]

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