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

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


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