[TYPES/announce] Postdoc position on Automatic Parallelization of Dalvik Bytecode at CNAM, Paris

[Tristan Crolard]

Postdoc position on Automatic Parallelization of Dalvik Bytecode

Applications are invited for a Postdoctoral Research Fellow position
working on automatic parallelization of Android applications. While
modern smartphones possesses powerful CPUs with many-cores, smartphone
applications often tend not to fully exploit all the available power.

The overall aim of the project is to investigate the possibility of
automatic parallelization of Dalvik bytecode to improve applications
performances on multicore architectures. Dalvik bytecode is used as
the distribution format of Android applications. Android Runtime (ART)
compiles Dalvik applications into native machine code upon
installation. We propose to investigate high level parallelization of
Dalvik code before deploying it on ART.

This project is a collaboration between the CEDRIC laboratory of CNAM
and manycore.io. The postdoc will take place in Paris both at the CEDRIC 
laboratory and at manycore.io. The postdoc will be supervised by
Pr. Tristan Crolard and Dr. Sami Taktak at CEDRIC laboratory and
Nicolas Toper at manycore.io. The postdoc is available for a period of
1 year.

The successful candidate will have to develop a formal model of Dalvik 
code and formalize code transformation for automatic parallelization of 
Android applications. The work will involve developing techniques that
combine programming languages semantics, compilation and formal methods.

To apply you must hold (or be close to achieving) a PhD in Computer
Science. You should have demonstrated your research competence in formal 
methods and/or programming languages semantics and compilation. You
should also have a strong mathematical background, good programming
skills. English proficiency is required.

Interested applicants are encouraged to contact us with inquiries.

Sami Taktak <sami.taktak at cnam.fr>
Tristan Crolard <tristan.crolard at cnam.fr>
Nicolas Toper <ntoper at manycore.io>

https://cedric.cnam.fr
https://www.manycore.io