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

We are We are a team of IT professionals with varying specialties who are passionate about finding innovative ways to use technology to keep our company competitive and forward leaning. You are A college student currently enrolled in a Bachelors program for Information Technology or Computer Science related field who is looking for real world experience learning and growi

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

Torch Technologies invites applications for a Business Administration Internship for Summer 2024. We seek a motivated and organized student interested in gaining practical experience in operational, procurement, supply chain management, and contracting tasks within a leading technology company. This position provides an opportunity to apply academic learning to real world

s Provide security support for passing, verifying, and receiving clearances, processing visitor requests, processing requests for Badges, and processing Visit Certifications and Perm Certifications Update security data, run inquiries, provide quality control, develop reports using various databases Provide support coordinating, tasking and managing security action response

Intern Engineering, Ballistics Location US AL Huntsville Job ID 22194 Category Engineering Mechanical Ballistics Job Overview We are seeking to fill an Engineering Intern Ballistics for Summer 2024 at our Huntsville, AL site. Summer internships will start in approximately May/June and end in August/September. About Us L3Harris Technologies is the Trusted Disruptor for the

Assist in day to day supervised activities related to the development of a construction project to build foundational knowledge in construction management, business and project financial management, project safety protocols, subcontractor relationships, quality control, and project coordination and lifecycle. Where applicable, your assignment will support learning that ap

Involved with the design and development of test programs to measure functionality and integrity of products and services. Writes test procedures and protocols to assess product reliability and evaluates the ability of products to meet performance standards and specifications. Debugs test hardware and software. Job Responsibilities Supports and participates in technical a

SRC's Summer Internship Program provides an opportunity for college students to obtain meaningful work experience through on the job training assignments. Take an active part in the design, development, integration, and testing of site projects Provide engineering support for technical problems and recommend a course of action Assist senior engineers on complex problems,

Intern Design Engineering Location US AL Huntsville Job ID 22184 Category Intern Engineering On Site, Hybrid or Remote? On Site Job Overview We are seeking to fill an Intern Design Engineering role for Summer 2024 in its Huntsville, AL location. Summer internships will start in approximately May/June and end in August/September. This posting may represent one or more spec

Hill Technical Solutions (HTS), a Valkyrie Operation, is looking for an Systems Engineering Summer Intern in Huntsville, AL. Job Description Support Modular Open System Approach/Model Based Systems Engineering development, testing, and analysis activities which will include Matlab, Cameo and other digital engineering tools Depending on program needs and intern's developme

Assist in day to day supervised activities related to the development of a construction project to build foundational knowledge in construction management, business and project financial management, project safety protocols, subcontractor relationships, quality control, and project coordination and lifecycle. Where applicable, your assignment will support learning that ap

Intern Project & Component Engineering Location US AL Huntsville Job ID 22226 Category Intern Engineering Job Overview We are looking to fill an Intern Project & Component Engineering role for Summer 2024 at our Huntsville, AL site. This posting may represent one or more specific immediate or near term openings. Those who express an interest may be considered for current

Intern Design Engineering Location US AL Huntsville Job ID 22286 Category Intern Engineering On Site, Hybrid or Remote? On Site Job Overview We are seeking to fill an Intern Design Engineering role for Summer 2024 in its Huntsville, AL location. Summer internships will start in approximately May/June and end in August/September. This posting may represent one or more spec

Intern Design Engineering Location US AL Huntsville Job ID 22284 Category Intern Engineering On Site, Hybrid or Remote? On Site Job Overview Aerojet Rocketdyne is seeking to fill multiple Intern Design Engineering roles for Summer 2024 in its Huntsville, AL location. Internships will start in approximately May/June and end in August/September. About Us L3Harris Technologi