Email Gateway (Sep 01 2022 at 06:57): Email Gateway (Sep 01 2022 at 06:57):From: Heiko Mantel <contact@mais.informatik.tu-darmstadt.de>
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
https://www.mais.informatik.tu-darmstadt.de/Positions.html
for more information on the positions and on how to apply.
Last updated: Apr 29 2024 at 04:18 UTC