Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Open positions on secure compilation at Inria Paris funded by ERC grant

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 PennsylvaniaPortland State UniversityMITNortheastern University, Microsoft Researchand 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 ParisWe can additionally support exceptional candidates for permanent Researcher positions funded and awarded competitively by Inria. More details about each of these positions are available onlineFinally, 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.

Top of Page