Logic List Mailing Archive

PhD student position in verification of asynchronous distibuted systems, Bordeaux (France)

** PhD POSITION **

The University of Bordeaux proposes a funded PhD position on the 
verification of asynchronous distributed systems. The PhD position must 
start in 2014 and will take place at LABRI (http://www.labri.fr/), France.


** HOW TO APPLY **

Candidates should hold a Master degree in Computer Science (ideally with 
courses in formal verification, theoretical computer science and 
mathematical structures for CS) or equivalently have graduated from a 
Computer Science Engineering School with a strong background in 
theoretical computer science.

Applications should be sent to leroux@labri.fr.
Required documents are:
* a detailed curriculum vitae
* a copy of the master or the PhD diploma
* a reference letter by their master supervisor.


** THE PROJECT IN A NUTSHELL **

Asynchronous distributed systems (such as multi-threaded programs, 
client/server applications, ?) are ubiquitous nowadays, but they are also 
notoriously difficult to design correctly. This is due to the complex (and 
sometimes unforeseen) interactions resulting from asynchronous 
communications. Therefore, there is a growing need for automatic 
verification tools capable of analyzing such systems. This need is 
amplified with the current development of multi-core architectures. The 
last decade has seen a lot of research efforts in this field. This 
proposal aims at providing new techniques for computing high-quality 
abstractions for the analysis of asynchronous distributed systems based on 
various frameworks : program transformation, assume-guarantee, 
interpolation abstraction, abstract acceleration, and learning.


** PHD SUBJECT IN DETAILS **

High-Quality Abstractions for the Verification of Asynchronous Distributed Systems
http://www.labri.fr/perso/leroux/encadrement/PHD-Asynchronous-Distributed-Systems.html


Any further inquiry should be sent to leroux@labri.fr.
-- 
Jrme LEROUX     http://www.labri.fr/~leroux
LaBRI, Domaine Universitaire, Talence, France
Tel : +33 54000 3509     Fax : +33 54000 6669