2027 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting, Automated Reasoni

What you’d do

PhD internship contributing to automated reasoning research, including constraint solving, model checking, static analysis, theorem proving, and program synthesis, plus applying generative AI and machine learning to reasoning tasks. Full-time, 40 hours per week minimum, 12-week minimum commitment, based in Seattle, Washington. Found on the employer's careers page on Sep 30, 2026. Apply through the link.