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 .