* [Caml-list] Engineer position for the development of the Squirrel prover
@ 2021-04-19 16:42 David Baelde
0 siblings, 0 replies; only message in thread
From: David Baelde @ 2021-04-19 16:42 UTC (permalink / raw)
To: OCaml Mailing List
[-- Attachment #1: Type: text/plain, Size: 391 bytes --]
Hi,
We are looking for an engineer to support the development of Squirrel, an
interactive theorem prover for security protocols. The position will be
funded by ERC POPSTAR. You may find more details here:
https://people.irisa.fr/Stephanie.Delaune/internship/sujet-engineer-squirrel.pdf
Skilled OCaml developers would be most welcome!
Best regards,
--
David Baelde
LMF, ENS Paris-Saclay
[-- Attachment #2: Type: text/html, Size: 875 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-04-19 16:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-19 16:42 [Caml-list] Engineer position for the development of the Squirrel prover David Baelde
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox