coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Open positions on secure compilation at Inria Paris funded by ERC grant
Chronological Thread
- From: Catalin Hritcu <catalin.hritcu AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Open positions on secure compilation at Inria Paris funded by ERC grant
- Date: Mon, 19 Sep 2016 14:36:49 +0200
- 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-lf0-f48.google.com
- Ironport-phdr: 9a23:3v86ZBB2LjhfO1TNGOSlUyQJP3N1i/DPJgcQr6AfoPdwSP76p8bcNUDSrc9gkEXOFd2CrakV0qyG7+u8BiRAuc/H6y9SNsQUFlcssoY/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUqabtcm81viz9pvPeE0IwWPlOfIhZCmx+C7Wr4E9hZZoYvI6zQKMqX9VccxXw3lpLBSdhUCvyN23+ctI+jhZv/Mnv+5aULnxYuxsRrVEBTAnNSY1/sz3vgTrQg6G539aWWITxEkbSzPZ5Q33C8+i+hDxsfBwjWzDZZX7
Dear all,
SECOMP is a research project aimed at building the first efficient formally secure compilers for realistic programming languages. The project brings together a core team at Inria Paris lead by Cătălin Hriţcu and external collaborators at University of Pennsylvania, Portland State University, MIT, Northeastern University, Microsoft Research, and Draper Labs. The core team at Inria Paris is generously funded for 5 years (roughly between 2017 and 2021) by a recently awarded ERC Starting Grant.
Over the duration of the project we are looking for excellent students and young researchers for Research Internship, PhD Student, PostDoc, Starting Researcher, and Research Engineer positions at Inria Paris. We can additionally support exceptional candidates for permanent Researcher positions funded and awarded competitively by Inria. More details about each of these positions are available online. Finally, we also have funding for sabbaticals and short-term visits to Paris for researchers with an interest in secure compilation.
Regards,
Catalin
- [Coq-Club] Open positions on secure compilation at Inria Paris funded by ERC grant, Catalin Hritcu, 09/19/2016
Archive powered by MHonArc 2.6.18.