Email Gateway (Aug 18 2022 at 10:18): Email Gateway (Aug 18 2022 at 10:18):From: mantel <mantel@cs.rwth-aachen.de>
The new chair of Theoretical Computer Science (research areas: Formal
Methods and Information Security, leader: Prof. Dr. Heiko Mantel) in
the Department of Computer Science at the TU Darmstadt is recruiting a
PhD student or PostDoc.
Your research will address the development and application of formal
methods for security engineering. The overall goal is to contribute
to making software systems secure by construction.
More information is available on the webpages of the current group of
Professor Mantel: http://www-i4.informatik.rwth-aachen.de/seceng/ .
Last updated: Nov 21 2024 at 12:39 UTC