dation and Synthesis of DWARF Debugging Information
and more broadly on the low-level interface between applications and system
software. This is a new research project funded by a Google Research
Fellowship led by Francesco Zappa Nardelli at Inria Paris, France. The
position is for 1 year wit
registration is May 30, 2012. Please contact:
Régis Vizet - CEA
regis.vizet (at) cea.fr
tel: 0033 1 69 26 47 45
for further informations.
Best regards
Francesco Zappa Nardelli
(http://moscova.inria.fr/~zappa/projects/wmc/)
led by Francesco Zappa Nardelli
(http://moscova.inria.fr/~zappa/).
Applications should include:
* a curriculum vitae
* a brief statement of the particular contribution you would like to
make to the project
* the names and contact details
Semantics and Type Systems
* Compilers
* Concurrency
* Program Verification
* Static and Dynamic Analysis
* Automated Reasoning Tools
* Operating Systems
The position is funded by the ANR WMC project
http://www.di.ens.fr/~zappa/projects/wmc/
led by Francesco Zappa Nardelli
http
another year. Starting date is negotiable (tentatively
October 2013). A keen interest in programming languages,
concurrency, semantics, and compilation is essential.
The position is funded by the ANR WMC project
http://www.di.ens.fr/~zappa/projects/wmc/
led by Francesco Zappa Nardelli (http
another year. Tentative starting date is January 1st, 2015.
A keen interest in programming languages, concurrency, semantics,
and compilation is essential.
The position is funded by the ANR WMC project
http://www.di.ens.fr/~zappa/projects/wmc/
led by Francesco Zappa Nardelli (http://www.di.ens.fr
o/index.en.html
http://www.inria.fr/actualites/colloques/cea-edf-inria/2010/model-algo/programme.en.html
For information, please contact sympo...@inria.fr.
Best regards
Francesco Zappa Nardelli