AMA is currently accepting applications for a summer 2024 intern to support the AMA Formal Methods team at NASA Langley Research Center. The selected applicant will contribute to the development of new software modules for VSCode-PVS (https://github.com/nasa/vscode-pvs), a NASA-development Visual Studio Code extension for the PVS verification system (https://pvs.csl.sri.com). The qualified candidate will be a junior or senior undergraduate or graduate student studying Software Engineering, Computer Science, or a related or complementary degree. Specific tasks will include extending the capabilities of VSCode-PVS to enable the use of remote machines, Docker Containers, and the Windows Subsystem for Linux (WSL). AMA is seeking applicants with entrepreneurial spirit, capable of independent research and curiosity.

The pay rate for this position will be $21.00-$29.00 per hour and is commensurate with experience and education.

Responsibilities:

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 in the implementation of new software modules necessary to execute VSCode-PVS on remote machines and distributed servers.
• Present and communicate technical data to an internal team.
• Specific responsibilities will be dependent on strengths and interests of each intern ranging from software engineering tasks such as source code implementation, documentation, and testing.
• Usability engineering tasks such as designing front-end widgets to simplify user interaction with the developed extension.
• Technical writing and documentation of project milestones and engineering processes.
  Requirements: Completion of at least three years of an undergraduate degree in Software Engineering, Computer Science, or a related field.
• Experience or exposure to functional programming languages such as Haskell. Technical writing experience with the ability to communicate complex technical concepts to a diverse team. Self-starter attitude and strong organizational skills.

Requirements:

• Completion of at least three years of an undergraduate degree in Software Engineering, Computer Science, or a related field.
• Experience or exposure to Visual Studio Code extensions development and distributed computing.
• Technical writing experience with the ability to communicate 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 tailored based on applicant's interest, niche skills, and strengths.

• Completion of a bachelor's degree in Software Engineering, 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.
• Experience using GIT, Typescript programming language, NodeJS, and Visual Studio Code. Experience on developing Visual Studio Code extensions.

Must be a U.S. Citizen or U.S. Permanent Resident.

On-site presence at NASA Langley Research Center is 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.