- 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
- Gilead Sciences, Inc. (Foster City, CA)
- …fulfil their aspirations. Join Gilead and help create possible, together. **Job Description** ** Intern - Research - Medicinal Chemistry** As a Gilead intern ... 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)
- …efficacy and present findings. -Prepare a final report and presentation summarizing methods , results, and implications for translational research . - Showcase ... 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