San Francisco • 50 milesRemote · Hybrid · Onsite · Field · All Environments
San Francisco • 50 milesRemote · Hybrid · Onsite · Field · All Environments
San Francisco • 50 milesRemote · Hybrid · Onsite · Field · All Environments
San Francisco • 50 milesRemote · Hybrid · Onsite · Field · All Environments
13 haskell jobs at 6 companies in San Francisco, CA
4w
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
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
1mo
Save
Mark Applied
Hide
Senior Backend Engineer - Product
San Francisco or New York City or Portland or United States or Canada
$167k-$208k/yr HybridFull Time
3+ YOE3+ years backend development experience, proficiency in SQL, familiarity or willingness to learn Haskell, product-minded, experience making architecture decisions, strong communication, and use of AI tools to boost productivity.
Haskell, SQL
1mo
Save
Mark Applied
Hide
Senior Full-Stack Engineer
San Francisco or New York City or Portland or United States or Canada
$167k-$208k/yr HybridFull Time
3+ YOE3–7 years full-stack experience; knowledge of or willingness to learn Haskell, React, TypeScript, and Redux; product ownership mindset; effective communication; comfortable using AI tools to augment development.
Haskell, React, TypeScript, Redux
1mo
Save
Mark Applied
Hide
Software Engineer - Product
San Francisco or New York or Portland or Canada or United States
$122k-$158k/yr HybridFull Time
1+ YOE1-4 years backend or full-stack experience; product-minded; experience or interest in Haskell, React, TypeScript, and Redux; strong communication, critical thinking, and experience shipping products; comfortable using AI tools to amplify engineering work.
Haskell, React, TypeScript, Redux
1mo
Save
Mark Applied
Hide
Staff Software Engineer - Full Stack
San Francisco, California, United States
OnsiteFull Time
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)
5d
Save
Mark Applied
Hide
Senior/Principal R&D Cybersecurity - Formal Verification Researcher, Onsite
Livermore, California, United States
$140k-$281k/yr OnsiteFull Time
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
1d
Save
Mark Applied
Hide
Applied Scientist, Automated Reasoning
New York or Washington or Boston or Austin or Arlington or Seattle or Santa Clara or Denver or Portland or San Francisco
$167k-$260k/yr OnsiteFull Time
PhD or equivalent research experience plus expertise in mathematical logic, formal verification, satisfiability solving, theorem proving, model checking, or program analysis.
Lean, Dafny, Isabelle, Rocq, OCaml, Haskell, Rust, Scala, Kotlin, SAT, SMT
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
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
1mo
Save
Mark Applied
Hide
Senior Machine Learning Operations Engineer
San Francisco or New York City or Portland or United States or Canada
$167k-$208k/yr HybridFull Time
5+ YOE5+ years in ML engineering/MLOps or backend engineering; production ML service experience; strong Python and API framework skills (FastAPI/Flask); model deployment, CI/CD, registries, observability, SQL, low-latency stores, and streaming pipelines.
Python, FastAPI, Flask, SHAP, SQL, Redis, DynamoDB, Kafka, Kinesis, Redpanda, Snowflake, dbt, Dagster, Airflow, Haskell, React, TypeScript
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Santa Clara
$143k-$222k/yr OnsiteFull Time
Ph.D. in computer science/engineering or related; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience in functional and systems languages; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, Microsoft Excel
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Santa Clara
$167k-$260k/yr OnsiteFull Time
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
4d
Save
Mark Applied
Hide
Senior/Principal R&D Cybersecurity - Formal Verification Researcher, Onsite
Livermore, California, United States
$140k-$281k/yr OnsiteFull Time
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
Software Engineer
San Francisco, California, United States
$140k-$180k/yr OnsiteFull Time
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