[isabelle] Post-doc positions at NIA - NASA LaRC



The National Institute of Aerospace (NIA) [http://www.nianet.org] has an
opening for a Postdoc position to work in the area of formal methods for
the verification of safety critical aerospace systems of interest to
NASA. See 

http://www.nianet.org/employment/Postdoc_formalverif.php

for more information or contact:

Cesar A. Munoz 
munoz at nianet.org
http://research.nianet.org/~munoz
Tel. +1 (757) 325 6907 
Fax +1 (757) 325 6988
GPGP Finger Print: 9F10 F3DF 9D76 1377 BCB6  1A18 6000 89F5 C114 E6C4

National Institute of Aerospace
100 Exploration Way
Hampton, VA 23666, USA   






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.