The successful applicant will assist AMA's Formal Methods team at NASA Langley Research Center with the development of new software modules for the VSCode PVS verification system, which will include the following tasks Become familiar with VSCode PVS Identify and document the design changes necessary to execute VSCode PVS on remote machines and distributed servers. Assist

Job Brief AMA is seeking a Records Management Specialist to support the STI Compliance and Distribution Services area of the Information, Data and Analytics (IDAS) Service Line in support of the NASA Enterprise Multimedia and Integrated Technical Services contract. Records Management Specialist Analytical Mechanics Associates, Inc., (AMA) is proud of our customer relation