[PRL] Student Internships at NASA Ames Research Center

[Mitchell Wand]

------- start of forwarded message (RFC 934 encapsulation) -------
Return-Path: <concurrency at cwi.nl>
Delivered-To: wand at ccs.neu.edu
From: Charles Pecheur <pecheur at email.arc.nasa.gov>
To: concurrency at cwi.nl (moderated)
Subject: Student Internships at NASA Ames Research Center  
Date: Sun, 25 Jan 2004 15:40:35 +0100 (MET)

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
------- end -------