Runtime Verification and Monitoring

[Klaus Havelund <havelund AT email.arc.nasa.gov>]

Automated Software Engineering Group
NASA Ames Research Center

http://ase.arc.nasa.gov/
=====================================

The Automated Software Engineering (ASE) group is soliciting
student applications for its 2004 internship program. The purpose
of this program is to provide talented university students in the
Information Sciences the opportunity to spend a ten-week session
teaming with researchers of the ASE group at NASA Ames to address
software engineering challenges of future NASA missions, with an
emphasis on the following topics:

* Formal Verification including

  - model checking
  - compositional verification
  - runtime monitoring
  - fault tolerance
  - static analysis
  - symbolic execution
  - testing
  - V&V of neuro-adaptive systems

* Program Synthesis including

  - code certification
  - program transformation
  - schema-guided synthesis
  - extendible program synthesis

* Collaborative Software Engineering including

  - team design interfaces
  - multimedia design rationale capture

Application areas include spacecraft navigation and control,
constraint-based planning and scheduling, intelligent vehicle
health monitoring, model-based autonomy, robotics, intelligent
agent systems, human-machine interface, Bayesian learning,
neural nets.


APPLICATION PROCESS

Both US and non-US citizens are welcome to apply. Submit the
following by email to 
aseinterns AT email.arc.nasa.gov
 by
February 29, 2004:

  - statement of interest
  - resume including list of publications and URLs where
    publications are available
  - 2 references 
    (sent directly from referees to 
aseinterns AT email.arc.nasa.gov)
  - dates of availability for attending the program 
    (can be any time during the year)

Preference will be given to graduate students.


IMPORTANT DATES

- Application deadline: February 29, 2004
- Notification of acceptance: March 22, 2004