Email Gateway (Aug 19 2022 at 15:26): Email Gateway (Aug 19 2022 at 15:26):From: Jinwei Hu <hu@mais.informatik.tu-darmstadt.de>
(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
following areas:
*
Reliable Verification of Software Security (detailed position
announcement at
http://www.mais.informatik.tu-darmstadt.de/assets/misc/201408IsabelleHOL.pdf)
* Timing Side Channel Detection and Mitigation (detailed position
announcement at
http://www.mais.informatik.tu-darmstadt.de/assets/misc/201408Crossing.pdf)
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@mais.informatik.tu-darmstadt.de. For more information about
the chair MAIS, please visit http://www.mais.informatik.tu-darmstadt.de.
Last updated: Apr 25 2024 at 20:15 UTC