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. Implement the new software modules necessary in PRECi

Software Systems Engineer Job Locations US AL Huntsville ID 2024 3935 Category Engineering & Science Position Type Regular Full Time Responsibilities PeopleTec is seeking a Software Systems Engineer for an opportunty to support a PEO AVN customer . The Software Systems Engineer (SSE) will assist a Program Management Office (PMO) Uncrewed Aircraft Systems (UAS) Product Off

INTUITIVE is a nationally recognized Best Place to Work that provides solutions from design through production to sustainment by delivering targeted results. Our approach couples the latest technology with engineering expertise and analytical proficiency while remaining true to genuine customer relationships and a culture that fosters growth and opportunity. Our diverse p

Senior Software Developer (Data) Job Locations US AL HUNTSVILLE ID 2024 3898 Category Engineering & Science Position Type Regular Full Time Responsibilities PeopleTec is currently seeking a Senior Software Developer (Data) to support our Huntsville, AL location. This is NOT a remote position .Our team is seeking a highly skilled and creative Senior Software Developer (Dat

Note This is a remote position (US) and the candidates can reside in EST or CST. Overview The Deployment System Architect (DSA) is responsible for the deployment of Computer Aided Dispatch Systems, Mobile Applications, and Records Management Systems. They are responsible for all phases of Post Sale system delivery from project turn over to customer acceptance. The DSA is

We are Accenture Federal Services, a wholly owned subsidiary of Accenture LLP, is a U.S. company with offices in Arlington, Virginia. Accenture's federal business has served every cabinet level department and 30 of the largest federal organizations. Accenture Federal Services transforms bold ideas into breakthrough outcomes for clients at defense, intelligence, public saf

System Architect Data Job Locations US AL HUNTSVILLE ID 2024 3927 Category Engineering & Science Position Type Regular Full Time Responsibilities PeopleTec is currently seeking a System Architect Data to support our Huntsville, AL location. PeopleTec is a company that hires and develops technology talent and puts them to work on client projects across the United States. W

Product Owner Job Locations US AL HUNTSVILLE ID 2024 3928 Category Engineering & Science Position Type Regular Full Time Responsibilities PeopleTec is currently seeking a Product Owner to support our Huntsville, AL location. PeopleTec is a company that hires and develops technology talent and puts them to work on client projects across the United States. We specialize in

The Lead Systems Engineer will manage requirements specifications derived from customer needs for the Enduring Shield Program . The selected candidate will interface with the government customer, program management, the cost accounting manager, subcontractors, and design engineers to support a program's systems engineering needs throughout its design life cycle, including

INTUITIVE is a nationally recognized Best Place to Work that provides solutions from design through production to sustainment by delivering targeted results. Our approach couples the latest technology with engineering expertise and analytical proficiency while remaining true to genuine customer relationships and a culture that fosters growth and opportunity. Our diverse p

Leidos Dynetics is seeking a talented Small Satellite Bus Lead to support design and development activities for National Security satellite development programs. With offices across the United States engaging in the defense, space, cyber and commercial fields, Leidos Dynetics provides responsive, cost effective engineering, scientific and IT solutions. Candidate will supp

We are Accenture Federal Services, a wholly owned subsidiary of Accenture LLP, is a U.S. company with offices in Arlington, Virginia. Accenture's federal business has served every cabinet level department and 30 of the largest federal organizations. Accenture Federal Services transforms bold ideas into breakthrough outcomes for clients at defense, intelligence, public saf

Job Number R0196522 Cloud Architect, Senior The Opportunity Everyone is trying to "harness the cloud," but not everyone knows how. As a cloud computing application architect, you know how to create a cloud based technical architecture that meets client needs and takes advantage of cloud capabilities. What if you could use your cloud architecture skills to improve the law

Analyze technical publications and translate them into effective training materials. Lead the development of comprehensive training packages tailored to customer needs. Deliver training sessions to customers using the developed coursework. Collaborate with cross functional teams to ensure training materials are accurate and up to date. Support the development of the techn