Call for Ph.D. in Reversible Debugging of Concurrent Programs

by Ivan Lanese, June 10, 2019

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 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 <[email protected]> and Prof. Ivan Lanese <[email protected]>

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