PhD scholarship in Secure Services
Eric | January 5, 2011UPDATE: The position had been filled.
I am happy to announce that, through CASED, I received generous funding from the Horst-Görtz foundation to establish a junior research group. As of now, I am therefore looking for an excellent student who is interested in doing cutting-edge research with me.
I am generally interested in using static and dynamic analyses to prove safety and security properties of (Java) programs, and the student will generally be expected to deliver excellent research in this area. Technologies that can be built on include, but are by no means limited to, Soot, abc and TamiFlex.
The student will be co-supervised by Prof. Mira Mezini. You can find more information about this position here.