- Julien Forget (Sycomore)
- Patrick Baillot (Sycomore)
- Sylvain Salvati (Links)
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
PhD Position F/M Design and compilation of a mixed synchronous/asynchronous data-flow language - Villeneuve-d'Ascq, France - INRIA
Description
Contexte et atouts du poste
The PhD thesis is funded by the University of Lille and will take place at the CRIStAL and INRIA within the INRIA/CRIStAL teams Sycomore and Links.
The supervisors are :
Mission confiée
Synchronous programming is now a well-established programming paradigm
in the area of critical embedded systems design. Synchronous semantics is
based on solid, elegant and yet simple mathematical foundations, which enable
to handle the compilation and verification of a synchronous program in a formal
way. In synchronous data- flow languages, such as Lustre, variables and
expressions denote infinite sequences of values called flows, and clocks define
the rate at which flows produce values. The synchrony constraint essentially
requires computations to operate only on flows that have the same clock.
Synchrony greatly simplifies system design, however it tends to be overly
constraining when considering modern embedded systems. For instance, it is
poorly adapted to design systems executed on distributed hardware architectures,
systems consisting of several execution modes, or systems that include
computations that exhibit large execution time variability. Asynchrony is
less constraining but also tends to be less deterministic, which is an important
drawback when targeting critical embedded systems.
The objective of this Ph.D. thesis is to design a data-flow language that allows
to mix synchronous and asynchronous features in the same program. As we
target critical systems, the language semantics, analysis, and compilation will
be defined formally.
Principales activités
The successful candidate will conduct research on clock type systems and develop the main results
within the Prelude software.
Compétences
The candidate should have a good command of English. The PhD will take place in France, though speaking French is not mandatory, it can certainly be of interest for the candidate.
Avantages