beyond-tabs logo

Browse Jobs

Hand-curated positions in niche programming languages

No filters applied

154 jobs found

Atom feed icon Subscribe to Feed

Showing 31-60 of 154

2 / 6

Senior Formal Methods Engineer

Draper
Senior+
🇺🇸

Cambridge, MA, USA

Senior Formal Methods Engineer developing software analysis tools using Haskell, OCaml, Coq, and SMT solvers. Focus on security verification, static analysis, and vulnerability detection across critical systems. Requires security clearance eligibility.

HaskellOCaml
Verified Feb 17, 2026 View listing

Rust Engineer

DuckDB Labs
Senior+
🇳🇱

Amsterdam, Netherlands

Rust Engineer developing and extending the DuckDB Rust ecosystem. Rust with FFI and C++ interop, building extensions, contributing to duckdb-rs, and client consulting on database integration for production systems.

Rust
Verified Feb 21, 2026 View listing

Software Engineer, Backend

Duffel
Mid-level+
🇬🇧

London, England, UK

Backend engineer building a unified travel API using Elixir, Phoenix, Kubernetes and GCP. Tackle complex airline integrations and API design while shaping engineering standards.

Elixir
Verified Feb 17, 2026 View listing

Elixir Product Engineer

Dyad
🇬🇧

London, England, UK

Elixir product engineer role building healthcare tools with Phoenix and LiveView. Full-stack development, SQL optimization, CI/CD, and infrastructure in a small, agile team. Focus on UK primary care systems with hybrid flexibility.

Elixir
Verified Feb 17, 2026 View listing

Senior Rust Engineer

Eiger
Senior+
🏠

Remote

Contract role. Join a team of senior Web3 engineers to design, implement, and document distributed systems and core protocols for mass adoption. Requires 5+ years collaborative development experience, 3+ years hands-on Rust, and experience leading small teams in systems programming.

Rust
Verified Feb 17, 2026 View listing

Senior Software Developer

Ericsson
Senior+
🇵🇱

Krakow, Poland

Senior developer building 5G Core telecom software with functional languages (Erlang/Elixir), Linux, Git/Gerrit/Jenkins, Kubernetes, Docker and CI/CD. Lead design, testing and troubleshooting in complex cloud-native systems while mentoring teammates in Agile teams.

Erlang
Verified Feb 17, 2026 View listing

Software Developer

Ericsson
Mid-level+
🇵🇱

Krakow, Poland

Software developer for 5G Core services, working on high-quality telecom software, design, testing and troubleshooting. Tech includes Erlang/Elixir, Linux, Kubernetes, Docker and networking. Agile cross-functional development in complex telecom systems.

Erlang
Verified Feb 17, 2026 View listing

Scala Backend Developer

Evolution Gaming Group
Mid-level+
🇵🇱

Warsaw, Poland

Scala engineer building high-performance game server components using functional programming (Cats, Cats Effect, Tagless Final). Implement domain logic, testing and 24/7 Kubernetes operations, collaborating with cross-functional teams to deliver robust, scalable systems.

Scala
Verified Feb 17, 2026 View listing

Senior Scala Developer

Exalate
Senior+
🏠 🇪🇸

Remote, Spain

Senior Scala developer building distributed integration platforms using Play, Akka, Slick, sbt and PostgreSQL. Apply FP, XP practices, CI/CD and Docker/Kubernetes to design microservices, solve complex architectural problems and mentor teammates across challenging integration workloads.

Scala
Verified Feb 17, 2026 View listing

Senior Elixir Platform Lead

Fairing
Senior+
🏠 🇺🇸

New York, NY, USA | Remote, USA

Senior Elixir Platform Lead building a zero-party data attribution platform. Elixir and PostgreSQL for processing millions of data points and providing real-time marketing insights. Responsible for platform architecture, performance optimization, and establishing engineering standards as the senior technical partner to the CPTO.

Elixir
Verified Feb 17, 2026 View listing

Software Engineer

Foundry for Good
Mid-level+
🏠 🇵🇭

Remote, Philippines

Software engineer building and supporting a Clojure-based platform with React, Postgres, Elasticsearch and Azure. Implement features, fix bugs, handle advanced troubleshooting, contribute to CI/CD, testing and DevOps while growing into full codebase ownership.

Clojure
Verified Feb 17, 2026 View listing

Backend Engineer

Fresha
Mid-level+
🇵🇱

Warsaw, Poland

Backend Engineer working on a global beauty platform using Ruby, Elixir, GraphQL, TypeScript, Kafka, and Kubernetes in microservices.

ElixirRuby
Verified Feb 17, 2026 View listing

Software Engineer

Gateless
🏠

Remote, Latin America

Clojure role building a distributed expert system for mortgage automation using Clara Rules, AWS, and Svelte. Functional programming focus with microservices, Step Functions, and Terraform. Fintech or AI experience a plus.

Clojure
Verified Feb 17, 2026 View listing

Intermediate Software Developer

Genetec
Mid-level+
🇨🇦

Montreal, Canada

Mid-level Software Developer building features for a cloud VoIP communication platform. Work with C#, F#, Go, SIP/WebRTC, codecs, web tech, Docker/Kubernetes, and cloud deployments while contributing tests, estimates, and cross-team collaboration.

C#F#Go
Verified Feb 17, 2026 View listing

.NET Software Developer

Genetec
🇨🇦

Montréal, Canada

