The Coq mailing list

["Cesar A. Munoz" <munoz AT nianet.org>]

The National Institute of Aerospace (NIA) is seeking a staff scientist
to conduct research in the area of formal methods for the specification,
design, and verification of fault tolerant, real-time, embedded, and/or
safety critical systems.

The appointee will participate in the development and application of
methods and tools for specifying, analyzing, and verifying hardware and
software systems that are crucial for aviation safety (flight guidance
systems, integrated modular avionics, etc.).

Staff scientist appointments are usually made for two years, with the
possibility of multi-year extensions. NIA is a non-profit research and
graduate education institute located near the NASA Langley Research
Center in Hampton, Virginia, USA.  NIA offers excellent opportunities to
researchers for collaboration with other scientists and engineers on
problems of interest to NASA.  NIA is an equal opportunity employer.

Requirements and additional information available at:
http://research.nianet.org/fm-at-nia/position.html

The Formal Methods Group at NIA
http://research.nianet.org/fm-at-nia

-- 
Cesar A. Munoz H., Senior Staff Scientist     
mailto:munoz AT nianet.org
National Institute of Aerospace      
mailto://C.A.Munoz AT larc.nasa.gov
144 Research Drive                  http://research.nianet.org/~munoz
Hampton, VA 23666, USA   Tel. +1 (757) 766 1539 Fax +1 (757) 766 1855