Formal Methods Intern

Analytical Mechanics Associates (AMA) is currently accepting applications for a motivated intern to support various formal-verification tasks related but not restricted to:

• analysis of numerical programs, application of AI-based techniques to the verification process
• analysis and design of formal languages for process planning
• proof engineering

This internship is for Summer 2025 will be for a 15-week period, starting on Monday, June 2, 2025. AMA is seeking applicants with entrepreneurial spirit who are organized and willing to accept responsibility. The selected applicant will contribute to the efforts of the AMA Formal Methods Group and the NASA Langley Research Center (LaRC) Formal Methods Team. Applicants should be a junior or senior undergraduate or graduate student. In addition to completing the application on our website (www.ama-inc.com/careers) candidates selected for an interview will be required to provide two or more references.

On-site work at NASA Langley Research Center in Hampton, VA is requested of candidates that meet the facility requirement of U.S. Citizenship or Permanent Residency. For candidates with authorization to work in the U.S., remote work will be considered.

Pay for this position is $24.33 -33.50, depending on education and location. 

Responsibilities:

Assist AMA’s Formal Methods Group 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 in or exposure to formal methods backed tools such as interactive theorem provers (e.g., PVS), model checkers (e.g., Maude), numerical program analyzers (e.g., PRECiSA), planning languages (e.g., PLEXIL), etc.
• Technical communication experience (written and oral) with the ability to transmit complex technical concepts to a diverse team.
• Self-starter attitude and strong organizational skills.

Desired Qualifications:

• Not all desired qualifications are necessary or expected from applicants.
• Tasks will be assigned based on applicant’s interest, niche skills, and strengths. ·
• Completion of a bachelor’s degree in mathematics, computer science, or a related field.
• The ideal candidate would be a graduate student or have several years of graduate level education and research. ·
• Project experience working with interdisciplinary teams on software verification systems, specifically formal (mathematical) verification using theorem provers such as PVS. ·
• Published proposal, research/professional scientific article, paper, or conference presentation.

Authorization to work in the US required.

Analytical Mechanics Associates (AMA) is proud of our customer relationships, our diverse and dynamic work environment, and our employees' career satisfaction. AMA is a small business with a wide reach; headquartered in Hampton, VA, AMA has operations in Greenbelt, MD; Huntsville, AL; Dallas and Houston, TX; Denver, CO; Mountain View, CA; and Edwards Air Force Base, CA. With over 60 years of experience, AMA specializes in aerospace engineering, science, analytics, information technology, and visualization solutions. AMA combines the best of engineering, science, and mathematics capabilities with the latest in information technologies, visualization, and multimedia to build creative solutions. We offer competitive salaries and a substantial benefits package, including but not limited to paid personal and federally recognized holiday leave, salary deferrals into a 401(k)-matching plan with immediate vesting, tuition reimbursement, short/long term disability plans, and a variety of medical, dental, and vision insurance options.

AMA is committed to the professional growth of every employee, understanding that the successes of our employees drive our success. We provide a work environment that is engaging, collaborative, and supportive. To learn more about our company, please visit our website at www.ama-inc.com and follow us on Facebook and LinkedIn.

AMA is an Affirmative Action/Equal Opportunity Employer and does not discriminate against any applicant for employment or employee because of race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, protected veteran status, or any other characteristic prohibited under federal, state, or local laws.