[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]We are opening a PhD position in collaboration between the LiP6 labat 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.
== ObjectivesThe 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 candidatesWe 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.tas...@lip6.fr> and Sebastien Tasson <sebastien.tas...@renault.com>, joining a detailed CV and a motivation letter.
