[isabelle] Position for PhD students and PostDocs

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/ .

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.