Postdoc position on Logical Causality in Distributed Systems

Required Skills

Candidates must have a PhD in computer science. Expertise in formal
methods and programming experience are required.

Context

The research will be conducted in the INRIA research center in
Grenoble in the context of a multidisciplinary project involving
both computer scientists and lawyers.

  Grenoble is the capital of the French Alps and one of the most
active areas in Europe for research in Information and Communication
Technologies.

  INRIA is the French National Institute for Research in Computer
Science and Control. Created in December 1992, the INRIA Rhône-Alpes
research unit hosts about 700 people, including more than 150
researchers and the same number of PhD students.

    http://www.inrialpes.fr/
    http://pop-art.inrialpes.fr/
    http://licit.inrialpes.fr/

Contact

The position is for 12 months. Applications, including curriculum
vitae and bibliography, and the names and email addresses of two
references, should be sent to Gregor Gössler and Daniel Le Métayer:
gregor dot goessler at inria dot fr and daniel dot le dash metayer at
inria dot fr.

--
Gregor Gössler    
INRIA Grenoble - Rhône-Alpes, POP ART project team