beyond-tabs logo

Browse Jobs

Hand-curated positions in niche programming languages

No filters applied

103 jobs found

Atom feed icon Subscribe to Feed

Showing 1-30 of 103

1 / 4

OCaml Developer

Ahrefs
Mid-level+
🏠 🇸🇬 🇺🇸

Singapore | Palo Alto, CA, USA

OCaml Developer building backend systems handling 25 petabytes of live data. OCaml with C++, focusing on distributed systems, OS internals, and full development cycle from design to production.

C++OCaml
Verified Jun 29, 2026 View listing

Software Architect

Alstom
Senior+
🇫🇷

Villeurbanne, France

Software Architect designing real-time embedded safety-critical systems for railway signaling. C, Ada, and Linux with EN 50128 and DO-178 standards, focusing on software architecture, test strategy, and technical leadership.

AdaC
Verified Jun 29, 2026 View listing

V&V Designer

Alstom
Mid-level+
🇮🇳

Bangalore, India

V&V Designer validating embedded systems for railway signaling and mobility solutions. NI Test Stand, Python, and C/C++/C#/Ada, focusing on functional testing, test architecture, and defect management.

AdaC#C++Python
Verified Jun 29, 2026 View listing

VIE - Software Designer TRK

Alstom
Mid-level+
🇧🇪

Charleroi, Belgium

Software designer developing safety-critical railway signaling software for the SML400 GP-SSI system. Ada, C, C++, Python with UML, Git, and Docker, focusing on product knowledge transfer, feature development, and design testing for central safety brain.

AdaCC++Python
Verified Jun 29, 2026 View listing

Lead Software Development Engineer

Amperity
Lead+
🏠 🇦🇷

Remote, Argentina

Lead Software Development Engineer building AI-powered customer data platforms. Clojure with large-scale data systems on AWS, focusing on knowledge graphs, ML model training, and scalable infrastructure for internal and external customers.

Clojure
Verified Jun 29, 2026 View listing

Embedded Haskell Engineer, EW

Anduril Industries
Mid-level+
🇺🇸

Costa Mesa, CA, USA

Embedded Haskell Engineer developing electronic warfare software for next-generation RF platforms. Haskell with Nix, focusing on high-performance numerical algorithms, hardware/software interfaces, and digital radio systems.

Haskell
Verified Jun 29, 2026 View listing

Lead Product Engineer

Artificial Labs
Lead+
🏠 🇬🇧

Remote, UK

Lead Product Engineer designing scalable architectures for specialty insurance technology. Haskell with a focus on technical leadership, complex initiative delivery, and team development.

Haskell
Verified Jun 29, 2026 View listing

Product Engineer

Artificial Labs
Mid-level+
🏠 🇬🇧

Remote, UK

Product Engineer designing scalable architectures for specialty insurance technology. Haskell with a focus on end-to-end system ownership, technical delivery, and mentoring.

Haskell
Verified Jun 29, 2026 View listing

Senior Full Stack Engineer

August Health
Senior+
🏠 🇺🇸

Remote, USA

Build and ship a modern EHR/operating platform for senior care. Focus on Scala/Play backend and React/TypeScript frontend. Requires 7+ years experience; knowledge of the Effect ecosystem is a plus.

Scala
Verified Jun 29, 2026 View listing

Software Developer

B+S Banksysteme AG
🇦🇹

Salzburg, Austria

The role involves building and maintaining banking software in Cobol and Java. Involves full lifecycle work, quality assurance, and customer support collaboration.

COBOLJava
Verified Jun 29, 2026 View listing

Senior Software Engineer

BBC
Senior+

Newcastle-upon-Tyne, England, UK | Salford, England, UK | Cardiff, Wales, UK | London, England, UK | Glasgow, Scotland, UK

Senior Software Engineer developing routing and resiliency layers for global web and apps products. Elixir with OTP and AWS, focusing on high-performance distributed systems, observability (Grafana, Prometheus), and scalable infrastructure.

