Find jobs in AI/ML, Data Science and Big Data

8 results for Haskell (Skill/Tech stack)

Senior Applied Scientist, AWS Science of Security USD 167K-226K

Coq | Dafny | Formal verification | Haskell | Isabelle

Flexible work hours

Senior-level Full Time

Portland, Oregon, USA

2d ago
Embedded NixOS Engineer USD 129K-171K

*nix | AARCH64 | Build Automation | C# | CI/CD

Competitive benefits package | Health benefits | Recovery Benefits

Mid-level Full Time

Costa Mesa, California, United States

8d ago
Senior Embedded Software Engineer, EW USD 191K-253K

*nix | Built-in Test | Configuration Management | Deterministic builds | DirectX

Senior-level Full Time

Costa Mesa, California, United States

10d ago
Applied Scientist, AWS Automated Reasoning USD 142K-223K

Automated Reasoning | Dafny | Haskell | Kotlin | Lean

401k matching | Flexible work hours | Health insurance | Paid time off | Parental leave

Mid-level Full Time

Seattle, Washington, USA

20d ago
Senior Applied Scientist, AWS Science of Security USD 167K-248K

Dafny | Haskell | Kotlin | Lean | Mechanical theorem proving

Flexible work hours | Paid time off | Parental leave | Work-life balance

Senior-level Full Time

Seattle, Washington, USA

21d ago
Embedded Haskell Engineer, EW USD 129K-171K

*nix | Computer Vision | DSP | Digital radio | DirectX

Competitive benefits package | Health benefits | Recovery support

Mid-level Full Time

Costa Mesa, California, United States

1mo ago
Senior Embedded Engineer, EW USD 191K-253K

*nix | Configuration Management | DSP | Digital radio | DirectX

Disability insurance | Health insurance | Life insurance | Paid time off

Senior-level Full Time

Costa Mesa, California, United States

1mo ago
Embedded Linux Engineer USD 166K-220K

*nix | ARM | Bootloader | Buildroot | C plus plus

Mid-level Full Time

Seattle, Washington, United States

1mo ago