11 haskell jobs at 6 companies in San Jose, CA
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
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 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
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
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)
3d
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
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
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
2d
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