coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PostDoc position at Inria Paris on Formally Secure Compilation in Coq

From: Catalin Hritcu <catalin.hritcu AT gmail.com>
To: Coq Club <coq-club AT inria.fr>, types-announce AT lists.seas.upenn.edu, csf-attendees AT mail-infsec.cs.uni-saarland.de, security AT fosad.org
Subject: [Coq-Club] PostDoc position at Inria Paris on Formally Secure Compilation in Coq
Date: Fri, 4 Jan 2019 14:52:23 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f67.google.com
Ironport-phdr: 9a23:DsJ0ohHRURhUYrPAXoKSAJ1GYnF86YWxBRYc798ds5kLTJ7yoc+wAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlCYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6zaYN0aWHFBXt5PWCNdHoOyYYwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi3OsvEQ/I0g89EdwQrHvZt8n1OLsIXOyp0KXE0TfOYvVL0jn98ojIdRUhrOmSUL1qbcre000vFwLDjl6Nq4LlJTKV1vgRvGiG8uFtUv6ghHQ7qw5rpjivx8EshpPJhoIPy1DE6Tl2wJsuKN23TU50e9+kEJ9Kuy6GMIt2R9ovTmd1syg0zb0GvIS0fCkMyJk/xh7fbeaHc4mS7R75WuaROy90hH1keLKjhxay7FOvxvf9Vsmz1ltBsylLksHUu3wTyxDe7tKLR/h980u7xzqDygLe5vtFLE02k6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgk//Kn6+XjYrn/uJ+cLJJ4hhjwMqkvmMGzG+s4Mg8JX2iU/eSzyqfv8lH+QLVPlvE2k6/Zv47GJckDuKK1HwtY3pwg5hu/FTuqzskUkHsdIF9Eeh+Ll43pNEvPIPD8A/e/mVOskDJzyv/aJLLhHo/CLnzCkLfnZ7p961RcyAsvzd9D+pJZEb4BIPfpVU/wsNzUFAM2Mwuxw+r/EtVyypseWX6TAq+eKK7drViI5vs2L+aQYI8VpS3yJuM+5//uiH85gUUScbOo3ZsRcnC4H+5pL1+XYXr20Z89FjIhuRN2Z+j3ghXWWjlKIn22QqgU5zchCYvgA52VAsixkaSMx2KyGJtRe2ZNB3iIEGz0bMOfVv4XLj+KL8ln1DEISPzpQJQvkBiyqAL8x7dqNcLR8ywc8JPl2sN47KvYjlcv8z0xFM2UyWWESW0ykm5MDyQ7171loFBs4lmEyqF0xftCGo99/fRMBywzKZfYzuoyK8rzRgncNoOCQUqvRtSgRzErT8463vcBZk98H5OpiRWVjHniOKMci7HeXM98yanbxXWkYpskkieU5Owal1AjB/B3Gyijj697+RLUAteQwUqcnqeuM68b2XyUrTvR/S+1pEhdFTVIf+DdR3lGPxnZqN344gXJSLr8Ue16YDsE8taLL+5xUvOsjVhCQ62+atHXYmb0hXzpQBjWmfWDa43lf2hb1yLYWhAJ

Hello,

A PostDoc position is available in my group 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
Here are some (non-exhaustive) lists of potential research topics:
http://prosecco.gforge.inria.fr/personal/hritcu/temp/habil/catalin_habil.pdf#page=80

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 me if you are interested!

Regards,
Catalin

[Coq-Club] PostDoc position at Inria Paris on Formally Secure Compilation in Coq, Catalin Hritcu, 01/04/2019