National Institute of Aerospace
Safety Critical Avionics Systems Branch
Research Scientist: Computer Science
The National Institute of Aerospace (NIA), located in Hampton, Virginia, has an opening for a Research Scientist to work in support of the Safety Critical Avionics Systems Branch at NASA Langley Research Center, on the advancement of distributed systems and runtime verification (RV). The qualified candidate will be responsible for furtherance of this software, working with other NASA and NIA researchers on enhancement of functionality and verification of the code. CoPilot is an RV system targeted at real-time distributed embedded systems such as civil aviation. CoPilot is Haskell Embedded Domain Specific Language (EDSL) created by researchers at NASA and Galois as part of NASA’s ongoing research efforts.
Go to www.nianet.org to learn more about this position and to apply.
- PhD computer engineering or computer science.
- Experience in Haskell, OCAML, or a similar typed functional language.
- Experience with formal methods tools such as TLA+, Prism, nuSMV, Coq/Verdi, etc.
NIA is an equal opportunity/affirmative action employer and does not discriminate against any applicant for employment because of race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, protected veteran status, or any other characteristic prohibited under Federal, State or local laws.