The successful applicant will assist AMA's Formal Methods Group at NASA Langley Research Center with the development and improvement of formal methods backed tools and techniques. Requirements Completion of at least three years of an undergraduate degree in mathematics, computer science, or a related field. Experience or exposure to interactive theorem provers such as PVS

The successful applicant will assist AMA's Formal Methods team at NASA Langley Research Center with the development of new software modules for the PRECiSA static analyzer, which will include the following tasks Identify and document the design changes needed to analyze the round off error of a quantized NN in PRECiSA. Implement the new software modules necessary in PRECi

s and security standards. Formulate and disseminate guidelines, protocols, and standards for network infrastructure utilization , with a focus on security. Safeguard vital business operations against interruptions and cyber threats by implementing robust network security measures. Regularly review and update firewall policies and configurations to meet evolving security re

s and security standards. Formulate and disseminate guidelines, protocols, and standards for network infrastructure utilization, with a focus on security. Safeguard vital business operations against interruptions and cyber threats by implementing robust network security measures. Regularly review and update firewall policies and configurations to meet evolving security req