[Haskell] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology)

[Alejandro Russo]

** 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