PhD Internship: Automated Reasoning & Formal Verification
Amazon Science
Amazon Science in Seattle recruits an Applied Science Intern to push automated reasoning within cloud verification and security research. You will tackle theorem proving, SAT/SMT, and neural-symbolic methods, contributing to tools used across AWS services. The role emphasizes rigorous research, publication opportunities, and collaboration with senior scientists in a fast-paced environment. #J-18808-Ljbffr Amazon Science
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the PhD Internship: Automated Reasoning & Formal Verification in Seattle, WA vacancy
$135.66k
Description This role sits within Amazon's Automated Reasoning and Formal Verification research horizon. Shape the Future... ...Reasoning Applied Science Internships in, but not limited to, Arlington,... ...Qualifications Are enrolled in a PhD Can relocate to where the internship...InternshipFor phdRelocation$142.8k - $193.2k
...graduate student passionate about Automated Reasoning and its real-world... ...program analysis, synthesis, and verification, you'll tackle complex... ...value to our customers. This internship is not just about executing... ...Are enrolled in a PhD Can relocate to where the...InternshipFor phdRelocationFlexible hoursAmazon
Seattle, WA1 day ago$144.18k - $219.52k
...design development, design verification and test. In addition,... ...designs through formal verification, environmental... ...Master's or PhD in Electrical Engineering... ...cores) Scripting and automation experience (Python, Tcl... ...applicants requiring a reasonable accommodation in order...For phdPermanent employmentFull timeTemporary workLocal areaWorldwide$250k - $300k
...generation of AI‑powered Document Verification and Biometrics solutions. This... ...building intelligent agents that can reason over document and biometric signals, automate verification workflows, and adapt... ...You Bring Advanced degree (MS/PhD preferred) in Computer Science, Electrical...For phd$106.6k - $130.1k
...Washington state and within a reasonable driving distance from Tukwila... ...sheet hedging activities. Automate & Scale: Use Python and Excel... ...Qualifications Master's degree or PhD in Financial Engineering,... ...through professional experience, internships, or graduate-level projects....InternshipFor phdRemote workBoeing Employees Credit Union
Seattle, WA1 day ago- ...understanding, and safety. Develop automated metrics and model-based... ...or have recently completed a PhD's degree in Computer Science,... ..., substantial projects, internships, or open-source work. Preferred... ...this and hope you are too. Reasonable Accommodation ByteDance is committed...InternshipFor phd
$87.36k - $124.8k
...We Offer: Paid, full-time internships in the heart of the software... ...Desired class level: Masters, or PhD Desired majors: Computer... ...: Creating AI systems that reason over governed data and shipping... ...intelligent agents to automate SQL code conversion and data...InternshipFor phdFull timeCasual workWork from homeFlexible hours$57 per hour
...& Scheduling) - 2027 Start (PhD) Location: Seattle Team: Technology... ...to join us for an internship. PhD internships at Our Company... ...including AI‑agent‑assisted automation. Why This Role Matters The AI... ...this and hope you are too. Reasonable Accommodation ByteDance is committed...InternshipFor phdHourly paySummer workLocal area$90k - $130k
...SOPs. Qualifications PhD in a relevant field + ~1 year... ...relevant experience. Strong internship, post-doc or equivalent industry... ...protocols. Hands-on automation experience. Python / R or... ...required employment eligibility verification form upon hire. Please note:...InternshipFor phdFull timeCasual workVisa sponsorshipWork visaRelocation packageMonday to FridayArzeda
Seattle, WAa month ago- ...unrestricted license or registration for verification at the time you apply. All qualified... ...of examinations, licensure, education, internship and residency. Please electronically upload... ...requirements: Successful completion of a PhD or equivalent doctoral degree from a professional...InternshipFor phdWork experience placement
US Bureau of Prisons/Federal Prison System
Seattle, WA1 day ago $184.9k - $250.2k
...new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and... ...practices across the team.Basic qualifications- 4+ years of non-internship professional front end, web or mobile software development...InternshipFlexible hours$71.25 per hour
...Recruitment Program - 2027 Start (PhD) Location: Seattle Employment... ...training of agent multi-step reasoning and tool-call strategies... ...external APIs towards fully automated agentic moderation. This can... ...framework & performance tuning and verification for training/finetuning/...InternshipFor phdHourly paySummer workLocal area$115k - $230k
...engineer to work on automated analyses for provably... ...analysis, and deductive verification. You will have the... ...theory and automated reasoning and love to work on the... ...smart contracts and formalize properties for use in... ...experience (includes internships, software developed during...InternshipFull timeLocal areaRemote workFlexible hours- ...Level: Graduate student (MS or PhD, returning to your program... ...models that enable systems to reason over a customer's evolving... ...This is not a traditional internship. You'll own a research problem... ...Hiring Process We may use automated AI tools to evaluate job applications...InternshipFor phdRemote jobLocal areaFlexible hours
Block
Seattle, WA14 hours ago $19 - $30 per hour
This Opportunity WSP USA hosts hundreds of internships across the United States to gain hands-... ...with technical writing, office automation, software, spreadsheets, technology, and... ...Civil Engineering Bachelors, Masters or PhD program with an anticipated graduation date...InternshipFor phdTemporary workWork experience placementSummer workSummer internshipWork at officeLocal areaRelocation packageFlexible hours$21 - $36 per hour
...do: Focus areas for this internship will be in Grid - Software Solutions... ...enrolled in a Master or PhD program at an accredited... ...development and Python for scripting, automation, or data processing. ~... ...Interns will be reimbursed for reasonable, proper, and documented...InternshipFor phdPermanent employmentFull timeSummer workWork at officeRelocation packageGE Vernova
Bellevue, WA14 hours ago$85k - $100k
...-2 years of work experience, including internships. Technical Skills: Proficiency in Excel... ...,000 Candidate must be able to submit verification of his/her legal right to work in the... ...the job can be performed with or without reasonable accommodation, or any other protected...InternshipFor phdFull timeWork experience placementWork at officeLocal areaRemote work3 days per week$237.6k - $356.4k
Research Manager, Multimodal Reasoning - SIML Cupertino, California, United States Machine Learning... ...is a huge plus. Minimum Qualifications PhD, or MSc in Computer Science/Electrical... ...products and free services, and for formal education related to advancing your career...For phdRelocation- Senior Data Scientist - Document Verification Socure is building the identity trust infrastructure... ..., and develop scalable evaluation and automation frameworks. Machine Learning & Model... ...modeling decisions. Qualifications Required MS/PhD (or equivalent experience) in Computer...For phd
- A research laboratory in sustainable energy is offering a paid summer internship for PhD candidates. Interns will engage in high-impact research, contribute to energy sustainability projects, and benefit from professional development opportunities. Candidates with a minimum...InternshipFor phdSummer internship
- ...beamformer). You will own the final test/verification of fully functional phased array... ...experience in the areas of RF and antennas (internship and thesis acceptable) 1+ years of experience... ...’s degree and 3+ years of experience or PhD degree (in electrical engineering with...InternshipFor phdPermanent employmentWork experience placement
- ...generation of design automation for the semiconductor... ...accelerated algorithms, verification, analog design, and other... ...forms that agents can reason over and use... ...systems with simulators, formal tools, design databases... ...We're Looking For ~ PhD or master's degree in...For phdFull time
International Recruiting LLC
Bellevue, WA27 days ago $57 per hour
...Minimum Qualifications Currently pursuing a PhD in computer science, mathematics,... ...proficient in Python or C/C++. Research or internship experience related to large-scale... ...systems; and Exercising sound judgment. Reasonable Accommodation ByteDance is committed to...InternshipFor phdHourly payLocal area$38 - $94 per hour
...Newton amongst others. We are looking for PhD-candidate interns to play a pivotal role... ...policy deployment Scientific lab automation The Seattle Robotics Lab is primarily located... ...vibrant Fremont neighborhood of Seattle. Our internship hourly rates are a standard pay based on...InternshipFor phdHourly payFull timeSummer work- ...large models. Our systems are not just data stores; they’re reasoning engines, retrieval platforms, and real-time memory for AI agents... ....We are looking for talented individuals to join us for an internship. PhD internships at Our Company provide students with the opportunity...InternshipFor phdWork experience placement
$38 - $73 per hour
...and YouTube. Our Summer Internship program is a wonderful opportunity... .... Utilize Python to automate test sequences, perform analysis... ...undergraduate, graduate or PhD student pursuing a degree in... ...potential inconsistencies or verification signals in application materials...InternshipFor phdSummer internshipWork at officeWorldwideRelocation- .... We are looking for talented individuals to join us for an internship. PhD internships at Our Company provide students with the opportunity... ...reach. We are passionate about this and hope you are too. Reasonable Accommodation ByteDance is committed to providing reasonable...InternshipFor phdSummer work
$38 - $65 per hour
...Instagram, and YouTube. Our Summer Internship program is a wonderful opportunity for Fall... ...You are an undergraduate, graduate or PhD student pursuing a degree in Mechanical... ...identifying potential inconsistencies or verification signals in application materials based on...InternshipFor phdSummer internshipWork at officeWorldwideRelocationShield AI
Seattle, WA7 days ago$135.66k
2027 Quantum Applied Science Internship, Quantum Technologies team Job ID: 10556930 | Amazon... ...and validate outputs from AI tools and automated systems. About the team Diverse Experiences... ...internship is based Are enrolled in a PhD Demonstrated science depth in a...InternshipFor phdLocal areaRelocation- NVIDIA's Seattle Robotics Lab in Seattle is seeking PhD candidate interns to contribute to cutting-edge robotics research, spanning... ...such as collaborative arms and mobile manipulators. The internship emphasizes hands-on research, strong publication potential, and...InternshipFor phd
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to PhD Internship: Automated Reasoning & Formal Verification. Be the first to apply!
