[isabelle] Postdoc positions at the Naval Research Laboratory

Postdoc Positions
(US Citizens and Permanent Residents Only)
Naval Research Laboratory
Center for High Assurance Computer Systems
Washington, DC 20375

The Software Engineering Section of NRL’s Center for High Assurance Computer Systems is looking to hire 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 critical systems.

The objective 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 code. Such methods and tools provide vital support for the development of high assurance software for systems, such as autonomous systems, security systems and devices, and control software, that must satisfy critical system properties such as safety, timing, fault tolerance, and security. Many of the formal-methods-based techniques and tools produced in the Section’s past research have been applied to real Navy systems.

Current research in the section includes:

Application-Specific Security of Source Code: This project is developing theory, methods, and tools for analyzing source code for application-specific security properties such as data separation, absence of undesirable information flows, nonbypassability of critical code, and proper memory sanitization. The research combines template-based specification of security properties with automatic generation and checking of assertions to verify that code satisfies the specified properties and to detect violations of those properties.

High Assurance Cyber-Physical Systems:This project is developing new theory, methods, and tools for model-based development of cyber-physical systems.All methods and tools developed in the project will be demonstrated on real systems, which may include unmanned vehicles and robots.

Applications of Formal Methods in Developing Real Critical Systems:

(1) Robotics: Formal-methods-based modeling and analysis techniques and tools are being applied to critical software components of a robot designed to service satellites in space. In addition to applying well-established formal analysis methods and tools, new analysis techniques and tools are being developed to provide assurance that the robot behaves safely and functions correctly.

(2) Secure Systems: Formal analysis methods and tools are being developed and applied to critical aspects of a framework for self-securing systems.

Program Information and Application Process

Interested candidates should send a CV and cover letter to Dr. Elizabeth Leonard (elizabeth.leonard at nrl.navy.mil). Please indicate in your email that you are applying for a postdoc position.

Positions will initially be awarded for one year, but may be extended for up to an additional two years. The stipend level is currently $77,490 annually. Start date is flexible.

Applicants MUST be US Citizens or US Permanent Residents.

Dual Citizenship: If offered an award, those who hold another citizenship in addition to that of the United States MUST BE PREPARED to provide the following to NRL Security before beginning tenure:
• A statement expressing your willingness to renounce your dual citizenship
• Awardees are not permitted to possess a non-US passport while on tenure. Awardees must either provide a receipt proving that the foreign passport has been relinquished to the consulate, OR must relinquish the foreign passport to an NRL Security official.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.