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
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$143k-$193k/yr OnsiteFull Time
Ph.D. in CS/CE or related field; experience with SAT/SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience (OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala); strong problem solving and mentoring skills.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$167k-$226k/yr OnsiteFull Time
PhD or Master's degree required. Experience with SAT/SMT, theorem proving, symbolic simulation, type systems or program analysis. Strong programming and research skills; mentoring and strategic problem solving experience.
SAT, SMT, 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
3d
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
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
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