Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Elizabeth Leonard <elizabeth.leonard-qqJZlXDiQIP5oiiGuJUvLw <at> public.gmane.org>
Subject: Summer Internship Opportunities at Naval Research Laboratory
Newsgroups: gmane.comp.science.concurrency
Date: Tuesday 24th February 2015 20:30:47 UTC (over 2 years ago)
GRADUATE AND UNDERGRADUATE STUDENT INTERNSHIPS FOR SUMMER 2015
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 offering paid student internships for Summer 2015.
Several ongoing projects within the section, all in the general area of
formal methods for software engineering of critical systems, have positions
available for both graduate and undergraduate students.

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 – e.g., autonomous systems, security devices, and control
software – that must satisfy critical system properties such as safety,
timing, fault tolerance, and security. Topics of current research include:

•     compositional model-based techniques for software construction and
     analysis
•     modeling and simulation of software systems
•     scenario-based synthesis of software models
•     construction and analysis of continuous & discrete timed models of
     cyber-physical systems
•     combining models from different domains
•     verification techniques and tools, including decision procedures
      and theorem proving
•     techniques for using assertions and contracts in source code to
     verify system  properties
•     mechanical generation of code assertions and contracts for
     reasoning about systems
•     automatic code synthesis
•     automatic test-case generation
•     combining methods from artificial intelligence and cognitive
     science with formal methods
•     measuring and assuring human trust in autonomous and unmanned
     systems

Many of the formal methods based techniques and tools produced in the
Section’s 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
([email protected]) or Dr. Myla Archer
([email protected]).



_______________________________________________
Concurrency mailing list
[email protected]
http://listserver.tue.nl/mailman/listinfo/concurrency
 
CD: 3ms