[isabelle] Two PostDoc Positions in Software Security
(Apologies for cross-posting)
The chair Modeling and Analysis of Information Systems (MAIS) of Prof.
Dr.-Ing. Heiko Mantel in the Department of Computer Science at TU
Darmstadt, Germany, is offering two PostDoc positions:
- Concurrent Program Security (detailed position announcement at
- Information-Flow Security by Design (detailed position announcement at
The detailed announcements contain information about the position
descriptions, benefits, qualifications, and the application procedure.
The positions are available from September 1st 2015, but a later start
is also possible. We will consider applications until the positions are
Questions about the positions can be sent to
recruiting at mais.informatik.tu-darmstadt.de. For more information about
the chair MAIS, please visit http://www.mais.informatik.tu-darmstadt.de.
Modeling and Analysis of Information Systems,
Department of Computer Science, TU Darmstadt
Tel.: +49 6151 16-6432 Fax: +49 6151 16-5326
This archive was generated by a fusion of
Pipermail (Mailman edition) and