caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [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;
as well as URLs for NNTP newsgroup(s).