A postdoc position is available at the LIX laboratory (Laboratoire d’Informatique de l’École Polytechnique) near Paris, France, starting from November or December 2014, on

Semantics and analysis of GPU computing

The research topic will be to formalize the semantics of programs using GPU computing frameworks such as CUDA and OpenCL, focusing on the most recent features of these parallel platforms, in order to verify such programs. A more detailed presentation of the subject can be found here.

We are looking for candidates with background in one or several of the following fields:

  • programming in C / OCaml
  • concurrency and weak memory models
  • abstract interpretation
  • algebraic topology

Interested candidates can mail the contacts for the postdoc : Samuel Mimram / Éric Goubault / Dominique Rossin / Emmanuel Haucourt.