coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: nicolas tabareau <nicolas.tabareau AT inria.fr>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr
- Subject: [Coq-Club] Postdoc position at IMT Atlantique, Nantes
- Date: Wed, 12 Sep 2018 09:31:58 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tabareau.nicolas AT gmail.com; spf=Pass smtp.mailfrom=tabareau.nicolas AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f44.google.com
- Ironport-phdr: 9a23:ufSM7Rb4JgAqtUeAAUPuXSL/LSx+4OfEezUN459isYplN5qZr8q9bnLW6fgltlLVR4KTs6sC17KJ9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGoW8b4oTAOoGOeZXtZL9rEYSrRSkHgajHvnvxSFSiX/rwKY31OIhEQDa0wwnG9IBqm/UoM/pNKgISu+61rPIwivZYPNLwjr96Y7Icgogof6WR75wf9DRxFApGgjYgFuQronlMCmU1uQLq2Wb7uxgVfiui2E9sQ1xrCKvyt8siobXgoIa1FbE+jtgzIkpIt24VUp7YdqjEJtWrS2aOZF2T8U/SG9roCY30qMKtYK/cSQQy5kqxwTTZ+Kaf4WL+B7uW+mcLDFlj3x/Yr2/nQy98U24x+38SMa01FFKozJAktbWt3AN0wXf6s+GSvdh50uh1zmC2g/J5uFLJkA0kqXbK5o/zbIqipUTtkHDEjf3mEXwkqCWal0p9va05+njeLnrpZ+RO5Vqhg3jMakigMOyDOsgPggLRWeb+OC81LP5/U3+RbVHluE2nbPCv5/AP8QUuLS2AxJP3oYl6hawEzCm0NACknkcN19FdxeHgJLoO1HKOvz3EfC/g1G0nDdx2//GJqHhAonKLnXbjLjheq9951dAxwo30NBQ/IlZCqoBIfL2Qk/+rsbUDh4/MwyuwuboEs9x1o0EWTHHPqjMLLLKvETN7+QpJPSKb4I9vDfmN+Nj/PPnljkkgVIbe++k0YZTIHu/B7FtJ1iTSXvqmNYIV2kQ7TAzVOj7tFrXVz9YYHK7ROQg7zsyEo+vEK/CQJqsifqPxnSVBJpTM2ZHAVeIGGyga4yOUu0BYT/adslgmTsAXKPnV4Yr3AujvRLSyrx9L+OS9DdO5sGr78R8++CGzUJ6zjdzFcnIizjcHVExpXsBQnoN5I46pEV8zlmZ1q0h2q5XENVS47VCVQJobMeAndw/MMj7X0f6RvnMUEyvG4z0DjQ4T9Z3yNgLMR4kRoeSyyvb1i/vOIc70ryGAJtur/DZ1nn1YsF8kzPIiPVngF4hTc9Cc2ahg/wn+g==
VeRDi - Verified Reconfiguration Driven by execution
We are opening a post-doc position in the VeRDi project.
The VeRDi project is funded by the French region Pays De La Loire
where Nantes is located. VeRDi is an acronym for Verified Reconfiguration
Driven by execution. It aims at addressing distributed software reconfiguration
in an efficient and verified way
The postdoc position is part of the multi-disciplinary VeRDi project.
VeRDi can be divided in two different parts (though strongly related):
(1) the design of efficient distributed reconfiguration models and systems;
(2) the formalization of these models and the formal verification of some properties on them.
The STACK team and the other actors of the VeRDi project are researchers
and engineers specialized in the first aspect of the project.
The role of the postdoc candidate is thus to lead the second research aspect
of the project with Helene Coullon. To help the candidate in this difficult task,
two collaborations have already been initiated by Helene Coullon.
The postdoc candidate will collaborate with the STR team of the LS2N
specialized in Petri Nets and model checking, as well as with
the Northern Arizona University (Frederic Loulergue) for aspects related
to the proof assistant Coq. Moreover, the LS2N also holds the Inria
research team Gallinette, specialized in proof assistants and involved
the Coq development team. Finally, research is already ongoing regarding
the formal and verification aspects of the Madeus deployment model
designed by the team.
This work will be the starting point of the postdoc candidate.
The missions of the postdoc candidate are to:
- formalize and prove few properties on reconfiguration models both statically and at runtime,
- enrich the team and participate to the team decisions from a formal perspective,
- collaborate with other teams specialized in model checking and proof assistants,
- publish in a top ranked conference.
The expected skills of the candidate are:
- a strong knowledge on formalization, model checking and proof assistants,
- an ability to collaborate with other domains and to apply their knowledge to other domains,
- a strong motivation for the project and its subject.
The postdoc position is based in Nantes at the IMT Atlantique engineering school. The candidate will be a member of the STACK research group
(http://stack.inria.fr/). This team is part of the LS2N laboratory of Nantes,
and the DAPI department of IMT Atlantique. This position opens in
November 2018 for a period of 18 months. The salary of the postdoc candidate
will be 33500 with an additional annual bonus of 6.6%. By subtracting taxes
and spreading the bonus on each month, the net salary is equivalent to 2380e.
Please contact Helene Coullon to apply: helene.coullon AT inria.fr
More details are available here:
Nicolas Tabareau
Researcher at Inria
Gallinette Team, Nantes
Researcher at Inria
Gallinette Team, Nantes
- [Coq-Club] Postdoc position at IMT Atlantique, Nantes, nicolas tabareau, 09/12/2018
Archive powered by MHonArc 2.6.18.