[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.tak...@cnam.fr> Tristan Crolard <tristan.crol...@cnam.fr> Nicolas Toper <nto...@manycore.io> https://cedric.cnam.fr https://www.manycore.io