coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD and PostDoc positions at Inria Rennes and Sophia

From: Frédéric Besson <frederic.besson AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD and PostDoc positions at Inria Rennes and Sophia
Date: Thu, 07 May 2020 10:16:53 +0200
Organization: Inria

Hello,

The ANR Scrypt project has a PhD and two PostDoc positions to work on
secure compilers protecting against side-channel attacks.

We are looking for motivated candidates with interest and expertise in
the following topics: mechanised proofs, program semantics, verified
compilation, security of side-channel countermeasures.

In the project, most developments are using Coq.
So, do not hesitate to drop us a mail.

For further inquiry, contact
frederic.besson AT inria.fr
or
benjamin.gregoire AT inria.fr

- PhD at Inria Rennes/Celtique team
https://jobs.inria.fr/public/classic/fr/offres/2020-02622
contact:
frederic.besson AT inria.fr

- PostDoc at Inria Rennes/Celtique team
https://jobs.inria.fr/public/classic/fr/offres/2020-02623
contact:
frederic.besson AT inria.fr

- PostDoc at Inria Sophia/Stamp team
contact:
benjamin.gregoire AT inria.fr

Best,
--
Frédéric Besson

[Coq-Club] PhD and PostDoc positions at Inria Rennes and Sophia, Frédéric Besson, 05/07/2020