- 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
- Gilead Sciences, Inc. (Foster City, CA)
- …Join Gilead and help create possible, together. **Job Description** As a Gilead intern you will contribute to high-impact meaningful projects that will not only ... are not limited to the following:** + Performing experiments that support research activities in the Gilead Medicinal Chemistry department under general supervision… more
- Gilead Sciences, Inc. (Santa Monica, CA)
- …and present findings. + Prepare a final report and presentation summarizing methods , results, and implications for translational research . + Showcase your ... Join Kite and help create more tomorrows. **Job Description** As a Gilead intern you will contribute to high-impact meaningful projects that will not only further… more
- Gilead Sciences, Inc. (Foster City, CA)
- …Join Gilead and help create possible, together. **Job Description** As a Gilead intern you will contribute to high-impact meaningful projects that will not only ... 4th or 5th year of a PhD program, nearing completion, with extensive research experience in related areas + Strong foundational knowledge of protein biochemistry and… 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
- Gilead Sciences, Inc. (Foster City, CA)
- …Join Gilead and help create possible, together. **Job Description** As a Gilead intern you will contribute to high-impact meaningful projects that will not only ... environment + Direct experience in cell engineering using viral methods + Strong background in immunology, molecular and cellular...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… 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
- 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
- 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
- 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
- Gilead Sciences, Inc. (Santa Monica, CA)
- …Join Kite and help create more tomorrows. **Job Description** As a Kite/Gilead intern you will contribute to high-impact meaningful projects that will not only ... **Key Responsibilities will include, but are not limited to the following:** The Intern will contribute to the characterization and understanding of our cell therapy… 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
- Gilead Sciences, Inc. (Foster City, CA)
- …Join Gilead and help create possible, together. **Job Description** As a Gilead intern you will contribute to high-impact meaningful projects that will not only ... will include, but are not limited to the following:** **Oncology Products Policy Research (75%)** + Conduct research on novel and innovative oncology approaches,… 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