** Apologies for multiple copies ** --------------------------------------------------------------------------------- Postdoctoral position (up to two years) on side-channel analysis and avoidance in Hardware at Chalmers University of Technology, Sweden --------------------------------------------------------------------------------- * Important dates: October 30 - Deadline for applications November 5 - Tentative date for interviews * Expected starting date: January 2019. For details, including employment conditions and how to apply, see: <https://web103.reachmee.com/ext/I003/304/job?site=5&lang=UK&validator=a72aeedd63ec10de71e46f8d91d0d57c&job_id=6702> This position is funded by a grant from Intel Corp and will get supervised by Prof. Carl-Johan Seger (<https://www.chalmers.se/en/Staff/Pages/secarl.aspx>) and Prof. Alejandro Russo (<http://www.cse.chalmers.se/~russo/>). Prof. Seger has, after 21 years at Intel corporation, a wealth of experience in verifying Intel's microprocessors and is intimately familiar with the constraints and scale of modern processors. He also has extensive experience in building formal verification tools, and symbolic simulators in particular, for modern microprocessors. Prof. Russo has vast expertise on protecting privacy in modern software systems and his work has impacted different research communities and appeared in prestigious conferences on programming languages, operating systems, and security. The project is dedicated to contribute and further research on (i) utilizing some notion of dependent types to verify security and the presence/absence of side-channels in multi-cycle circuits, (ii) apply symbolic execution techniques to boost accuracy when needed, (iii) implement a tool that combines these techniques, and (iv) perform evaluations on state-of-the-art public domain microprocessor designs. The position is to be carried out within both the Information Security (iSec) and Functional Programming (FP) research groups. Both groups combine world-class researchers in language-based security and functional programming. In addition, there is a strong type-theory research group that can be used as a source of knowledge in dependent types. Competitive candidates will have a strong computer science background, both theoretical and practical, with emphasis on programming languages techniques; expertise in some of the areas of interests for this position; a passion for high-quality software research and development; and excellent analytical and communication skills. Prior publications are meritorious. English is the working language for research in Chalmers's Department of Computer Science and Engineering. For a popular science description of the project, please refer to the following link: https://www.chalmers.se/en/departments/cse/news/Pages/Intel.aspx