coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant Professor Position at Grenoble (Ensimag+Verimag), Sept. 2020

From: Sylvain Boulmé <Sylvain.Boulme AT univ-grenoble-alpes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Assistant Professor Position at Grenoble (Ensimag+Verimag), Sept. 2020
Date: Tue, 28 Jan 2020 10:12:37 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sylvain.Boulme AT univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=Sylvain.Boulme AT univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster AT zm-mta-out-2.u-ga.fr

*Keywords* Autonomous Cyber-Physical Systems and Digital Trust: Design, modeling, validation, implementations, certification.

Being able to teach in French is mandatory.

See details (in French) at
http://www-verimag.imag.fr/Ensimag-Assistant-professor-position-in.html

Sylvain.

[Coq-Club] Assistant Professor Position at Grenoble (Ensimag+Verimag), Sept. 2020, Sylvain Boulmé, 01/28/2020