The Coq mailing list

[Heiko Mantel <Heiko.Mantel AT inf.ethz.ch>]

The research group Formal Methods for Security Engineering in the
Department of Computer Science at the RWTH Aachen University is
recruiting, for August 2005 or later,

                  PhD students or PostDocs

More information on the positions and on the group can be found at
http://www-i4.informatik.rwth-aachen.de/~mantel

-- 
Dr. Heiko Mantel, Information Security, ETH Zentrum, IFW C43.1, CH-8092, 
Switzerland
http://www.infsec.ethz.ch/people/hmantel    ;