Within the context of the MIDAS European project
(http://www.midas-project.eu/overview/), the
LIP6 at the University Pierre et Marie CURIE (France) is hiring a
research engineer for SOA testing automation in Cloud computing for a
duration of 18 months.
The main challenge is to use model checking techniques and tools
(most of which are integrated in the Cosyverif platform:
http://www.cosyverif.org) to generate tests out of entry
specifications in UML state machines and additional constraints.
Tests will either be quasi-exhaustively generated or
following an iterative guided approach. The output tests will follow
the consortium agreed-upon notations, namely sequence diagrams and
TTCN3 manipulated by means of an API.
The hired person will be in charge of designing, implementing and
testing the systematic test generator component. His/Her activities
in this mission will thus encompass:
- gathering and formalizing requirements from scientists and
industrial partners in the project,
- designing the architecture of the test generator component
subsystem, in agreement with the main partners of the Work Package 3,
- implementing the subsystem,
- testing and integrating the subsystem in the wider architecture of
the test generator component,
- assistance to the Work Package responsible for integrating all
components and deploying the platform,
- documentation.
The candidate should ideally have at least several of these
experience and skills:
- knowledge of formal verification, and related notations and
techniques (e.g, Petri nets, model checking)
- experience in the realization of distributed software and
experience in programming (mostly C++ or Java)
- capability to communicate in English with international scientists
and industrials
- open, constructive and will to learn and tackle new challenges
Location: LIP6 (MoVe team), Université Pierre et Marie CURIE
4 Place Jussieu
75252 Paris Cedex 05
Some trips in Europe to attend the project technical meetings will be
necessary.
Start: ideally by the end of 2013
Duration: 18 months.
Monthly salary: 2500 Euros (gross), according to experience.
Start of the contract: as soon as possible and possibly before the end of 2013
Applications should be sent via email, including a detailed CV and
all the elements allowing to assess the relevance of the candidate's
profile to the mission. Send your application to Fabrice Kordon
([email protected]) and Lom M. Hillah
([email protected]).
--
--------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, Bureau 26/25-212
Fax: +33 1 44 27 74 95 4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/
----
[[ 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: ]]
[[ [email protected] ]]
