[TYPES/announce] postdoc in formal methods and security

[David Naumann]

A postdoc position in formal methods and security is available in the 
Department of Computer Science at Stevens Institute of Technology.

The position is in the Flowspecs project on specification and enforcement 
of flexible information flow policies.  We are developing theory and 
prototype tools for high assurance, targetting Android apps including apps 
with web components implemented in JavaScript.  The project team includes 
collaborators from University of Central Florida, Grammatech, and IMDEA 
Software.

The ideal candidate has excellent programming skills and has expertise in 
formal verification of software, security and privacy, web and mobile 
technologies, compilers, and automated reasoning.

The general duties include implementing research ideas to evaluate their 
effectiveness, identifying and pursing new research within the project, 
writing up research for presentation/publication, and engagement with 
other researchers.  The position offers a competitive salary and support 
for travel.

Stevens is a research university founded in 1870, and is located in 
Hoboken, New Jersey, across the Hudson river from New York City.  There 
are excellent opportunities for collaborations with nearby universities 
such as NYU, Princeton, Columbia, and Rutgers/DIMACS as well as major 
industrial research laboratories such as Bell Labs, AT&T Labs, IBM 
Research, Google NYC, and NEC.

All inquiries and application material should be sent to Dave Naumann 
(naumann at cs.stevens.edu)
Applications will be accepted until the position is filled.
Start date: June 2015 or later.
Duration: one year, with possibility of renewal depending on funding 
availability.