2019-01408 - Post-Doctoral Research Visit F/M Post-Doctoral Researcher Position on Secure Compilation in Coq

Contract type : Public service fixed-term contract

Renewable contract : Oui

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit


A PostDoc position is available in the Prosecco team at Inria Paris on Formally Secure Compilation in Coq (https://secure-compilation.github.io). I am seeking outstanding candidates with a strong, internationally competitive research track record. Particularly interesting for us is research expertise in:
- formal verification in the Coq proof assistant and verified compilation in particular (e.g. CompCert)
- security foundations, e.g., reference monitoring, hyperproperties, noninterference

The following two recently papers should provide a good idea for the
kind of research we're currently doing:
And here is a (non-exhaustive) lists of potential research topics:
We are open to new ideas though.


Candidates are expected to work collaboratively on project-relevant topics and help advise students, but can also dedicate some of their time to their own independent projects. For exceptional candidates with enough experience we can also discuss about Starting Researcher
positions, who can propose and follow their own research agenda and be fairly independent. Our team can also support such exceptional candidates for permanent Researcher positions funded and awarded competitively by Inria. Further details about these various positions are available at https://secure-compilation.github.io/#positions

Do not hesitate to contact Catalin Hritcu <catalin.hritcu@inria.fr> if you are interested!

Main activities

  • research on SECOMP topics (see above)
  • helping advise students
  • independent research on other project-relevant topics

Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training