[isabelle] Two Ph.D. 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 a Ph.D. position for each of the
Reliable Verification of Software Security (detailed position
* Timing Side Channel Detection and Mitigation (detailed position
The detailed announcements contain information about the position
descriptions, benefits, qualifications, and the application procedure.
Application deadline for all positions: August 22th, 2014. However, we
will consider applications until the positions are filled. The positions
are available from October 1st, 2014, but a later start is also possible.
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.
Jinwei Hu, Ph.D.
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