- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research . The position will be based out of our Arlington, VA ... candidate will work with other researchers and engineers in research projects focused on developing high-assurance software and systems....of developing test cases that entail the application of formal methods analysis techniques and tools. -… more
- Microsoft Corporation (Redmond, WA)
- **Overview** Research Intern - RiSE group ( Formal Methods , High-Performance Computing, ML Systems, Programming Languages, Software Engineering) ... the state-of-the-art of research in the broad fields of formal methods , high-performance computing, Macine Learning (ML) systems, programming languages,… more
- Microsoft Corporation (Redmond, WA)
- …opportunity to turn ideas into reality with real-world impact at Microsoft scale. As a Research Intern , you will have the opportunity to design and lead the ... **Overview** Research Internships at Microsoft provide a dynamic environment...model alignment. + Experience with reinforcement learning libraries or formal methods and verification is a plus.… more
- Bosch (Pittsburgh, PA)
- …team in developing solutions that apply machine learning/deep learning algorithms and formal methods to security and privacy problems. Example applications ... **Company Description** The Bosch Research and Technology Center North America with offices...include, but are not limited to, utilizing AI and formal methods to analyze software vulnerabilities, modeling… more
- Microsoft Corporation (Redmond, WA)
- …the Windows Networking Stack, and many more. NRG members collaborate with adjacent research groups in systems, formal methods , optimization and security. ... **Overview** Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by… more
- IBM (Albany, NY)
- …particularly as related to meta-complexity and foundation models * Knowledge of formal optimization methods * AI for algorithmic reasoning * Quantum-centric ... **Introduction** IBM Research takes responsibility for technology and its role...thrive. **Your role and responsibilities** Develop new mathematically grounded methods and algorithms in one or more of the… more
- Huntington Ingalls Industries (San Diego, CA)
- …and development research : learning theory, motivation theory, and new materials, methods , and techniques. The intern will be assigned special projects as ... Salary Range: $0.00 - $0.00 Security Clearance: Secret Level of Experience: Intern This opportunity resides with Global Security (GS). Mission Technologies' Global… more
- Dickinson Financial Corporation (Kansas City, MO)
- …environment. They will complete work within the assigned department, receive formal professional training on topics like personal brand, professional communications, ... help us solve real world problems by completing a research project that focuses on solving a business problem,...headquarter departments based on the Banks' current needs and Intern Candidates' skillset. We anticipate assigning Summer Interns to… more
- The County of Los Angeles (Los Angeles, CA)
- CLINICAL PSYCHOLOGY INTERN Print (https://www.governmentjobs.com/careers/lacounty/jobs/newprint/1197117) Apply CLINICAL PSYCHOLOGY INTERN Salary $50,112.00 ... learns to apply techniques and principles of clinical psychology in a formal training program. CLASSIFICATION STANDARDS: Positions allocable to this trainee class… more
- Travelers Insurance Company (Hartford, CT)
- …program components include formal mentoring, networking, and career guidance. + DSLDP Intern duties will vary based on the specific assignment, within one of our ... for future success within the organization. As a DSLDP intern , you will be exposed to a challenging professional...techniques. You will assist to design, develop and program methods , processes, and systems to consolidate and analyze unstructured… more
- Love's Travel Stops & Country Stores (Oklahoma City, OK)
- …Communicate with leadership to identify training needs including continuation training. + Research new instructional training methods and training metrics + ... **Welcome to Love's College Intern Program:** The Love's college internship program is...Assist in e-learning training methods including video/podcasts + Research trends in… more
- MIT Lincoln Laboratory (Huntsville, AL)
- …learning, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Summer Research Program Overview ... working alongside leading scientists and engineers. As an SRP intern , you'll engage in hands-on research , receive...an SRP intern , you'll engage in hands-on research , receive dedicated mentorship, and take part in professional… more
- MIT Lincoln Laboratory (Lexington, MA)
- …software, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Summer Research Program Overview ... working alongside leading scientists and engineers. As an SRP intern , you'll engage in hands-on research , receive...an SRP intern , you'll engage in hands-on research , receive dedicated mentorship, and take part in professional… more
- LinkedIn (Mountain View, CA)
- …products and user experiences. LinkedIn's Machine Learning Engineers are both data/ research scientists and software engineers, who develop and implement machine ... in length and will have the option of two intern sessions: + May 26th, 2026 - August 14th,...15th, 2026 - September 4th, 2026 Responsibilities: + Conduct research and development on state-of-the-art Generative AI models, including… more
- Oshkosh Corporation (Orlando, FL)
- …including LEKTRO(R), JetAire(R), JetPower(R), AmpTekO, Jetway(R), and more.** The Quality Intern will perform a variety of professional Quality related tasks in ... research , development, design, testing and analysis of inspection techniques, methods , and procedures. This is a paid internship - 40 hours per week for 8 - 10… more
- CARMAX (Richmond, VA)
- …program emphasizes professional growth through diverse experiences, leadership interactions, formal training, and team-building activities. + Interns engage in ... real-world projects, developing skills in analytics, strategy, and communication. + Each intern will be paired with a mentor to guide their development and provide… more
- LinkedIn (Mountain View, CA)
- …clustering, collaborative filtering, and classification techniques (Naive Bayes, SVM, NN, Boosting Methods , etc.) Suggested Skills: * Experience or research in ... in length and will have the option of two intern sessions: * May 26th, 2026 - August 14th,...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more
- Oshkosh Corporation (New Hudson, MI)
- …with product engineering and low-volume production solutions. Our range of research & development, engineering, prototype manufacturing, test & validation, and ... should have a basic understanding of manufacturing processes, measurement methods , and the reading and interpretation of engineering drawings...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more
- Defense Finance and Accounting Service (Indianapolis, IN)
- …"Spam"/"Junk" folders. See below for more information! Responsibilities As a Operation Research Student Trainee focused primarily in the area of data science, data ... some or all of the following: Serve as an Intern in the DFAS Internship Program performing a variety...techniques involving the selection and preparation of specific technical methods and procedures to produce well-defined data pertaining to… more
- Subaru of America (Cypress, CA)
- Summary The Lead Research & Development (R&D) Engineer is responsible for overseeing various vehicle-related research and development projects. This role also ... project and testing oversight, and 30% execution of tasks (evaluation, research , reporting, etc.). Core Responsibilities Project Responsibilities: + Leads multiple… more