15 haskell jobs at 2 companies in Seattle, WA
2mo
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
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Seattle, Washington, United States
$143k-$193k/yr OnsiteFull Time
Ph.D. in computer science/engineering or related field required; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala preferred.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
4w
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
1mo
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
2mo
Save
Mark Applied
Hide
2027 Early Career Electrical Engineer
Atlanta or Boston or Costa Mesa or Irvine or Seattle or Huntsville
$86k-$114k/yr OnsiteFull Time
Pursuing or recently completed BS/MS in EE/CE or related, able to start full-time in 2027, familiar with lab test equipment, embedded Linux, Altium, git/GitHub/JIRA, standard interfaces, and proficient in C/C++ and higher-level languages.
Oscilloscopes, DMM, Logic analyzers, Debuggers, Current-probes, git, GitHub, JIRA, Ethernet, CAN, I2C, SPI, PCIe, USB, embedded Linux, Altium Designer, C, C++, Python, Rust, Haskell
2mo
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Seattle, Washington, United States
$167k-$226k/yr OnsiteFull Time
PhD or Master's degree required; experience in SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience in functional/modern languages preferred; strong technical leadership and problem-solving skills.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
2027 Electrical Engineer Intern
Atlanta or Boston or Costa Mesa or Irvine or Seattle or Huntsville
$30-$45/hr OnsiteInternship
Pursuing a Bachelor's in Electrical or Computer Engineering, rising senior status, U.S. Person required, able to complete a 12-week in-person internship; familiarity with lab test equipment, embedded Linux, Git/GitHub/JIRA, Altium, and C/C++/Python preferred.
Oscilloscope, DMM, logic analyzer, debugger, current-probe, Git, GitHub, JIRA, Ethernet, CAN, I2C, SPI, PCIe, USB, embedded Linux, Altium Designer, C, C++, Python, Rust, Haskell
1mo
Save
Mark Applied
Hide
Embedded Linux Engineer
Seattle or Costa Mesa
$166k-$220k/yr OnsiteFull Time
U.S. Person required. Experience with Linux kernel development, board bring-up (device trees, bootloaders, kernel drivers), uboot/EDK2, triaging and patching vulnerabilities, C or Rust, and interest in Nix/NixOS instead of Yocto/buildroot.
Linux kernel, uboot, EDK2, Nix, NixOS, Yocto, buildroot, C, Rust, CUDA, C++, Python, Go, Haskell
2mo
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
2w
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
2w
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
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Seattle, Washington, United States
$167k-$226k/yr OnsiteFull Time
6+ YOEPhD or Master’s with 6+ years of applied research; expertise in SAT/SMT, theorem proving, symbolic simulation, or program analysis; programming in functional languages.
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-$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
2w
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
1d
Save
Mark Applied
Hide
Senior Applied Scientist, AWS Science of Security
Arlington or Seattle or New York or Portland
$167k-$249k/yr OnsiteFull Time
6+ YOEPhD or Master's+6 years applied research experience in areas such as formal verification, SAT/SMT, model checking, theorem proving, or program analysis. Professional software development experience and strong communication skills preferred.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, Isabelle, Rocq
Explore Jobs
Expand Your Job Search
Top Cities Near Seattle for Haskell
- Haskell jobs in Tacoma, WA
- Haskell jobs in Bellevue, WA
- Haskell jobs in Kent, WA
- Haskell jobs in Everett, WA
- Haskell jobs in Renton, WA
- Haskell jobs in Federal Way, WA
- Haskell jobs in Kirkland, WA
- Haskell jobs in Auburn, WA
- Haskell jobs in Marysville, WA
- Haskell jobs in Redmond, WA
- Haskell jobs in Lakewood, WA
- Haskell jobs in Shoreline, WA
- Haskell jobs in Sammamish, WA
- Haskell jobs in Burien, WA
- Haskell jobs in Olympia, WA
- Haskell jobs in Lacey, WA
- Haskell jobs in Bothell, WA
- Haskell jobs in Edmonds, WA
- Haskell jobs in Puyallup, WA
- Haskell jobs in Bremerton, WA