[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PostDoc & Internship Positions at Naval Research Laboratory



POSTDOC POSITIONS AND SUMMER INTERNSHIPS
Naval Research Laboratory
Center for High Assurance Computer Systems
Washington, DC 20375

Topic Area: Formal Methods for Software Engineering

The Software Engineering section of NRL's Center for High Assurance
Computer Systems is hiring interns for Summer 2012 and postdoctoral
fellows for positions to begin this year. The available positions
are related to several ongoing projects within the section, all in
the general area of formal methods for software engineering of critical
systems.

The focus of the sectionís research program is to develop formal,
mathematically based methods, models, algorithms, theories, and tools
supporting both the construction and analysis of software at different
levels of abstraction from requirements through binary code. Applying
such methods and tools is necessary in the development of high assurance
software such as autonomous systems, weapons systems, and security
devices, that must satisfy critical system properties. Important
classes of properties include safety, timing, fault tolerance, and
security. Topics of current research include:

*compositional model-based techniques for software construction and
analysis

*construction and analysis of hybrid (continuous and discrete) timed
models

*combining models from different modeling domains (e.g., software
models, cognitive models, sensor models) to provide more robust
analysis of cyber-physical systems

*verification techniques and tools, including decision procedures
and theorem proving

*relating assertions in source code to system properties

*role of mechanically generated assertions and code contracts in
reasoning about system properties

*automatic code generation

*automatic test-case generation

*pre-compilation optimization of source code

*combining artificial intelligence techniques with formal methods

*achieving human trust in autonomous systems

Many of the formal methods based techniques and tools produced in our
past research have been applied to real Navy systems.

Desired skills vary with the individual positions. For more information
about the individual opportunities, application deadlines, and how to
apply, please contact either

Dr. Elizabeth Leonard (202-404-4893, elizabeth.leonard@nrl.navy.mil)
or
Dr. Myla Archer (202-404-6304, myla.archer@nrl.navy.mil).