<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br class="">Dear all,<br class=""><br class="">Inria Rennes (Tamis team) is recruiting a Postdoctoral Researcher in computer science and engineering in security for the TeamPlay European project (2018-2020). The position is available now.<br class=""><br class="">Additional details below.<br class=""><br class="">Best regards,<br class=""><br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Olivier Zendra<br class=""><br class="">**************************************************************************************************<br class=""><br class="">DESCRIPTION OF POSTDOCTORAL POSITION TEAMPLAY PROJECT @ INRIA<br class=""><br class="">Research Domains: computer science, security, programming languages, software engineering, security properties,<br class=""><br class=""><img alt="page1image8152" apple-inline="yes" id="93D1A6A0-602B-44D5-ADDD-61848C1ED910" src="cid:73F4918D-1E39-4E6D-9AF2-91E81ACDCFE7" class=""><br class="">Research project: Inria TAMIS team / EU H2020 TeamPlay project (<a href="https://teamplay-h2020.eu/" class="">https://teamplay-h2020.eu/</a>)<br class=""><br class=""><img alt="page1image9952" apple-inline="yes" id="132D9C3F-68C9-4955-8BEE-076716EE1351" src="cid:A112F655-7537-4E92-AEAC-51658F1746A8" class=""><br class="">POSITION TITLE: Postdoctoral Researcher in computer science and engineering in security for the TeamPlay European project<br class=""><br class=""><img alt="page1image12424" apple-inline="yes" id="BDC760A4-1FDE-4FEC-8AA3-341ED321FAC5" src="cid:B0AA69D8-F35F-4A9C-97C0-BD07F01E5794" class=""><br class="">Leader of the TAMIS team : Axel LEGAY<br class=""><br class="">Coordinator of the TeamPlay project: Olivier ZENDRA<br class=""><img alt="page1image14656" apple-inline="yes" id="3153504E-55A4-4CCA-A0B7-A6D408ED9662" src="cid:31EFCE49-148C-4503-957F-430F978C909E" class=""><span class="Apple-tab-span" style="white-space:pre"> </span><br class="">Duration of the contract: From now till end of December 2020.<br class=""><br class="">Inria<br class="">=====<br class="">Created in 1967, Inria, the French National Institute for computer science and applied mathematics, promotes “scientific excellence for technology transfer and society”. Graduates from the world’s top universities, Inria's 2,600 employees rise to the challenges of digital sciences. Research at Inria is organised in “project teams” which bring together researchers with complementary skills to focus on specific scientific projects. With this open, agile model, Inria is able to explore original approaches with its partners in industry and academia and provide an efficient response to the multidisciplinary and application challenges of the digital transformation. The source of many innovations that add value and create jobs, Inria transfers expertise and research results to companies (startups, SMEs and major groups) in fields as diverse as healthcare, transport, energy, communications, security and privacy protection, smart cities and the factory of the future.<br class=""><br class="">TAMIS (Threat Analysis and Mitigation for Information Security) project-team<br class="">=============================================================================<br class="">TAMIS is an Inria cybersecurity research team located in Rennes, in wonderful Brittany, France.<br class=""><br class="">Systems security requires both formal and engineering techniques to assess or even secure systems. Modernsystems are networked, use virtual machines to improve security and handle multiple applications concurrently on the same hardware, which is often enhanced to with hardware security modules. The resulting complexity is typically far beyond what formal verification techniques can manage. On the other hand, merely applying engineering techniques to build secure systems has consistently resulted in deployments riddled with significant vulnerabilities.<br class=""><br class="">TAMIS’ central goal is thus to demonstrably narrow the gap between the vulnerabilities found using formal verification and the issues found using systems engineering. Type theory is a representative examplewhere formal verification and software engineering are combined, as in type theory formal methods are used to formally prove the absence of certain classes of bugs. However, it is not the case that the entire system is shown to be formally correct with respect to a morecomprehensive specification, which requires software engineering effort to handle classes of bugs not captured by the type system.<br class=""><br class=""><img alt="page1image33728" apple-inline="yes" id="09A22BD9-EF2E-405A-969A-FD7B7743DD1C" src="cid:397B8377-1773-448D-8537-54AA17A4BEB3" class=""><br class="">TAMIS thus aim at creating tool chains that combine statistical model checking, abstract interpretation, supervisedexecution and manual annotations to efficiently check interesting security properties of realistic systems that were previously not efficiently checkable.<br class=""><br class="">TAMIS have established a strong connection with industry and with international teams recognized in this area, with numerous research contracts both with EU and industry.<br class=""><br class="">TeamPlay EU H2020 project (<a href="https://teamplay-h2020.eu/" class="">https://teamplay-h2020.eu/</a>)<br class="">======================================================<br class="">The work occurs in the context of the TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms) research project that is funded from early 2018 till end 2020 by the European Union.<br class=""><br class="">This project federates 6 academic and 5 industrial partners from 7 European countries and aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first- class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc. The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level.<br class=""><br class="">Our success will ensure significant progress on a pressing problem of major industrial importance: how to effectively manage energy consumption for parallel systems while maintaining the right balance with other important software metrics, including time, security etc.<br class=""><br class="">The project brings together leading industrial and academic experts in parallelism, energy modeling/ transparency, worst-case execution time analysis, non-functional property analysis, compilation, security, and task coordination.<br class=""><br class="">Results will be evaluated using industrial use cases taken from the computer vision, satellites, flying drones, medical and cyber security domains.<br class=""><br class="">Within TeamPlay, Inria and TAMIS lead and coordinate the whole project, while being also in charge of the research aspects more specifically related to security.<br class=""><br class="">Goals of the postdoctoral researcher<br class="">====================================<br class="">Under supervision of the scientists in charge and of the European TeamPlay project, in the TAMIS team of Inria in Rennes, the postdoctoral researcher shall mainly contribute to the project technical lead and coordination, and to the research work pertaining to the non- functional property of security. She/he shall interact with the local senior and junior scientists and engineers working on TeamPlay at Inria, as well as with the other international partners in the project.<br class=""><br class="">Position description (activities)<br class="">=================================<br class="">Main: research and project management for security in TeamPlay, in the TAMIS team:<br class=""><br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Participate to the research on expressing, evaluating and guaranteeing the security and energy non-functional properties in programs<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Participate to the technical lead and coordination of the project by Inria<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Participate to the supervision of junior researchers and engineers at Inria<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Participate to the integration to the project toolchain of the models and tools developed at<br class="">Inria<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Participate to the publication of Inria results in TeamPlay<br class=""><br class="">Additional: participate to project demonstrations locally and abroad<br class=""><br class="">Profile sought (expected competences and qualifications)<br class="">========================================================<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − PhD or Eng.D. in computer science or software engineering<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Software engineering and/or cybersecurity.<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Formal methods, modeling<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Taste for research<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Dynamism, willingness to take initiative<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Team spirit<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Ability to meet deadlines and have them met<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Good writing skills<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• − Good level in written and spoken English<br class=""><br class="">Work conditions<br class="">===============<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• - Salary based on experience, full benefits<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• - Subsidized cafeteria in the premises, subsidized meals outside<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• - Social committee subsidizing various activities<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• - Public transportation (subsidized 50%) 400m from the premises<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• - Large free parking lots around the premises<br class=""><br class="">Work location<br class="">=============<br class="">Research Center Inria Rennes - Bretagne Atlantique <br class="">Allée Jean Perrin, Campus universitaire de Beaulieu. <br class="">Rennes. FRANCE.<br class=""><br class="">Contact :<br class="">=========<br class="">Olivier ZENDRA,<br class="">Inria Rennes - Bretagne Atlantique<br class="">Campus universitaire de Beaulieu. <br class="">35042 Rennes Cedex, FRANCE <br class=""><br class="">Email: <a href="mailto:Olivier.Zendra@inria.fr" class="">Olivier.Zendra@inria.fr</a><br class="">Tel: + 33 299 847 552<br class=""><br class="">Web: <a href="https://jobs.inria.fr/public/classic/en/offres/2018-00596" class="">https://jobs.inria.fr/public/classic/en/offres/2018-00596</a><br class=""><br class="">**************************************************************************************************<br class=""><br class=""><br class=""><div class="">---<br class="">Olivier ZENDRA, <br class="">Ph.D., Inria Researcher<br class="">Olivier dot Zendra at inria dot fr<br class=""><a href="http://members.loria.fr/Olivier.Zendra" class="">http://members.loria.fr/Olivier.Zendra</a><br class="">+ 33 299 847 552<br class=""><br class="">Inria Rennes - Bretagne Atlantique<br class="">Office F-436 Red<br class="">Campus universitaire de Beaulieu<br class="">35042 Rennes cedex, France<br class=""><br class=""><br class=""><br class=""></div></body></html>