Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at IMT Atlantique, Nantes

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at IMT Atlantique, Nantes


Chronological Thread 
  • 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


  • [Coq-Club] Postdoc position at IMT Atlantique, Nantes, nicolas tabareau, 09/12/2018

Archive powered by MHonArc 2.6.18.

Top of Page