Analytical Mechanics Associates, Inc., (AMA) is looking to hire a Software Research Engineer Intern to support the Formal Methods group at AMA's Hampton, VA branch.
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:
Requirements:
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.
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.