Position Details

Type Full-Time

Experience senior

Exp. Years 6+ years

Education PhD, or Master's degree and 6+ years of applied research experience

Category AI & Machine Learning

About this role

Senior Applied Scientist in AWS Science of Security focusing on advanced formal methods and AI-driven security solutions. Works on challenging security problems, mentors others, and shapes long-term strategic directions.

Key Responsibilities

Solve complex security problems with scientific innovation
Own strategic problem solving and delivery of long-term solutions
Provide cross-organizational technical influence
Develop strategic plans for new solutions
Mentor and develop others

Technical Overview

Research scope includes SAT/SMT, mechanical theorem proving, symbolic simulation, and programming language theory; languages include OCaml, Dafny, Haskell, Rust, Scala, Kotlin, Lean.

Ideal Candidate

The ideal candidate is a senior applied scientist with a PhD or a Master's plus 6+ years of applied research in formal methods (SAT/SMT, theorem proving) and substantial experience with functional programming languages. They should be able to mentor others and influence cross-organizational security and AI efforts.

Must-Have Skills

PhDor Master's degree and 6+ years of applied research experienceExperience in SATSMTmechanical theorem provingsymbolic simulationprogramming language type systemsprogram analysis

Nice-to-Have Skills

Experience programming in OCamlDafnyHaskellKotlinLeanRustScala or related language

Tools & Platforms

OCamlDafnyHaskellKotlinLeanRustScala

Required Skills

Applied research in security/AISATSMTmechanical theorem provingsymbolic simulationprogramming language type systemsprogram analysisOCamlDafnyHaskellKotlinLeanRustScala

Hard Skills

SATSMTmechanical theorem provingsymbolic simulationprogramming language type systemsprogram analysis

Soft Skills

mentoringleadershipcommunicationcollaboration

Industry & Role

Industry Technology

Job Function Senior applied scientist conducting security-focused research and development within AWS

Role Subtype Senior Applied Scientist

Tech Domains Amazon Web Services, OCaml, Haskell, Rust, Scala, Kotlin, Dafny, Lean, SAT, SMT

Keywords for Your Resume

applied scientistscience of securitysatsmtmechanical theorem provingsymbolic simulationprogramming language type systemsprogram analysisocamldafnyhaskellkotlinleanrustscalaphdmasters degree

Deal Breakers

Lack of PhD or Master's with substantial research, No experience in SAT/SMT or theorem proving, No experience with programming languages like OCaml, Haskell, Rust

Apply for this Position →

Get matched to jobs like this

Luna finds roles that fit your skills and career goals — no endless scrolling required.

Create a Free Profile

Senior Applied Scientist, AWS Science of Security

Get matched to jobs like this