25 haskell jobs at 10 companies in California

1mo
Save
Mark Applied
Hide
Embedded Haskell Engineer, EW
Costa Mesa, California, United States
$129k-$171k/yr OnsiteFull Time
Anduril Industries
Anduril Industries: Defense technology building autonomous military hardware and software.
2+ YOE2+ years software engineering, experience with software-defined digital radio systems, and eligibility to obtain U.S. Top Secret/SCI; preferred experience with typed functional languages, MATLAB, Linux kernel, FPGA, graphics, and Nix.
Haskell, Scala, F#, OCaml, Rust, MATLAB, C, Linux kernel, Verilog, VHDL, Xilinx, OpenGL, DirectX, Vulkan, Nix, NixOS
3w
Save
Mark Applied
Hide
Senior Software Engineer - Banking Integration Platform
San Francisco or New York City or Portland or United States or Canada
$201k-$251k/yr HybridFull Time
Mercury
Mercury: Banking services and financial software designed for startup companies.
7+ YOE7+ years building and operating backend infrastructure and distributed systems; experience integrating modern systems with legacy banking infrastructure; strong API and reliability focus; Haskell experience or willingness to learn.
Haskell
2mo
Save
Mark Applied
Hide
Lead Software Engineer (Cloud)
Torrance or Los Angeles
$174k-$260k/yr OnsiteFull Time
Northwood Space
Northwood Space: Manufacturing ground stations and providing satellite communication infrastructure.
6+ YOE6+ years software development, 3+ years building cloud services and APIs, experience leading engineers or tech projects, distributed scheduling/resource allocation experience, proficiency with AWS/Azure/Google Cloud, Kubernetes, and CI/CD; Rust/Golang/Haskell experience preferred.
AWS, Azure, Google Cloud, Rust, Golang, Haskell, Kubernetes, CI/CD, Telemetry, Tracking, and Control (TT&C)
1mo
Save
Mark Applied
Hide
Platform Consultant - Technology Risk & Compliance
Illinois or United States or San Francisco or Los Angeles or Indiana
$160k-$230k/yr RemoteFull Time
Allstate
AllstateNYSE: ALL: Provides insurance products for vehicles, homes, and businesses.
8+ YOE8+ years in software engineering or platform architecture, deep security architecture and secure-by-design experience, expertise with cloud-native distributed systems, CI/CD, DevOps, and strong technical leadership and communication skills.
Agile/XP, CI/CD, DevOps, Docker, Kubernetes, AWS, Azure, Java, JavaScript, IntelliJ, VS Code, Git, GitHub, Spring Boot, RESTful APIs, OWASP Top 10, MITRE ATT&CK, OAuth 2.0, OpenID Connect, SAML, Go, Rust, F#, Elixir, Haskell, Clojure, OpenAPI, Swagger, AES, TLS, Argon2, BDD, TDD, AI/ML, cursor, copilot, claude, codex, Zero Trust architecture
3d
Save
Mark Applied
Hide
Senior/Principal R&D Cybersecurity - Formal Verification Researcher, Onsite
Livermore, California, United States
$140k-$281k/yr OnsiteFull Time
Sandia National Laboratories
Sandia National Laboratories: Conducts science and engineering research for national security.
5+ YOEBachelor's degree in a relevant discipline plus 5 years of directly relevant experience, or equivalent education and experience; ability to obtain and maintain a U.S. DOE Q-level security clearance and conduct independent R&D.
Haskell, OCaml, Rocq, Python, C, Rust, Verilog, VHDL, NuSMV, TLA, assembly languages, high-performance computing platforms
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Santa Clara
$167k-$260k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or Master's degree; experience in SAT, SMT, mechanical theorem proving, symbolic simulation, type systems, or program analysis; strong problem solving and research skills. Programming experience in functional/modern languages preferred.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
2d
Save
Mark Applied
Hide
Senior/Principal R&D Cybersecurity - Formal Verification Researcher, Onsite
Livermore, California, United States
$140k-$281k/yr OnsiteFull Time
Sandia National Laboratories
Sandia National Laboratories: Federal research and development laboratory for national security.
5+ YOEBachelor's degree and 5 years of directly relevant experience or equivalent education and experience; ability to obtain and maintain a U.S. DOE Q-level clearance. Formal methods and verification expertise required.
Haskell, OCaml, Rocq, Python, C, Rust, Verilog, VHDL, NuSMV, TLA, Microsoft Windows
2mo
Save
Mark Applied
Hide
Machine Learning Engineer
Carlsbad, California, United States
OnsiteFull Time
NTENT
NTENT: Develops semantic search and natural language processing technology platforms.
Graduate CS degree; strong ML background; Python/Scala; ML tools; distributed data tech; Docker/Kubernetes; NLP experience.
Python, Scala, Java, R, Haskell, Scikit-learn, TensorFlow, Keras, PyTorch, Spark MLlib, Hadoop, Spark, Kafka, Docker, Kubernetes, Elasticsearch, Lucene
1mo
Save
Mark Applied
Hide
Staff Software Engineer - Full Stack
San Francisco, California, United States
OnsiteFull Time
Watney Robotics
Watney Robotics: Develops autonomous robotic systems for data center infrastructure buildout.
Production Rust or strong systems/polyglot engineering experience, full-stack skills across backend, cloud, and interactive web frontends; experience with distributed systems, media/video pipelines, and operating live systems.
Rust, C++, Haskell, LISP, OpenTelemetry (OTEL)
2w
Save
Mark Applied
Hide
Sr Software Engineer
New York or California
$149k-$199k/yr HybridFull Time
The Walt Disney Company
The Walt Disney CompanyNYSE: DIS: Produces media content and operates global theme parks.
5+ YOE5+ years software development experience with functional Scala, AWS, Kubernetes, distributed systems, and strong problem-solving and collaboration skills.
Scala, ZIO, Cats, Cats Effect, RX Java, Kotlin, Clojure, Lisp, Haskell, OCaml, Elm, Typescript, AWS, CFN, Cloudformation, EC2, Lambda, S3, Dynamo, Terraform, Docker, Kubernetes, Istio, Spinnaker, Datadog, Git, Jira
2mo
Save
Mark Applied
Hide
Software Engineer
San Francisco, California, United States
$140k-$180k/yr OnsiteFull Time
Tetsuwan Scientific
Tetsuwan Scientific: Building AI-driven autonomous robotics for scientific laboratory experiments.
3+ YOE3+ years professional software experience; able to take ambiguous problems to shipped features; comfortable across languages and full stack; strong code quality opinions and collaboration in a small in-person team.
OCaml, Python, TypeScript, React, Next.js, Tailwind, FastAPI, NeonDB, Zustand, Haskell, F#, Rust, LLM