Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis

The chair MAIS at TU Darmstadt, led by Prof. Dr. Heiko Mantel,
is offering three positions for Ph.D. candidates and Postdocs
in the following areas:

1. information-flow analysis techniques for object-oriented
programs at the level of source code and bytecode based
on compositional and precise verification techniques
2. experimental analysis of side-channel vulnerabilities in
cryptographic implementations and generation of attacks
exploiting such vulnerabilities
3. program analysis techniques for detecting side-channel
vulnerabilities in cryptographic implementations and for
assessing the seriousness of such vulnerabilities

The positions are available immediately and applications will be
considered until the positions are taken. For more information and
how to apply, see http://www.mais.informatik.tu-darmstadt.de/Positions.html.