Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Position for PhD students and PostDocs

view this post on Zulip 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: May 03 2024 at 04:19 UTC