[TYPES/announce] postdoc position in security modeling and analysis

[David Naumann]

Modeling and analysis of security protocols
===========================================

One post-doc position is available in the Department of Computer Science,
Stevens Institute of Technology.

The project is led by Professors Susanne Wetzel and David Naumann.  It involves
development of analytic models and simulations of wireless network protocol
stacks, including both abstract protocol specifications and actual
implementations. We will create techniques and tools that integrate automated
formal methods of exhaustive analysis with guided runtime testing.

The post-doc's primary responsibilities will include: Development of detailed
design models; specification of secrecy, authenticity, and other properties of
the models; static analysis of models and implementations using model-checking,
type-checking, and other techniques; collaboration with other team members on
testing and simulation.

The work will be conducted at Stevens Institute of Technology, in Hoboken, New
Jersey, across the Hudson river from New York City.

Expected skills: (a) PhD in computer science (or equivalent) with a publication
record in security, in particular analysis of security properties of
implementations; (b) familiarity with model-checking, runtime assertion
checking, and type-based static analysis for access control and information 
flow policies; and (c) good written and oral English skills.

The post-doc can start until January 2009, and will last 12 months. Salary will
be competitive based on qualifications and experience. A second year is 
possible based on accomplishments and availability of funds.

The application should contain the following (a) a curriculum vitae including a
list of publications and software products as well as statement of research
goals; (b) names and email addresses of two references.

Applications and questions should be sent by email to the address you infer 
from this:  naumann  cs DOT stevens DOT edu

Applications received by December 8, 2008 will receive full consideration and
applications may be considered until the position is filled.

Positions are contingent upon completion of the PhD.  Stevens Institute of
Technology is an affirmative action/equal opportunity employer; women, 
minorities, veterans, and disabled persons are encouraged to apply.