Reasearch Position at NASA/Ames on V&V of Neural Networks

[Johann Schumann]

The Automated Software Engineering Group at NASA Ames Research Center
is inviting applications for a research position in a project on

	Verification and Validation of Controllers 
	based upon on-line trained ANNs.

The ASE group performs research and development in the areas of 
automated reasoning and formal methods for software synthesis
and verification.  We have ongoing collaborations with several NASA
application groups (e.g., ANN-based flight controller for F-15/ACTIVE)
as well as academic research groups.

The ideal candidate must have experience in the theoretical foundations 
of ANNs and their learing algorithms. We are focusing on feed-forward 
architectures, but RBF-based networks are also of interest. A strong 
background in numerical algorithms and control theory as a plus.
A PhD in Computer Science, Mathematics, Physics or a releated
area is required.

To be considered for this position, please send a resume (URL ok)
and contact information for three references to 
   Johann Schumann schumann at ptolemy.arc.nasa.gov
 and cc to
   Michael Lowry   lowry at ptolemy.arc.nasa.gov

For more information on the ASE group, see http://ase.arc.nasa.gov/

We are also considering applications for a student summer internship.
Please see http://www.riacs.edu/ssrp for further details.

---------------------------------------
Johann Schumann
Automated Software Engineering
NASA Ames / RIACS
Moffet Field, Ca 94035
Phone: (650) 604-0941
email: schumann at ptolemy.arc.nasa.gov