2022-05240 - Post-Doctoral Research Visit F/M Automatic parallelization of C++ codes using the task-based method (C++, OCaml, compilation, parallelization, OpenMP)
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Post-Doctorant

Contexte et atouts du poste

The Inria CAMUS/ICube ICPS research team focuses on parallelization, optimization, profiling, modeling, and compilation. The team has increasing interests in the approaches used and enhanced in the high-performance community.

The team is located in Illkirch and is part of the Inria Nancy lab and the ICube lab.

Mission confiée

The AUTOSPEC project focuses on building a new source to source compilation layer to transform a C++ “sequential” code into a “parallel” one by inserting OpenMP pragma in it. Inserting OpenMP tasks and obtaining a parallel execution is not so difficult in itself.

However, the main challenges are to predict the execution times of the potential tasks, to transform the source code to increase the degree of parallelism, and to support the larger part of the C++ as possible. These topics will be the core of this Postdoc.

The postdoc is funded by the ANR JCJC AUTOSPEC project.

Principales activités

The candidate will have to master our internal compiler written in OCaml (based on clang), and which will be the main tool for the research activities. He/She will improve this tool by adding new mechanisms to manage corner cases that constraint the parallelization possibilities. Then, he/she will work on the granularity of the tasks.

Compétences

  • PhD (Computer Science or equivalent)
  • Proactive, high interest in solving problems
  • Knowledge of C++
  • Knowledge of OCaml would be helpful
  • Knowledge either on compilation (AST) or parallelization (multi threads)
  • We use Git (Gitlab)

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage

Rémunération

2746€ gross/month