A postdoc position in formal methods and security is available in the Department of Computer Science at Stevens Institute of Technology.
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 (firstname.lastname@example.org)
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.