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

Responsibilities will vary based on the project area assigned to the candidate. Responsibilities will include Perform research on assigned topic for period of 10 weeks Regular reporting (verbal and/or written) to research mentor on progress of project Present final results to division at completion of project Requirements Candidates currently enrolled in an accredited uni

Respond to tickets and incidents promptly, prioritizing critical issues and ensuring timely resolution to minimize downtime. Provide end user troubleshooting and support for hardware, software, and network related issues, delivering solutions with a focus on customer satisfaction. Perform desktop and laptop support, including system configuration, installation, and mainte

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

Responsibilities will vary based on the project area assigned to the candidate. Responsibilities will include Perform research on assigned topic for period of 10 weeks Regular reporting (verbal and/or written) to research mentor on progress of project Present final results to division at completion of project Requirements Progress toward a degree (undergraduate or graduat

Training on system & software and learning the hardware and software. Performing correlations and feature hunting using data collected from the system (backscatter images, positional data, beam parameters) and post processing data (NDE x ray scans, metallurgical data, etc.). Investigating correlations between physical features and in situ data. Determining strongest corre

Prepare written draft and final technical project team documents Distribute draft documents to team members and designated peer reviewers for technical review and feedback Coordinate with the team project manager to meet documentation requirements Review technical documents for clarity, flow, organization, consistency, and to ensure proper usage of formatting, grammar, pu

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

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