2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Seattle, Washington, USA
USD 142K-193K Entry-level Full Time Internship
Tasks
- Apply bounded model checking
- Build Boolean satisfiability solvers
- Conduct abstract interpretation
- Conduct static and program analysis
- Deploy solutions to production
- Develop automated reasoning solutions
- Do static program analysis
- Perform deductive verification
- Perform program synthesis
- Work on theorem proving and proof search
Perks/Benefits
Skills/Tech-stack
Abstract interpretation | Automated Reasoning | Boolean satisfiability | Bounded model-checking | Deductive verification | Model Checking | Program analysis | Program synthesis | Program verification | Proof Search | SAT solvers | SMT solvers | Satisfiability Solvers | Scripting | Static Analysis | Theorem Proving
Education
Roles
Related jobs
-
Computer Science Intern USD 31K-77KCoding | Data Management | Data Retrieval | Data Storage | Government security clearanceOnsite work | Potential to convert to part time or full timeEntry-level InternshipSt Inigoes, Maryland8d ago
-
Data Engineer Intern USD 41K-75KArtificial Intelligence | Data Engineering | Data Lake | Infrastructure as Code | Language ModelsEntry-level Full Time Internship0035 DSDC Fort Belvoir VA, United …19d ago
-
Data Structures | Data Structures and Algorithms | Deep learning | Graph Modeling | Graph Neural NetworksMentorship | Research resources | State-of-the-art computing infrastructureEntry-level Full Time InternshipSeattle, Washington, USA27d ago