Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 18 2022 at 10:11):

From: "Cesar A. Munoz" <munoz@nianet.org>
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@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

Last updated: May 03 2024 at 04:19 UTC