The Coq mailing list

[victoria theamagency <victoria AT theamagency.com>]

We have a position with NASA at the Johnson Space Center (JSC) in Houston, TX. This is a most exciting time at JSC as we have been asked to place “boots on the moon” by 2024. We need qualified Formal Methods Engineers to get us to the moon and then on to Mars. This is an opportunity to be part of history, be part of something big, be part of the very few who have “the right stuff”. Below is the detailed job description but first check out this link to learn more about the exciting Lunar Gateway Mission! Please contact victoria AT theamagency.com

 

https://twitter.com/nasa/status/1128341556828749824   

https://www.nasa.gov/topics/moon-to-mars/lunar-outpost

 

As a Formal Methods Engineer you will:

•             Develop certification plans for complex autonomous systems.

•             Perform contract-based system design.

•             Write system interface specifications.

•             Execute formal methods for model checking, theorem proving, static analysis, and runtime monitoring.

•             The primary focus is on someone with experience in the field of ‘Formal Methods’.

 

Formal Methods is the application of mathematics-based theoretical computer science fundamental concepts, like logic calculi, formal languages, automata theory, discrete event dynamic system and program semantics, but also type systems and algebraic data types, to improve the specification, design, implementation, and verification of computing systems.

 

The motivation behind the development and use of Formal Methods for software design is the idea that performing appropriate mathematical analysis can improve the reliability and robustness of a design. 

 

Formal Methods are most likely to be applied to safety-critical or security-critical software and systems such as avionics software. 

 

•             Design by Contract

•             Specification languages like CASL, B-Method, JML, ACSL

•             Model checkers like PAT, SPIN, MALPAS

•             Abstract interpretation

•             Automated theorem proving

•             Formal specification

•             Formal verification

•             Formal system

•             Model checking

•             Specification language

 

Required Education/Experience/Skills:

•             BS degree from an accredited engineering school and five (5) years of related engineering experience, or a MS degree from an accredited engineering school and four (4) years of related engineering experience, or Ph.D. from an accredited engineering school and zero (0) years of related experience.

•             Experience with formal methods (model checking, theorem proving, static analysis, or runtime monitoring).

•             Experience with formal logics and writing specifications.

•             Experience with certification plans for complex autonomous systems.

•             Excellent communication, negotiation, and coordination skills, and strong customer service attitude.

Preferences:

•             Experience with contract-based design.

•             Experience with distributed verification.

•             Proficiency with C/C++ coding.

•             Proficiency with Linux.

•             Proficiency with scripting languages such as Python.

•             Avionics and Software Architecture.

•             NASA software and systems development standards.

 

Victoria Edgington
President/CEO

Office: 832-582-5852

Cell: 713-553-8993
Fax: 888-437-5929

The AM Agency, LLC
HubZone Certified
Woman Owned
Small Business
www.theamagency.com

213 W Southmore Ave.
Suite 316
Pasadena, TX 77502