caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Engineer position for the development of the Squirrel prover
@ 2021-04-19 16:42 David Baelde
  0 siblings, 0 replies; 1+ messages 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] 1+ messages in thread

only message in thread, back to index

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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox