Positions for Postdocs and Ph.D. candidates
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
in
Job vacancies
by
Heiko Mantel on
August 31, 2022
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.
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.