Analytical Mechanics Associates, Inc. (AMA) is seeking a Senior Manager Financial Planning & Analysis to manage all financial aspects of government and commercial contracts including customer financial deliverables and internal reporting. The successful candidate will be responsible for the analysis, tracking and reconciliation of large and complex financial data leveragi

Analytical Mechanics Associates, Inc., (AMA) is seeking to hire a Postdoctoral Researcher for our Hampton, Virginia location. The individual selected for this position will work on site at NASA Langley Research Center supporting the Multi model Ensemble Risk Assessment (MERA) project team in the Space Radiation Group at NASA Langley Research Center. The MERA project devel

Assist with processing Accounts Payable, travel expense reports, general ledger entries and reconciliations Match accounts payable invoices with purchase orders, verify received amounts and process vendor information, payment terms and vendor invoices. Support Payroll with timesheets and payroll calculations Assist with Corporate Credit Card reconciliation and posting Ent

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

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. Implementing the new software modules necessary in PR

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. Assis

Significant interface with program and project managers, senior technical staff, as well as other functional organizations including contracts, finance, human resources, payroll, accounts receivable, procurement, subcontract management, etc. Assist Program/Project Analyst with various accounts payable tasks. Reconcile processed work by verifying entries and comparing syst

AMA is seeking a research scientist to support NASA Langley Research Center's Hyperspectral Remote Sensing Group, focusing on the development of artificial intelligence (AI) based radiative transfer models (RTM) for satellite data analysis. This effort involves using current physics based RTMs and retrieval algorithms to train AI based models to improve computational spee