[TYPES/announce] PhD positions in Language-based Security

David Naumann naumann at cs.stevens.edu
Tue Oct 16 14:36:24 EDT 2012

| PhD Studentships in Programming Languages-Based Security |

Research assistantships for Ph.D. students are available at
Stevens Institute of Technology in the areas of policy
specification and program analysis tools for security.

The research group of Prof David Naumann is investigating
how to specify information flow policies for mobile apps,
web applications, and embedded systems, and to enforce
policies using static analysis, dynamic monitoring, and
formal verification.  The group has extensive international
collaborations with industry and academia. The PhD positions
are funded by the National Science Foundation and the 
Department of Homeland Security.  More at

Candidates must hold a degree in computer science or a
closely related discipline, with strong background in at
least some of these areas: programming languages, compilers
or program analysis, security, logic or formal methods. You
should have interest in performing original scientific
research, presenting the results in top conferences and
scientific journals, and collaborating with other students
and researchers.  You are self-motivated and are able to
work both independently and as a team player.

Stevens is conveniently located just across the river from
mid-town Manhattan NYC, within commuting distance of several
of the top universities and research labs in the US.
Stevens has strong research groups in related areas
including mobile and embedded systems, software assurance,
cryptography, privacy-preserving data mining, botnets and
malware, artificial intelligence and bioinformatics.

Positions are available starting Spring 2013 or later.  Full
financial support is provided.  There are no teaching duties
in the first two years.  Inquiries should be sent to
naumann at cs.stevens.edu.  General information about the PhD
program may be found at

More information about the Types-announce mailing list