From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alan.schmitt@polytechnique.org>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B7F928240C
	for <caml-list@sympa.inria.fr>; Mon, 16 Apr 2018 11:52:30 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.48,459,1517871600"; 
   d="asc'?scan'208";a="323017717"
Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO top.local) ([78.242.14.140])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 16 Apr 2018 11:52:30 +0200
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Mon, 16 Apr 2018 11:52:29 +0200
Message-ID: <m2po2zcwbm.fsf@polytechnique.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Subject: [Caml-list] PhD position at Inria Rennes

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

The CELTIQUE team (https://team.inria.fr/celtique/) has a PhD position
available on the definition of a rule format to specify formal semantics
and derive certified static analyzers in Coq.

To see details and to apply, please go to
https://jobs.inria.fr/public/classic/en/offres/2018-00650

Do not hesitate to forward this email to any appropriate candidate or
mailing list.

Best regards,

Alan Schmitt

--=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82, Mauna Loa Obs. 2018-03: 409.46, 2017-03: =
407.18

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - https://gpgtools.org

iQEzBAEBCgAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAlrUcl4ACgkQBA0KO07S
5ccZ5QgAxPY4ljvwg0N1yq0E9mOVtNwNQJndj1WAxvA19hKefMadJ4ZS37KTzzUF
bVN9Hi+uPT4Kx9t8a4d5lCA5XS8c9Krnp/guKLxzFk2Ig1dWEUcseRoS7EUFmz7+
MaWxaeOyu7evccV0tJ4UD3bADZMaKPuGOvQYnVfr1zUcvBmG1/g9LBXuXceBv0Ps
p4rjrrXhX/BDU71BKFuh3AA0fSID28FIX2TLWCVe6t6R2ZmC+vLulDNxPcNNFUeh
WeyqVIqAcyOoINqaIqX08poi8ARvSwWVYW/RLO9nwZYKaEhOx/WS68/474XWGOa7
VTTdBb2jpsleoGOMkJ0yWo/0T00qMw==
=R2YP
-----END PGP SIGNATURE-----
--=-=-=--