[TYPES/announce] Call for Ph.D. in Reversible Debugging of Concurrent Programs

[ivan.lanese]

The French ANR project DCore is seeking applicants for a PhD student
position. The PhD will be shared between the Spades team at INRIA
Grenoble, France and the Focus team at University of Bologna, Italy.
Salary is according to French standards.

The DCore project aims at building a reversible debugger and abstract
analyser for concurrent Erlang programs.  The PhD position is referred
to the part of reversible debugging and will include both theoretical
and practical aspects.  A reversible debugger allows one to explore a
(concurrent) program execution back and forward looking for the
bug. The starting point of the research effort will be the reversible
debugger CauDEr for Erlang:

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018: 
247-263

https://github.com/mistupv/cauder

and the theory of causal-consistent reversibility and debugging
described in:

Ivan Lanese:
>From Reversible Semantics to Reversible Debugging. RC 2018: 34-46

The successful applicants will be expected to contribute to this
research effort, which will include both semantic foundations,
programming abstractions, and practical implementations.

Requirements for application:
* Master Degree in Computer Science, Mathematics, or related field
* Good background on programming languages and concurrency theory

Application procedure:

* Applications must be submitted online from:
   https://jobs.inria.fr/public/classic/fr/offres
   The post description is available at:
   https://jobs.inria.fr/public/classic/fr/offres/2019-01274
   Applications should include a curriculum, a publication record
   and a statement of interest. Informal enquiries can be sent via
   e-mail to Prof. Jean-Bernard Stefani <jean-bernard.stefani at inria.fr>
   and Prof. Ivan Lanese <lanese at cs.unibo.it>

* There is no deadline for application, applications will be
   considered on a first-come first-served basis.