Postdoc in formal methods and security

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 (
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.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s