Applications are invited for a PhD position in the research group of Dr. Swen Jacobs at the CISPA Helmholtz Center for Information Security.
The scientific assistant will work on one or more of the following topics:
– development of new approaches for the automatic verification, repair, or synthesis of provably secure programs and systems, based on insights in formal specifications, automated reasoning, and automata theory,
– efficient implementation of methods that solve the automated verification and synthesis problem in practice, and
– investigation of methods that reduce verification and synthesis of systems with a parametric number of components to reasoning about fixed-size systems.
The scientific assistant will have the possibility to pursue doctoral studies in association with the Saarbrücken Graduate School of Computer Science (http://gradschool.cs.uni-saarland.de).
The position is paid well, according to the collective labor agreement TVÖD, and includes full benefits. The initial contract will be for three years, with a possibility of renewal. The starting date is flexible, sooner is better.
There is no deadline for applying – we will process applications as they arrive until a suitable candidate is found.
How to Apply
For submission of your application (CV, certificates/transcripts, letter of motivation) or further inquiries, write to Swen Jacobs: jacobs@cispa.saarland
狗仔卡
收藏
淘帖
好苗
杂草
提升卡
置顶卡
关贴卡
开贴卡
变色卡
千斤顶
