Applied Scientist Intern: AI Safety & Formal Methods

Amazon; Seattle (WA); Presencial; USD 122.000 - 149.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

401(k) matching

Mental health support

Medical advice services

Descripción de la vacante

New Grad in Seattle offers a 12-week internship for a current PhD student. You will develop formal methods and automated reasoning for cloud infrastructure and AI safety, and design algorithms for theorem proving, model checking, and program synthesis.

Proficiency in Python and experience with languages like C++, Haskell, or Lean are required. You will apply ML to enhance symbolic reasoning and verify AI-generated code, and publish findings in peer-reviewed venues.

Formación

• Current PhD student available for a minimum 12-week, 40-hour weekly internship.
• Proficiency in Python and experience with languages like C++, Haskell, or Lean.
• Background in mathematical logic, formal verification, SAT/SMT solvers, or program analysis.
• Demonstrated research depth through publications or thesis work.

Responsabilidades

• Develop formal methods and automated reasoning techniques for cloud infrastructure and AI safety.
• Design algorithms for theorem proving, model checking, and program synthesis.
• Apply machine learning to enhance symbolic reasoning and verify AI-generated code.
• Publish research findings in peer-reviewed journals and conferences.

Conocimientos

Python

C++

Haskell

Lean

Educación

PhD student

Herramientas

SAT/SMT solvers

Theorem proving

Descripción del empleo

New Grad in Seattle offers a 12-week internship for a current PhD student. You will develop formal methods and automated reasoning for cloud infrastructure and AI safety, and design algorithms for theorem proving, model checking, and program synthesis.

Proficiency in Python and experience with languages like C++, Haskell, or Lean are required. You will apply ML to enhance symbolic reasoning and verify AI-generated code, and publish findings in peer-reviewed venues.