[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------------------------
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
