Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in specification and verification of data-aware systems, Evry (France)

Deadline: Monday 9 January 2017

A PhD position is available within the JCJC project SVeDaS - Specification and Verification of Data-aware Systems, funded by the French Agence Nationale de la Recherche (ANR).

*The Project*

The JCJC project SVeDaS, led by Dr Francesco Belardinelli, is centered around Data-aware Systems (DaS). In recent years Data-aware Systems have been put forward as a comprehensive framework to model complex business workflows by considering data and processes as equally relevant tenets of the system description

The SVeDaS project is designed to advance the state-of-the-art in the modelling, analysis and deployment of data-aware systems by using a novel, compositional, agent-based approach to their specification and verification.

For further information please visit

https://www.ibisc.univ-evry.fr/~belardinelli/Projects.html

or see

https://www.ibisc.univ-evry.fr/~belardinelli/Documents/ANR2016.pdf

*The Position*

The PhD position is a fixed-term contract over 3 years, the time normally allocated to a PhD in France. The PhD student will be part of the Laboratoire IBISC (Informatique, Biologie Intégrative et Systèmes Complexes) of the Université de Saclay.

*Candidate's Profile*

- The candidate is required to have a very strong background in computer science, logics and formal methods - Must be capable of programming in the most popular programming languages, including C, C++, Java - Needs to have obtained a higher education degree in computer science or related area, with excellent grades - Commitment, team working and a critical mind are also required - Previous experience in formal verification by model checking and/or logics for multi-agent systems is preferred - Good knowledge of the English language is mandatory. Knowledge of the French language is not strictly required

For enquiries please contact

Dr Francesco Belardinelli, Laboratoire IBISC, Evry, France.

Email:

*How to apply*

Please send the following documents in pdf format to with the email subject ?SVeDaS - Application to PhD position?:

- Academic CV - Covering letter stating why you consider yourself suitable for the position and in which ways you intend to contribute to the SVeDaS project (maximum 2 pages A4)

References do not need to be included with the application, but shortlisted applicants will need to send 3 reference letters at least before interview.

Closing date: 9 January 2017

Expected start date: February 2017

You should assume that your application has been unsuccessful if you have not heard from us by 4 weeks after the closing date.

-- Francesco Belardinelli Departement d'Informatique Université d'Evry www.ibisc.univ-evry.fr/~belardinelli/

Applications must be received before 9 January, 2017

Please note that this newsitem has been archived, and may contain outdated information or links.