[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.