PhD scholarship in Secure ServicesEric | January 5, 2011
UPDATE: 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.