As I announced a few weeks ago, in 2016 I will be moving to the University of Paderborn to start a tenured professorship there. As part of this move, I am looking for a number of new Ph.D. students and also PostDocs. The positions come with full funding for a number of years. You can find more information about these positions here. As stated, please direct your applications to firstname.lastname@example.org
If you have a deep interest in software engineering, especially software security, the I am very much looking forward to your application!
Are you interested in call graph generation for static analysis and machine-driven soundness proof?
If you are interested in becoming a research assistant in our group have a look at the proposal.
We are currently looking for a research assistant who supports us in designing an eclipse plugin to represent Clafer models. These models aim to guide the user on how to use cryptographic components appropriate.
Have a look to the attached proposal and contact us!
We are currently looking to fill a number of positions for Research Assistants in the field of Secure Software Engineering (German version here). These are PhD and PostDoc positions at Fraunhofer SIT where we are looking into developing a novel framework for automated security code analyses. If you are experienced in this area we definitely encourage you to apply!