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
-
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, USA1d ago
-
Embedded Software Intern USD 40K-90KC# | C++ | Code Analysis | Digital interfaces | DockerDiscounts to local museums and cultural activities | Employee clubs | Finance workshops | Health workshops | Off-site social eventsEntry-level Full Time InternshipMA - Cambridge, United States2d ago
-
C++ | Operating Systems | Python | RF Engineering | Real TimeHands-on testing | Internship experience | Meaningful project workEntry-level InternshipSan Francisco3d ago
-
ARM | Beamforming | Channel estimation | Debugging | Embedded SystemsBackground check clearance | Drug testing clearance | Fully onsiteEntry-level Full Time InternshipLos Angeles, CA, United States7d ago
-
Automation | Data Cleansing | Data Governance | Data Modeling | Data QualityOnsite work environmentEntry-level Full Time InternshipHolland 16th St, United States15d ago
-
Disaster Recovery Intern USD 50K-56KApplication Upgrades | Business Continuity | Business Continuity Planning | Continuity planning | Disaster RecoveryOn-the-job training | Remote work support | Training opportunitiesEntry-level Full Time InternshipWilmington, DE, United States25d ago
-
AWS | Data Analysis | Data Validation | Data Visualization | Git401k match | Adoption Assistance | Employee resource groups | Health insurance | Paid time offEntry-level Internship Part TimeChicago (Green St), IL, United States1mo ago
-
Robotics AI Software- R&D Summer 2026 USD 54K-60KAI software | AI software development | Deep learning | ML workflows | Machine LearningEntry-level Full Time750 TOWER DR, TROY, MI 48098, …1mo ago
-
AI Solutions Consulting Internship Summer 2026 USD 50K-65KAI integration | Data Analysis | Data Manipulation | Data Preprocessing | ExcelInternship stipend | Mentorship | Networking opportunities | Professional development opportunitiesEntry-level InternshipBoston, Massachusetts, United States1mo ago
-
AI & Data Analytics Intern USD 50K-60KAWS | Azure | C# | C++ | Data Analysis401k matching | Dental insurance | Flexible spending account | Health insurance | Life insuranceEntry-level InternshipMount Vernon, WA, US, 98273-96711mo ago
-
Data Architecture & Governance Intern USD 40K-72KAI/ML | APIs | Analytics | Automation | Data ArchitectureCollaborative environment | Exposure to enterprise data platforms | Hands-on experience | Training materials developmentEntry-level Full Time Internship6314 Remote/Teleworker US, United States R1mo ago