2d
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Arlington or Santa Clara
$143k-$222k/yr OnsiteFull Time
PhD or equivalent research experience; strong research background; programming experience in languages such as OCaml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
2w
Save
Mark Applied
Hide
Applied Scientist, AWS Science of Security
Seattle or Arlington or New York
$143k-$193k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in SAT/SMT, theorem proving, symbolic simulation, type systems, or program analysis; experience in professional software development and programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala preferred.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
3w
Save
Mark Applied
Hide
Applied Scientist, AWS Science of Security
New York or Arlington or Seattle
$172k-$223k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in formal methods (SAT/SMT, theorem proving), symbolic simulation, type systems, or program analysis; software development experience and programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala preferred.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1w
Save
Mark Applied
Hide
Applied Scientist, AWS Science of Security
Seattle or Arlington or New York
$143k-$223k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in SAT/SMT/theorem proving/program analysis; strong programming and research skills; professional software development experience preferred.
O'Caml, 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
3w
Save
Mark Applied
Hide
Senior Applied Scientist, AWS Science of Security
Seattle or Arlington or New York
$167k-$249k/yr OnsiteFull Time
6+ YOEPhD, or Master\u0002s +6+ years applied research; experience with SAT/SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong problem solving, strategic design, and mentoring skills.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, SAT, SMT
2mo
Save
Mark Applied
Hide
Software Engineer
Baltimore or Annapolis
HybridFull Time
5+ YOE5+ years enterprise software development; BS in Computer Science or related field; backend languages Java/C/C++/Rust/Python; experience with scalable systems; strong documentation; cryptography or cloud knowledge preferred.
Java, C/C++, Rust, Python, Cryptol, Haskell, Docker, Kubernetes, AWS, Azure
2d
Save
Mark Applied
Hide
Applied Scientist, AWS Identity
Arlington, Virginia, United States
$143k-$193k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in formal methods, theorem proving, program analysis, and constraint solving; ability to build tools, create prototypes, and productize solutions.
SAT, SMT, BDDs, OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala