Our project is the FORMES project at LIAMA, the sino french laboratory,
a cooperation project between INRIA in France and Tsinghua University in China.
One part of this project is processor simulation.
We want to develop a translator from machine code
to Intel x86, using LLVM as intermediate language.
We have a post-doc position opened on this topic for about one year.
The job is located at Tsinghua in Beijing,
but under conditions from France INRIA.
Candidates may apply directly on INRIA web site at
and/or contact me for additional information.