Elixir
Verified Jun 29, 2026 View listing

Software Engineer - Functional Programming

Bellroy
Mid-level+
🏠 🇦🇺

Collingwood, Victoria, Australia

Software Engineer building a bespoke e-commerce platform for carry goods. Functional programming (preferably Haskell) with Nix and AWS, focusing on elegant, correct, and evolvable systems.

Haskell
Verified Jun 29, 2026 View listing

Exchange Software Engineer

Bitnomial
Mid-level+
🇺🇸

Chicago, IL, USA

Exchange Software Engineer building core services for a CFTC-regulated derivatives exchange and clearinghouse. Haskell with concurrent systems, relational databases, and low-latency design, focusing on matching engines, margin and risk systems, and market data.

Haskell
Verified Jun 29, 2026 View listing

Rust-Simplicity Maintainer

Blockstream
Mid-level+
🏠

Remote

Maintain the Rust implementation of the Simplicity blockchain language. Rust with CI pipelines, integrating with Bitcoin-related projects like Elements and Liquid, focusing on core libraries, code review, and ecosystem integration.

Rust
Verified Jun 29, 2026 View listing

Scala Engineer - Growth

Caesars Entertainment
Mid-level+
🇺🇸

Jersey City, NJ, USA | Las Vegas, NV, USA

Build and maintain robust backend systems for real-time customer engagement and retention platforms). Requires 3+ years backend development, 2+ years professional Scala, strong functional programming, and experience with real-time systems and Kafka/microservices.

Scala
Verified Jun 29, 2026 View listing

Senior Raincode Architect

Cognizant
Senior+
🇮🇳

Kolkata

Design and develop comprehensive architectural solutions using the Raincode Platform for mainframe modernization projects. Requires 12-16 years experience and deep expertise in Raincode Platform, CICS, VSAM, JCL, DB2, and COBOL.

COBOL
Verified Jun 29, 2026 View listing

Formal Verification Engineer

Common Prefix
🏠

Remote

Formal Verification Engineer verifying blockchain protocols and smart contracts. Lean4, Coq, F*, or TLA+ with functional and formal verification, focusing on invariants, safety properties, and distributed system correctness.

F*Lean4Rocq ProverTLA+
Verified Jun 29, 2026 View listing

Senior Software Engineer

Converge
Senior+
🇬🇧

London, England, UK

Senior Software Engineer building data-driven products for the construction industry. Haskell with TypeScript and Python, focusing on domain modelling, technical design, and leading initiatives.

HaskellPythonTypescript
Verified Jun 29, 2026 View listing

Cobol Developer

Crédit Mutuel
Mid-level+
🇫🇷

Courbevoie, France

Senior Developer building debt collection and dispute management applications for factoring operations. Requires experience with IBM Z/OS, COBOL, and DB2.

COBOL
Verified Jun 29, 2026 View listing

Senior Cobol/C# Developer

Crédit Mutuel
Senior+
🇫🇷

Strasbourg, France

Full-cycle analysis and development role for the "Cardlink" Monetics Sector supporting foreign banks. Requires a Bac+4/5 degree and proficiency in both COBOL and C#.

C#COBOL
Verified Jun 29, 2026 View listing

Senior Cobol Developer

Crédit Mutuel
Senior+
🇫🇷

Nantes, France

Develop and maintain mainframe applications covering the Basel regulatory functional scope for Credit Risk. Requires a Bac+4/5 degree and proficiency in COBOL/DB2.

COBOL
Verified Jun 29, 2026 View listing

Cobol Application Developer

Deutsche WertpapierService Bank
Senior+
🇩🇪

Frankfurt am Main, Germany | Düsseldorf, Germany

COBOL Developer building settlement and depot transfer systems, migrating mainframe applications to microservices architecture. Requires strong COBOL and DB2 experience with mainframe development. German (C1) and English (B2) required.

COBOL
Verified Jun 29, 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 Jun 29, 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 Jun 29, 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 Jun 29, 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 Jun 29, 2026 View listing