Positions for Postdocs and Ph.D. candidates

by Heiko Mantel, Aug. 31, 2022

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

- Formal Modeling and Tool-supported Verification

- Efficient and Reliable Run-time Monitoring and Enforcement

- Static Side-channel Analysis and Mitigation

The positions are available immediately.  Applications will be
considered until the positions have been taken.  See


for more information on the positions and on how to apply.