Email Gateway (Aug 18 2022 at 18:17): Email Gateway (Aug 18 2022 at 18:17):From: Thomas Genet <Thomas.Genet@irisa.fr>
Dear all Isabelle users,
here is a Postdoc position available at INRIA Rennes, France
A postdoc position for 1 year is available at INRIA Rennes - Bretagne
Atlantique.
The research will take place in the Celtique team
(http://www.irisa.fr/celtique/).
The task will consist in developing certificates of software which makes
it possible
for a user to check a downloaded code, in an automatic manner and extremely
quickly. A program producer can hence verify the security of his
program with a
large amount of computation resource before distributing it with a
certificate that
helps the consumer to replay the verification program but with very far
fewer resources.
Candidates should have a background in program verification. Additional
knowledge in one or more of the following topics will be appreciated:
- static analysis,
- theory of abstract interpretation,
- language-based security,
- deductive verification,
- decision procedures,
- probabilistic verification
Knowledge of the French language is not required.
Start of contract: ideally, the candidate will start working in
september or october, but
we can accomodate a later date.
Salaries: usual INRIA postdoc salary (2,357.30 euros gross/month, i.e.
1923,26 euros net/month).
Social security benefits:
- Entitled to unemployment benefit at the end of the contract;
- Affiliated to the French social security system.
Candidates should submit to david.pichardie[at]irisa.fr,
thomas.genet[at]irisa.fr and thomas.jensen[at]irisa.fr
- A CV including a list of publications
- A one-page research statement
- Referee reports for the PhD thesis if any
- Contact information for two references (including the PhD supervisor)
Last updated: Nov 21 2024 at 12:39 UTC