[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 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 at mais.informatik.tu-darmstadt.de. For more information about the chair MAIS, please visit http://www.mais.informatik.tu-darmstadt.de.

--
Best Regards
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
http://www.mais.informatik.tu-darmstadt.de




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