1w
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$143k-$223k/yr OnsiteFull Time
PhD or equivalent research experience required; strong research background in automated reasoning; experience programming in functional/modern languages preferred.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$143k-$193k/yr OnsiteFull Time
PhD in CS/CE or related; experience in SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong research and problem-solving skills; mentoring and cross-organizational influence.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Principal Applied Scientist, Agentic Automated Reasoning Group
Boston or Austin or Santa Clara or Portland
$199k-$309k/yr OnsiteFull Time
10+ YOEPhD in CS/EE/Math, 10+ years in formal verification, program analysis, constraint solving or theorem proving; experience programming in Java, C++, Python; ability to distill customer requirements and lead technical teams.
Java, C++, Python
1w
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$167k-$260k/yr OnsiteFull Time
PhD or equivalent research experience required; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
PhD or Master's degree; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis. Preferred experience with O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
4d
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in automated reasoning, theorem proving, program analysis or related areas; experience with SAT/SMT/mechanical theorem proving; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1w
Save
Mark Applied
Hide
Senior Applied Scientist, AWS Science of Security
Seattle or Arlington or New York or Portland
$167k-$249k/yr OnsiteFull Time
6+ YOEPhD or Master+6+ years applied research experience in formal methods, program analysis, or related areas; strong expertise in SAT/SMT, theorem proving, simulation, type systems; excellent communication and mentoring skills.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1w
Save
Mark Applied
Hide
Statistician (Data Scientist)
Washington or Salt Lake City or Seattle or Phoenix or Los Angeles or San Francisco or Denver or Miami or Atlanta or Chicago or Indianapolis or New Orleans or Boston or Minneapolis or Kansas City or Albuquerque or New York or Oklahoma City or Portland or Austin
$106k-$173k/yr OnsiteFull Time
1+ YOEDegree with substantial statistics coursework or equivalent education/experience; specialized GS-13 experience with statistical design, data modeling, and program evaluation; proficiency with R, SAS, and SQL; U.S. citizenship required.
R, SAS, SQL, Corporate Data Warehouse