[TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris

[Christine Tasson]

We are opening a PhD position in collaboration between the LiP6 lab
at Sorbonne Université, Paris and the Renault Software labs based in 
Toulouse.

The PhD will start in the first semester of 2022 and the position is for 
3 years. The job will be mainly in Paris, Campus Jussieu with some visit 
at Renault in Toulouse.

== Objectives

The project aims at designing the prototype of a Domain Specific 
Language based on functional reactive programming and used to model 
automotive systems. The language will be compiled to high insurance 
programming languages such as SCADE and to interoperable language such 
as Kotlin.

== Expectations from the candidates

We expect some experience in the field of formal methods of software 
engineering, in a general sense. The typical candidate would be someone 
who graduated im Computer Science with a curriculum in Programming 
Languages (compilation, functional programming or reactive programming, 
practice of shared development).

== How to apply

The PhD position should be filled as soon as possible and before June 2022.

The first step to apply is to contact Christine Tasson 
<christine.tasson at lip6.fr> and Sebastien Tasson 
<sebastien.tasson at renault.com>, joining a detailed CV and a motivation 
letter.