Haskell jobs

Atom feed icon Atom Feed
Showing (13) result(s).

Embedded Haskell Developer

Anduril Industries

Costa Mesa, CA, USA

🇺🇸

Embedded Haskell developer building high-performance RF systems for electronic warfare. Work spans numerical DSP, hardware/software integration, and Lattice OS. Requires TS/SCI clearance eligibility. Bonus: Rust, FPGAs, Nix. $140K-$252K.

Haskell
Verified: 2025-09-06

Haskell Developer

Bellroy

Collingwood, Australia

🏠 🇦🇺

Haskell Developer role building and evolving a bespoke e-commerce platform. Strong FP skills required; Nix, AWS, and Ruby on Rails experience a plus.

Haskell
Verified: 2025-09-06

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA

🇺🇸

Formal methods engineer role building automated verification tools for smart contracts. Requires experience with model checking, SAT/SMT solving, and programming language theory.

Haskell
Verified: 2025-09-06

Senior Software Engineer (L4)

Converge

London, England, UK

🏠 🇬🇧

Senior role using Haskell, TypeScript, and Python across frontend/backend. Focus on new product development, domain modelling, and concrete data systems. Involves mentoring, tech leadership, and customer-facing work. £95-110K.

Haskell
Verified: 2025-09-06

Research Engineer

Galois, Inc.

Portland, OR, USA | Arlington, VA, USA | Dayton, OH, USA | Minneapolis, MN, USA

🇺🇸

The role entails verifying safety-critical systems using formal methods. Requires strong PL theory background, functional programming skills, and software engineering experience. Secret clearance eligibility needed; hybrid work in multiple U.S. locations.

Haskell
Verified: 2025-09-06

Haskell Software Engineer

Heilmann Software

Stuttgart, Germany

🇩🇪

Haskell developer role in a collaborative, model-driven team using GHCJS, optics, and optionally FRP or CouchDB. Emphasis on simplicity, creative problem-solving, and long-term growth. Welcomes non-traditional backgrounds with strong Haskell interest.

Haskell
Verified: 2025-09-06

SDE - Functional Programming

Juspay

Bangalore, India

🇮🇳

SDE (Functional Programming) using Haskell/Purescript to build high-scale payments systems. Focus on backend APIs, intelligent data-driven ops, and resilient multi-DC infrastructure.

Haskell
Verified: 2025-09-06

Research Scientist

Kudu Dynamics

Chantilly, VA, USA

🇺🇸

Research scientist role developing novel static analysis tools to discover software vulnerabilities. Requires expertise in type systems or model checking, and experience with functional languages. TS clearance eligibility needed.

Haskell
Verified: 2025-09-06

Software Engineer - Functional Programming

Leidos

San Diego, CA, USA

🇺🇸

Senior Software Engineer using functional programming to build high-assurance systems for DARPA and OT/IT applications. $104K-$189K.

Haskell
Verified: 2025-09-06

Software Engineer Backend/Frontend (Haskell)

Meqo

Freiburg im Breisgau, Germany

🇩🇪

Haskell engineer role designing backend/frontend systems with STM, Conduits, and reactive data processing. Build distributed algorithms for real-time sync across devices. Emphasis on functional purity, profiling, and production delivery.

Haskell
Verified: 2025-09-06

Senior Haskell Engineer

Serokell

Remote

🏠

Senior Haskell engineer pool for future roles. Work on complex FP projects with ReaderT, StateT, mtl, Template Haskell, QuickCheck, Cabal/Stack. Bonus: Rust, cryptography, parsers. Async hiring via test + interview.

Haskell
Verified: 2025-09-06

Quantitative Developer (Haskell)

Standard Chartered

Warsaw, Poland

🇵🇱

Quantitative Developer role using Haskell (and in-house variant Mu) to build real-time pricing, risk, and analytics tools. Involves architecture, devops, and close collaboration with traders.

Haskell
Verified: 2025-09-06

Software Engineer

Vacation Labs

Porvorim, Goa, India

🏠 🇮🇳

Join a travel tech team building a next-gen Haskell platform alongside a mature Rails/AngularJS stack. Requires FP experience, web development background, and willingness to work full stack.

Haskell
Verified: 2025-09-06