- NVIDIA (Santa Clara, CA)
- We're now looking for a Formal Verification Intern . NVIDIA is seeking elite Formal Verification Engineering Interns to help verify the design and ... BS, MS, or PhD in EE/CS or related area. + You're passionate about low formal verification . + Background with HW design principles. + Strong analytical skills… more
- Amazon (Austin, TX)
- …(AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer . By applying to this position, your application will be considered for ... be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of a… more
- National Renewable Energy Laboratory (Golden, CO)
- …energy + AI/ML research to enhance cyber resilience of energy systems + Formal methods research to enhance security verification and assurance for energy ... **Posting Title** Undergraduate/Graduate ( Summer 2025) - ENRGE Minority Serving Institutions Partnership...- ENRGE Minority Serving Institutions Partnership Program (MSIPP) Student Intern . **Location** CO - Golden . **Position Type**… more
- National Renewable Energy Laboratory (Golden, CO)
- **Posting Title** Undergraduate ( Summer ) Intern - Cybersecurity Research . **Location** CO - Golden . **Position Type** Intern (Fixed Term) . **Hours Per ... energy + AI/ML research to enhance cyber resilience of energy systems + Formal methods research to enhance security verification and assurance for energy… more
- Sandia National Laboratories (Albuquerque, NM)
- What Your Job Will Be Like: We are seeking a Technical High School Summer Intern to join the W88 ALT 370 Product Realization Team On any given day, you may be ... included in your offer package. You can view the Intern Pay Rate chart here (https://www.sandia.gov/app/uploads/sites/51/2024/12/Student-Rate-Sheet-2025.docx) . Qualifications We… more
- CMTA, Inc (Indianapolis, IN)
- Mechanical Engineer Intern /Co-op Summer 2025 - CMTA CMTA, 9225 Priority Way West Drive, Indianapolis, Indiana, United States of AmericaReq #1880 Thursday, ... **This position will start May 2025 and go through Summer 2025. Dates are flexible with school calendar.** Our...+ May assist in the data collection and/or field verification , and + Work in conjunction with designers and… more
- CMTA, Inc (Indianapolis, IN)
- Electrical Engineer Intern /Co-op Summer 2025 - CMTA CMTA, 9225 Priority Way West Drive, Indianapolis, Indiana, United States of AmericaReq #1838 Wednesday, ... **This position will start ~May 2025 and go through Summer 2025. Dates are flexible with school calendar.** Our...+ May assist in the data collection and/or field verification , and + Work in conjunction with designers and… more
- CMTA, Inc (Lexington, KY)
- Technology Solutions Engineer Intern /Co-op Summer 2025 - CMTA CMTA, 220 Lexington Green Circle, Lexington, Kentucky, United States of AmericaReq #1920 Monday, ... **This position will start ~May 2025 and go through Summer 2025. Dates are flexible with school calendar.** Our...+ May assist in the data collection and/or field verification , and + Work in conjunction with designers and… more
- Hensel Phelps (Phoenix, AZ)
- …Offers are Contingent Upon Successful Completion of the Following:** + Verification of Work Authorization and Employment Eligibility + Substance Abuse Screening ... field and materials management. The internship program provides the intern and Hensel Phelps with an extended opportunity to...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more
- Hawaiian Airlines (Honolulu, HI)
- …Airlines (HA) is seeking college students who are interested in joining our 2025 Summer Internship program. We are offering a paid internship program that will give ... be withdrawn._ _ In addition to routine employment eligibility verification , US-based airlines must gather information to validate country...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more