PhD Position F/M Design and compilation of a mixed synchronous/asynchronous data-flow language

Télécharger l'offre au format PDF
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

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 :

  • Julien Forget (Sycomore)
  • Patrick Baillot (Sycomore)
  • Sylvain Salvati (Links)

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

  • 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