Browse Jobs

Hand-curated positions in niche programming languages

No filters applied

125 jobs found

Atom feed icon Subscribe to Feed

Showing 1-30 of 125

1 / 5

Rust Developer

Acronis
Mid-level+
๐Ÿ  ๐Ÿ‡ง๐Ÿ‡ฌ ๐Ÿ‡ช๐Ÿ‡ธ ๐Ÿ‡ฌ๐Ÿ‡ท ๐Ÿ‡ญ๐Ÿ‡ท ๐Ÿ‡ต๐Ÿ‡ฑ ๐Ÿ‡ท๐Ÿ‡ธ ๐Ÿ‡น๐Ÿ‡ท

Remote, Bulgaria | Remote, Serbia | Remote, Croatia | Remote, Spain | Remote, Turkey | Remote, Greece | Remote, Poland

Rust developer building backend services for an all-in-one cyber protection platform. Rust with HTTP/REST APIs, RDBMS, Tokio, and Linux, focusing on high-performance, memory-safe, and scalable services.

Rust
Verified May 24, 2026 View listing

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 May 24, 2026 View listing

Backend Engineering Intern - OCaml

Ahrefs
Internship+
๐Ÿ‡ธ๐Ÿ‡ฌ ๐Ÿ‡บ๐Ÿ‡ธ

Singapore | Palo Alto, CA, USA

Backend Engineering Intern improving observability of Dune, the OCaml build system. OCaml with Git and GitHub, focusing on modifications to upstream ocaml/dune and exposing fine-grained build information.

OCaml
Verified May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 2026 View listing

ICBM GN&C Engineer

BAE Systems
Mid-level+
๐Ÿ‡บ๐Ÿ‡ธ

Hill AFB, UT, USA

ICBM GN&C Engineer supporting Minuteman III and Sentinel ICBM weapon system test launches. MATLAB with Kalman filtering, linear covariance, and inertial trajectory reconstruction, focusing on IMU error assessment, sensor data analysis, and flight accuracy. Active secret clearance required.

AdaCC++FortranPython
Verified May 24, 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 May 24, 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 May 24, 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 May 24, 2026 View listing

Fatigue Tracking Engineer

Boeing
Mid-level+
๐Ÿ‡บ๐Ÿ‡ธ

Berkeley, MO, USA | Saint Charles, MO, USA | St Louis, MO, USA | Mascoutah, IL, USA | Hazelwood, MO, USA

Fatigue Tracking Engineer developing aircraft structural integrity and tracking systems. Fortran, Java, SQL, Python, C++, and F# with fatigue/fracture analysis, test validation, and software maintenance for in-service products.

C++F#FortranJavaPython
Verified May 24, 2026 View listing

Real-Time Software Engineers

Boeing
Mid-level+
๐Ÿ‡บ๐Ÿ‡ธ

St. Charles, MO, USA

Real-Time software engineer developing operational flight programming software for precision-guided weapons. Ada and C/C++ focusing on real-time embedded applications, testing, and troubleshooting. Active Secret clearance required.

AdaCC++
Verified May 24, 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 May 24, 2026 View listing

Lead Systems Software Engineer

Cloud Software Group
Lead+
๐Ÿ  ๐Ÿ‡ฌ๐Ÿ‡ง

Remote, UK

Lead Systems Software Engineer developing the XenServer control plane (XAPI). OCaml with Linux internals and virtualization, focusing on performance optimization, distributed orchestration, and API design.

OCaml
Verified May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 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 May 24, 2026 View listing

Senior Engineer, AVP

Deutsche Bank
Senior+
๐Ÿ‡ฎ๐Ÿ‡ณ

Pune, India

Senior Engineer building trader and counterparty surveillance systems using Scala, Java, Python, and Big Data technologies (Spark, Impala, Hive, Hadoop). Requires core expertise in Scala and Java, Python exposure, and experience with large datasets.

JavaPythonScala
Verified May 24, 2026 View listing