Post-Doc Position Available
Design and Verification of the NEO Peer-to-peer Storage Protocol
Laboratoire d'Informatique de Paris Nord
LIPN - CNRS UMR 7030
University Paris 13, France
The Specification and Verification group of University Paris 13 Computer
science laboratory is seeking candidates for a Post-Doc position.
The activities will target algorithms, methodologies and tools for the
design and verification of a large scale peer-to-peer storage
protocol. Once
validated, this protocol will be published as libre software.
The activities will mainly focus on the following topics:
- Modelling with high-level Petri nets
- Formal specification of expected properties
- Verification of properties in different work regimes
- Proposal of protocol improvements
- Application to real case-studies
The activities will be carried out within the NEOPPOD project, which is
about to start. This project, financed by European regional funds,
involves
6 partners: 4 university research labs (Paris 13, Paris 6, Mines de
Paris, Univ.
Dakar) and 2 companies (Nexedi, Pilot/Objectis).
The successful candidate will be enrolled with a 2-years contract
and will be subject to a 3-months trial work period.
Candidate Profile
=================
The ideal candidate should have a Ph.D degree in computer science,
combine solid theoretical background and software development skills,
and have some degree of autonomy.
The candidate should be able to work in a collaborative environment,
with a strong commitment to reaching research excellence and achieving
assigned objectives.
In depth previous experience in at least one of the following areas is
required:
- High-level Petri nets
- Specification of large systems
- Software Verification
An experience with ZODB will be most welcome.
Applications and Inquiries
==========================
Interested candidates should inquire for further information and/or
apply by sending email to laure.petru...@lipn.univ-paris13.fr.
Applications should contain a statement of interest, with a Curriculum
Vitae, and three reference persons. PDF format is strongly encouraged.
The applicants should also indicate when they will be available to start
working.
Please note that the position is already open, and applications will be
evaluated upon arrival. The position will be filled as soon as possible.
Contact Person
==============
Laure Petrucci
laure.petru...@lipn.univ-paris13.fr
--
----------------------------------------------------------------------
Laure Petrucci laure.petru...@lipn.univ-paris13.fr
LIPN, UMR CNRS 7030, Institut Galilée - Université Paris XIII
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 28 61 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
