[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all, SECOMP <https://secure-compilation.github.io/> 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 <https://www.inria.fr/en/centre/paris> lead by Cătălin Hriţcu <http://prosecco.gforge.inria.fr/personal/hritcu/> and external collaborators at University of Pennsylvania <https://www.cis.upenn.edu/>, Portland State University <http://www.pdx.edu/computer-science/>, MIT <https://csail.mit.edu/>, Northeastern University <http://www.ccs.neu.edu/> , Microsoft Research <http://research.microsoft.com/>, and Draper Labs <http://www.draper.com/>. The core team at Inria Paris <https://www.inria.fr/en/centre/paris> is generously funded for 5 years (roughly between 2017 and 2021) by a recently awarded ERC Starting Grant <https://erc.europa.eu/funding-and-grants/funding-schemes/starting-grants>. Over the duration of the project we are looking for excellent students and young researchers for Research Internship <https://secure-compilation.github.io/#intern>, PhD Student <https://secure-compilation.github.io/#phd>, PostDoc <https://secure-compilation.github.io/#postdoc>, Starting Researcher <https://secure-compilation.github.io/#postdoc>, and Research Engineer <https://secure-compilation.github.io/#engineer> positions at Inria Paris <https://www.inria.fr/en/centre/paris>. We can additionally support exceptional candidates for permanent Researcher <https://secure-compilation.github.io/#cr> positions funded and awarded competitively by Inria. More details about each of these positions are available online <https://secure-compilation.github.io/#cr>. Finally, we also have funding for sabbaticals and short-term visits to Paris for researchers with an interest in secure compilation. Regards, Catalin