coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Engineer and postdoc positions in France: proof assistant for crypto protocols
Chronological Thread
- From: David Baelde <david.baelde AT ens-rennes.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Engineer and postdoc positions in France: proof assistant for crypto protocols
- Date: Thu, 9 Jun 2022 14:08:40 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.baelde AT ens-rennes.fr; spf=Pass smtp.mailfrom=david.baelde AT ens-rennes.fr; spf=None smtp.helo=postmaster AT smtpout02-ext4.partage.renater.fr
- Ironport-sdr: 9tJmFu8+IdefnaYGg6UqRYS4M0FPmzy24TVm/BEzCThJyQd19645ZjAgyT5lO09zQHUk06u4Nn dsNXNY0vTQwHKZ6GsGiUZ3of+Nngb5bpJbPcEghZ7g9Ve+ustjC5AnQ7VZ49gpnq4lPpxWUv/I /Z5Ppy8J9+/q+NqJD0CsCbILeK+19Ho5itQNTNsEvIiXB1JEsVPAuQelafSU9DFofeo/VyjljM TeeR+8CEaQ+ydNoCb8vFSYtLy7LT/YUGoPlaoAaEMMiULHZpuMuKnkQpicoMy6H6iO7XtNUL/k eyshV/9bwvV39zDJb1FLi9PB
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
- [Coq-Club] Engineer and postdoc positions in France: proof assistant for crypto protocols, David Baelde, 06/09/2022
Archive powered by MHonArc 2.6.19+.