Full-time .NET developer (C#/F#). Build frontend and backend for scalable enterprise systems across domains like cloud, video, or access control. All experience levels welcome. Uses Visual Studio, .NET, F#.

C#F#
Verified Feb 17, 2026 View listing

Senior Scala engineer

GlobalLogic
Senior+
🇭🇷 🇵🇱 🇷🇴 🇸🇰

Croatia | Poland | Romania | Slovakia

Senior Scala Engineer building distributed data services on AWS/GCP with Scala FP stack (cats-effect, FS2), BigQuery/Beam pipelines, SQL, Pub/Sub, and Airflow workflows. Develop scalable ingestion/processing features and troubleshoot cloud systems.

Scala
Verified Feb 17, 2026 View listing

Lead Scala Backend Engineer

GlobalLogic
Lead+
🇭🇷 🇵🇱 🇷🇴 🇸🇰

Croatia | Poland | Romania | Slovakia

Lead Scala Backend Engineer driving AWS-based data platform migration; build Scala microservices, GraphQL APIs, Spark pipelines, and Kubernetes-native services, with optional Angular contributions. Tackle petabyte-scale processing and cloud CI/CD.

Scala
Verified Feb 17, 2026 View listing

Data Tech Lead

Groupama
Lead+
🇫🇷

Puteaux, France

Tech Lead Data driving Spark/Scala expertise: define development standards, support developers, optimize workloads, supervise platforms, handle upgrades, audits, and assistance. Work across Hadoop-based datalake and Oracle data warehouse to deliver performant, compliant data solutions.

Scala
Verified Feb 17, 2026 View listing

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 Feb 17, 2026 View listing

Software Engineer - Scala

HolidayCheck
🇨🇭 🇩🇪

Munich, Germany | Bottighofen, Switzerland

Scala Software Engineer role developing reactive microservices with Scala and tapir in a high-traffic travel platform. Functional programming, SQL/NoSQL, Kafka, and microservices experience valued.

Scala
Verified Feb 17, 2026 View listing

Senior Software Engineer

Holland & Hart
Senior+
🏠 🇺🇸

Boulder, CO, USA | Remote, AK-AZ-CO-DC-ID-MT-NM-NV-UT-WY, USA

Senior Software Engineer building legal automation software with focus on functional programming.

HaskellPythonTypescript
Verified Feb 17, 2026 View listing

Rust Ecosystem Engineer

Huawei
Senior+
🇩🇪

Dresden, Germany

Rust Ecosystem Engineer integrating Rust into OpenHarmony OS, including cross-platform crate support, UI frameworks, and web rendering engine development. Requires strong Rust and C knowledge with Rust-FFI experience.

Rust
Verified Feb 17, 2026 View listing

Backend Software Engineer

Hubs Contabilidade
Mid-level+
🏠 🇧🇷

Remote, Brazil

Backend Software Engineer developing systems for the accounting technology sector. Elixir with Phoenix, PostgreSQL, and AWS, focusing on backend architecture, API development, technical debt, and database performance.

Elixir
Verified Feb 17, 2026 View listing

Senior Software Engineer - UltraGrid

Hypervolt
🇬🇧 🇺🇸

London, England, UK | Palo Alto, CA, USA

Senior Software Engineer role building an ultra-low latency, real-time engine for distributed energy assets. Requires deep Scala/Java expertise, performance engineering mastery, and systems-level thinking.

Scala
Verified Feb 17, 2026 View listing

Functional Software Engineer

Imandra
🇺🇸

Austin, TX, USA

On-site OCaml engineer for Imandra’s automated reasoning tools. Work spans backend, ReasonML UIs, GCP/K8s infra, and formal verification. Bonus: Haskell, open-source, theorem proving.

OCaml
Verified Feb 17, 2026 View listing

Functional Software Engineer

Imandra
🇬🇧

London, England, UK

OCaml-focused role building Imandra’s cloud-based automated reasoning tools. Full-stack options: backend (PostgreSQL, Redis), frontend (ReasonML, webgl), infra (GCP, K8s), formal verification.

OCaml
Verified Feb 17, 2026 View listing

Sr. Rust Cloud Software Engineer

InfinyOn
🏠

Remote

Remote senior Rust role building real-time cloud data infrastructure with Fluvio. Involves Rust async, Kubernetes, WebAssembly, and AWS. Requires 2+ years Rust, strong Linux/networking, and distributed systems experience.

Rust
Verified Feb 17, 2026 View listing

Founding Backend Engineer

Instant
Senior+
🇺🇸

San Francisco, CA, USA

Founding backend engineer building a real-time database platform. Work on Clojure/JVM services handling massive websocket traffic, permissions DSLs, sync engine extensions, and Postgres integration. High agency role improving infrastructure, observability, and scalability.

Clojure
Verified Feb 17, 2026 View listing

Senior Full-Stack Engineer

Instinct Science
Senior+
🏠 🇺🇸

Remote, USA

Senior Full-Stack Engineer developing veterinary practice software and clinical tools. Elixir and React on AWS, building scalable SaaS applications, relational databases, and customer-facing features for a global user base.

ElixirTypescript
Verified Feb 17, 2026 View listing

Fullstack Software Engineer

Insurello
Senior+
🇸🇪

Stockholm, Sweden

Fullstack engineer using Elm, TS, F#, ASP.NET Core, PostgreSQL, event sourcing, RabbitMQ, AWS; build functional fullstack features, domain models, and cloud integrations in a cross-functional team improving an insurance claims platform with AI-assisted workflows.

ElmF#
Verified Feb 17, 2026 View listing