[TYPES/announce] PostDoc at Inria, Paris, on Validation and Synthesis of DWARF Debugging Information

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 with possible

[TYPES/announce] PostDoc position at INRIA / ENS Paris, France

for 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

[TYPES/announce] PostDoc position in Paris, France on weak-memory concurrency and compilation

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

[TYPES/announce] PostDoc position in Paris, France on weak-memory concurrency and compilation

(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

[TYPES/announce] summer school on Coq

/actualites/colloques/cea-edf-inria/2010/model-algo/programme.en.html For information, please contact sympo...@inria.fr. Best regards  Francesco Zappa Nardelli