Browse jobs

Filters Beta
No active filters.
Showing (181) result(s).
Atom feed icon Atom Feed

COBOL Developer

Accenture

Subang Jaya, Malaysia

๐Ÿ‡ฒ๐Ÿ‡พ

Develop and configure features for mainframe applications. You'll analyze and resolve production issues while maintaining code quality and keeping documentation up to date.

COBOL
Verified: 2025-11-19

OCaml Developer

Ahrefs

Singapore | Remote

๐Ÿ  ๐Ÿ‡ธ๐Ÿ‡ฌ

OCaml backend developer role managing 25PB+ of live data. Tackle distributed systems, OS internals, and full component lifecycle. Strong systems knowledge and pragmatic coding mindset essential.

C++OCaml
Verified: 2025-11-19

Ada Software Designer

Min. seniority: Mid-level
Alstom

Charleroi, Belgium

๐Ÿ‡ง๐Ÿ‡ช

Ada Software Designer working on SML400 GP-SSI CIXL-T safety systems. Full lifecycle role with Ada, C/C++, Python, Git, Docker, UML/SysML. Ada language knowledge is a plus.

AdaC++Python
Verified: 2025-11-19

Senior Software Engineer, AI Runtime

Min. seniority: Senior
Apollo GraphQL

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Scale enterprise AI/MCP Server and Gateway for multi-agent workflows. Requires deep expertise in Rust, distributed systems, agent-to-tool orchestration/routing, and high-performance server architecture.

Rust
Verified: 2025-11-19

Staff Software Engineer, AI Runtime

Min. seniority: Staff
Apollo GraphQL

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Architect and scale the MCP Gateway for multi-agent AI workflows. Requires deep Rust expertise, distributed systems, and leading strategic system design for high-performance routing and orchestration.

Rust
Verified: 2025-11-19

Manager, Software Engineering, Tools

Min. seniority: Manager
Apple

Cupertino, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Lead and mentor Internal Tools team focused on scalable software solutions. Requires 5+ years engineering leadership. Preferred experience with Clojure and functional programming teams.

Clojure
Verified: 2025-11-19

Backend Team Leader

Appunite

Poznaล„, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Backend Team Leader guiding a 6โ€“8 person team, owning end-to-end delivery, and driving business impact.

Elixir
Verified: 2025-11-19

Backend Engineer

Appunite

Poznaล„, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Backend Engineer with 2+ yearsโ€™ experience, PostgreSQL skills, and BEAM expertise. Join a remote product team in Poland building web-scale apps.

Elixir
Verified: 2025-11-19

Senior Backend Engineer

Min. seniority: Senior
August Health

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Develop and ship a modern EHR/operating platform for senior care. Core stack includes Scala/Play, Protobuf, & Postgres. Requires 7+ years building and shipping thoughtfully built APIs in complex applications.

Scala
Verified: 2025-11-19

Senior Full Stack Engineer

Min. seniority: Senior
August Health

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: 2025-11-19

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: 2025-11-19

Software Engineering Lead

Min. seniority: Lead
BAE Systems

Greenlawn, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Software Engineering Lead driving embedded systems projects in defense electronics. Lead Agile teams, manage budgets/schedules, mentor engineers. Stack includes Ada and C++. U.S. citizenship and Secret clearance eligibility required.

AdaC++
Verified: 2025-11-19

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-11-19

Mainframe Developer

Min. seniority: Senior
BNP Paribas

Chennai, India

๐Ÿ‡ฎ๐Ÿ‡ณ

Develop and maintain high-quality client reporting applications in an Agile environment. Requires Expert Mainframe MVS knowledge and Advanced COBOL, IMS/DB, DB2/SQL experience.

COBOL
Verified: 2025-11-19

Data Engineer

Min. seniority: Mid-level
BNP Paribas

Madrid, Spain

๐Ÿ‡ช๐Ÿ‡ธ

Design and optimize robust data pipelines for a shared services center. Core technologies include Spark on Scala, Apache Airflow, Kafka, HDFS, and SQL. Focus on CI/CD, data quality, and banking industry processes.

Scala
Verified: 2025-11-19

Cobol Developer

Min. seniority: Mid-level
BNP Paribas

Bucarest, Romania

๐Ÿ‡ท๐Ÿ‡ด

Join a team delivering first-class banking applications in all phases of the SDLC. Requires relevant experience in COBOL programming, Mainframe, JCL, DB2, and a medium level of French to collaborate with colleagues in France.

COBOL
Verified: 2025-11-19

Scala Engineer - Growth

Min. seniority: Mid-level
Caesars Entertainment

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: 2025-11-19

Tech Lead (Backend) - Growth

Min. seniority: Lead
Caesars Entertainment

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

๐Ÿ‡บ๐Ÿ‡ธ

Manage, mentor, and guide a team of engineers, while actively contributing code. Requires 5+ years engineering experience, Scala expertise, proven leadership, and building/maintaining APIs for high-throughput, real-time systems.

Scala
Verified: 2025-11-19

C++/Rust Graphics and Windowing System Software Engineer - Mir

Min. seniority: Mid-level
Canonical

Remote

๐Ÿ 

Design, implement, and maintain Mir, a high-performance window manager/display subsystem and its solutions like Ubuntu Frame. Requires 2+ years experience, excellent modern C++ and Rust skills, and familiarity with Linux.

C++Rust
Verified: 2025-11-19

Satellite and Atmospheric Data assimilation Scientist

Centro Euro Mediterraneo sui Cambiamenti Climatici (CMCC)

Bologna, Italy

๐Ÿ‡ฎ๐Ÿ‡น

Senior researcher to develop the SPREADS ensemble Kalman filter based on DART. Requires PhD, 10+ years experience, and strong skills in Fortran, Python/IDL, and Unix/Linux.

Fortran
Verified: 2025-11-19

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.

HaskellOCaml
Verified: 2025-11-19

Delphi Software Developer for Mobile Applications

Min. seniority: Mid-level
CGM

Oberessendorf, Germany | Erlangen, Germany | Hรถxter, Germany | Bochum, Germany | St. Wolfgang, Germany | Idstein, Germany | Martinsried, Germany | Koblenz, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Develop and enhance innovative mobile applications (Firemonkey) for rehabilitation clinics within an Agile (Scrum) team. Requires excellent Delphi experience, IT degree/equivalent, and fluent German.

Delphi
Verified: 2025-11-19

Haskell Team Lead - Infrastructure team

Min. seniority: Lead
Channable

Utrecht, Netherlands

๐Ÿ‡ณ๐Ÿ‡ฑ

Team lead managing infrastructure team building foundational services for e-commerce platform. 50-50 split between leadership and hands-on Haskell development. Ideally comfortable with Rust and Python.

Haskell
Verified: 2025-11-19

Application Development Sr Programmer - Mainframe Developer, AVP

Min. seniority: Senior
Citi

Jacksonville, FL, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior role to develop and enhance applications for card issuance, plastics production, and customer digital communication systems. Requires 5-8 years hands-on Mainframe expertise (COBOL, JCL, CICS, DB2, z/OS) and experience with SQL, Java, Open Text Exstream, and Agile Scrum.

COBOL
Verified: 2025-11-19

Cobol Mainframe Developer, AVP

Min. seniority: Mid-level
Citi

Irving, TX, USA

๐Ÿ‡บ๐Ÿ‡ธ

Intermediate-level role to lead development, analysis, and programming for new/revised application systems. Requires 5-8 years experience with core Mainframe technologies including COBOL, MVS, JCL, VSAM, and Changeman.

COBOL
Verified: 2025-11-19

Mainframe / COBOL developer

Min. seniority: Senior
Citi

Pune, India

๐Ÿ‡ฎ๐Ÿ‡ณ

Contribute to applications analysis and programming for financial systems. Requires 7+ years strong Mainframe experience with COBOL, DB2, JCL, CICS, VSAM.

COBOL
Verified: 2025-11-19

Mainframe Applications Development Sr Programmer Analyst

Min. seniority: Senior
Citi

New Castle, DE, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior role to develop, maintain, and enhance critical mainframe applications in financial services. Requires deep proficiency in COBOL, JCL, DB2, CICS, VSAM, and z/OS.

COBOL
Verified: 2025-11-19

Principal Systems Engineer, IPC

Min. seniority: Principal
Cloudflare

London, England, UK | Lisbon, Portugal

๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ต๐Ÿ‡น

Senior Engineer/Architect role to build the next generation of the high-performance communication layer that connects all services on Cloudflare's massive edge network. Requires deep expertise in Rust, experience with performance engineering for high-throughput, low-latency distributed systems, and the ability to serve as a key technical leader driving operational excellence.

Rust
Verified: 2025-11-19

Senior Software Engineer - WARP Edge Service

Min. seniority: Senior
Cloudflare

Austin, TX, USA | London, England, UK | Lisbon, Portugal

๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ต๐Ÿ‡น ๐Ÿ‡บ๐Ÿ‡ธ

Build and maintain high-performance networking code in Rust on Linux for WARP Edge, handling secure tunnel termination and traffic routing from millions of devices. Requires deep experience with low-level languages, multithreaded/asynchronous programming, and networking protocols.

Rust
Verified: 2025-11-19

Software Engineer

Min. seniority: Mid-level
Cloudpermit

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Software Engineer building cloud-native, multi-tenant SaaS with Clojure, ClojureScript, and Datomic on GCP. Focus on scalability, reliability, and CI/CD automation.

Clojure
Verified: 2025-11-19

Engineer - Rust

Min. seniority: Unknown
CloudWalk

Sรฃo Paulo, Brazil

๐Ÿ  ๐Ÿ‡ง๐Ÿ‡ท

Senior Rust Engineer building AI-enhanced, blockchain-based credit card systems. Focus on performance, scalability, and real-time transaction processing. Remote role using Rust microservices to redefine fintech infrastructure with AI integration.

Rust
Verified: 2025-11-19

Senior Raincode Architect

Min. seniority: Senior
Cognizant

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: 2025-11-19

Senior Software Engineer

Min. seniority: Senior
Common Prefix

Remote

๐Ÿ 

Senior Software Engineer building blockchain protocols and infrastructure, working primarily in Rust. Requires 5+ years software engineering experience with large-scale systems and network programming.

Rust
Verified: 2025-11-19

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-11-19

Cobol Developer

Min. seniority: Mid-level
Crรฉdit Mutuel

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: 2025-11-19

Senior Cobol/C# Developer

Min. seniority: Senior
Crรฉdit Mutuel

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: 2025-11-19

Cobol Developer

Min. seniority: Mid-level
Crรฉdit Mutuel

Fontenay Sous Bois, France

๐Ÿ‡ซ๐Ÿ‡ท

Developer building payment exchange systems between banks and businesses. Mainframe-focused role with Open systems integration, handling data flows, security protocols, and enterprise services. Requires 2-3 years experience with COBOL and DB2 on Mainframe.

COBOL
Verified: 2025-11-19

Cobol Developer

Min. seniority: Mid-level
Crรฉdit Mutuel

Schiltigheim, France

๐Ÿ‡ซ๐Ÿ‡ท

Senior Developer building tax reporting and compliance systems across mainframe and cloud platforms. Requires experience with IMS, JCL, COBOL, DB2, and DLI, plus .NET/C# knowledge.

C#COBOL
Verified: 2025-11-19

Cobol Developer

Min. seniority: Mid-level
Crรฉdit Mutuel

Nantes, France

๐Ÿ‡ซ๐Ÿ‡ท

Mainframe Developer building time and activity management systems. Requires experience with IBM Mainframe IMS, COBOL, and DB2.

COBOL
Verified: 2025-11-19

Senior Cobol Developer

Min. seniority: Senior
Crรฉdit Mutuel

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: 2025-11-19

Full Stack Engineer

Min. seniority: Junior
Crรฉdit Mutuel

Strasbourg

๐Ÿ‡ซ๐Ÿ‡ท

Full stack developer role working on internal insurance platforms using COBOL and C#. Ideal for early-career developers. Focus on security, maintainability, and collaborative development practices.

C#COBOL
Verified: 2025-11-19

Senior Cobol Developer

Min. seniority: Senior
Crรฉdit Mutuel

Verlinghem, France

๐Ÿ‡ซ๐Ÿ‡ท

Senior Developer building CRM and sales management tools. Design, develop, and maintain mainframe applications using COBOL/DB2 on MVS. Requires strong functional and technical analysis skills, project experience, and expertise in MVS, JCL, COBOL, and DB2.

COBOL
Verified: 2025-11-19

Cobol Developer

Min. seniority: Senior
Crรฉdit Mutuel

Cergy, France | Strasbourg, France

๐Ÿ‡ซ๐Ÿ‡ท

Senior Mainframe Developer building development tools for internal developers across the organization. Requires 5-7 years experience with COBOL, JCL, IMS, DB2, and TSO.

COBOL
Verified: 2025-11-19

Principal Machine Learning Engineer

Daedalean

Zรผrich, Switzerland

๐Ÿ‡จ๐Ÿ‡ญ

Principal ML engineer role leading certified AI avionics development. Focus on visual traffic detection, deep learning, and CV using Rust, Python, and C++. Strong research and system design responsibilities.

Rust
Verified: 2025-11-19

Software Engineer (C++/Rust)

Min. seniority: Junior
Databento

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Junior Engineer to join the core team designing and maintaining high-performance server applications for financial data APIs. Requires strong proficiency in C/C++ or Rust and an interest in low-level optimization for high throughput and nanosecond latency systems using petabytes of data.

C++Rust
Verified: 2025-11-19

Senior Data Engineer - Revenue Platforms

Datadog

Paris, France

๐Ÿ‡ซ๐Ÿ‡ท

Senior Data Engineer role building high-volume Spark-based pipelines using Scala, Java, Python, and Flink. Power mission-critical revenue systems processing trillions of events.

Scala
Verified: 2025-11-19

Functional Programming Developer

DataRisk

Florianรณpolis, Brazil

๐Ÿ‡ง๐Ÿ‡ท

Remote F# developer role focused on functional programming for MLOps tooling. Open to junior through senior levels with experience in F#, OCaml, Haskell, or similar.

F#
Verified: 2025-11-19

Backend Engineer - Inference Services

Min. seniority: Mid-level
Deepgram

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Backend Engineer building inference services for voice AI platform. Requires 3+ years experience with Rust (or C, C++) and Python.

PythonRust
Verified: 2025-11-19

Senior Engineer, AVP

Min. seniority: Senior
Deutsche Bank

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: 2025-11-19

Apprenticeship in Application Development

Min. seniority: Internship
Deutsche WertpapierService Bank

Dรผsseldorf, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Apprenticeship focused on developing securities processing systems. Training starts with COBOL and DB2 on mainframe, later transitioning to Java, Spring Boot, Angular, and Kafka. No experience required. German required; English preferred. Starts August 2026

COBOLJavaTypescript
Verified: 2025-11-19

Cobol Developer - Tax Database

Min. seniority: Senior
Deutsche WertpapierService Bank

Frankfurt am Main, Germany | Dรผsseldorf, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

COBOL Developer maintaining and modernizing securities processing platform applications. Requires strong COBOL and DB2 experience with mainframe application development. German (C1) and English (B2) required.

COBOL
Verified: 2025-11-19

Cobol Application Developer

Min. seniority: Senior
Deutsche WertpapierService Bank

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: 2025-11-19

Scala developer

Min. seniority: Senior
DHL Group

Utrecht, Netherlands

๐Ÿ‡ณ๐Ÿ‡ฑ

Scala Developer building consumer-facing parcel tracking and delivery applications for millions of daily users. Requires extensive Scala development experience and knowledge of Azure, Kubernetes, Docker, Elasticsearch, and Git.

Scala
Verified: 2025-11-19

Full Stack Elixir Developer

Min. seniority: Mid-level
Digiforma

Lyon, France

๐Ÿ‡ซ๐Ÿ‡ท

Full Stack Developer building learning management platform using Elixir/Phoenix and React. Requires 3+ years experience and engineering/master's degree in CS. Elixir experience not required but is considered a strong plus.

ElixirJavascript
Verified: 2025-11-19

Senior Software Engineer - Ledger

Min. seniority: Senior
Digital Asset Holdings

Budapest, Hungary | London, England, UK | Zurich, Switzerland | New York, NY, USA | NJ, USA | CT, USA

๐Ÿ‡จ๐Ÿ‡ญ ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ญ๐Ÿ‡บ ๐Ÿ‡บ๐Ÿ‡ธ

Senior Software Engineer contributing to Canton Network's distributed ledger platform Scala codebase. Requires polyglot engineering experience with production systems. Scala experience a plus but not required.

Scala
Verified: 2025-11-19

Software Engineer

Min. seniority: Mid-level
Digital Asset Holdings

Budapest, Hungary | Zurich, Switzerland | London, England, UK | New York, NY, USA | NJ, USA | CT, USA

๐Ÿ‡จ๐Ÿ‡ญ ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ญ๐Ÿ‡บ ๐Ÿ‡บ๐Ÿ‡ธ

Software Engineer contributing to Canton Network stack including Daml compiler, distributed ledger protocol, and financial applications. Requires polyglot engineering experience with production systems, working in Scala, TypeScript, and Haskell. Master's/PhD in CS or equivalent experience preferred.

HaskellScalaTypescript
Verified: 2025-11-19

Backend Software Engineer - SDK

Min. seniority: Senior
Digital Asset Holdings

Budapest, Hungary | Zurich, Switzerland

๐Ÿ‡จ๐Ÿ‡ญ ๐Ÿ‡ญ๐Ÿ‡บ

Backend Software Engineer building APIs, libraries, and tools for Canton Network developers, primarily in Scala. Requires experienced Scala development and specialization in either database development or secure API design.

Scala
Verified: 2025-11-19

Senior Software Engineer- Database Infrastructure

Min. seniority: Senior
Discord

San Francisco, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior Software Engineer building and operating large-scale database infrastructure for 200M+ users using ScyllaDB, PostgreSQL, Elasticsearch, Linux, and Rust. Requires 4+ years experience with distributed systems and highly-available databases, plus proficiency in statically-typed languages. Rust experience a bonus.

Rust
Verified: 2025-11-19

Lead Software Engineer

Min. seniority: Lead
Disney Streaming

Santa Monica, CA, USA | New York, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Lead Software Engineer building privacy solutions and data subject rights automation for Disney streaming services. Architect shared libraries in Scala and Python for large-scale data processing ecosystem using Apache Spark and Airflow. Requires 7+ years data engineering experience with strong Scala, Python, and SQL skills.

PythonScala
Verified: 2025-11-19

Senior Data Engineer

Min. seniority: Senior
Disney Streaming

Santa Monica, CA, USA | Glendale, CA, USA | New York, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior Data Engineer building privacy solutions and data subject rights automation for Disney streaming services. Requires 5+ years data engineering experience with strong Scala, Python, and SQL skills, plus hands-on experience with Apache Spark and Airflow.

PythonScala
Verified: 2025-11-19

Lead Software Engineer

Min. seniority: Lead
Disney Streaming

New York, NY, USA | Santa Monica, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Lead Software Engineer building high-performance playback services for Disney streaming platforms. Requires 7+ years backend experience building RESTful services in Scala, async programming, and operating large-scale high-availability systems.

Scala
Verified: 2025-11-19

Replication Engineer

Min. seniority: Senior
Ditto

Remote, UK

๐Ÿ  ๐Ÿ‡ฌ๐Ÿ‡ง

Replication Engineer building peer-to-peer data sync protocols and database replication systems in Rust for edge computing. Requires excellent Rust experience, strong OS knowledge, algorithmic reasoning, and experience with distributed systems.

Rust
Verified: 2025-11-19

Senior Formal Methods Engineer

Min. seniority: Senior
Draper

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: 2025-11-19

Software Engineer, Backend

Min. seniority: Mid-level
Duffel

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: 2025-11-23

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: 2025-11-19

Senior Rust Engineer

Min. seniority: Senior
Eiger

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: 2025-11-19

Senior Software Developer

Min. seniority: Senior
Ericsson

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: 2025-11-23

Software Developer

Min. seniority: Mid-level
Ericsson

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: 2025-11-23

Senior Elixir / Erlang Developer - Technical Lead

Min. seniority: Lead
Erlang Solutions

London, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Senior Elixir/Erlang technical lead driving architecture, hands-on delivery and mentoring. Shape standards, guide design, unblock teams and contribute to new product development across complex projects.

ElixirErlang
Verified: 2025-11-23

Senior Scala Software Development Engineer

Min. seniority: Senior
Esri

Redlands, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior Scala engineer building REST web services for ArcGIS Workflow Manager using Scala/Java, AWS and modern security/performance practices. Contribute to prototypes, reviews and cross-stack features within an Agile geospatial product team.

Scala
Verified: 2025-11-23

Senior Ada Developer, Eurocontrol

Min. seniority: Senior
EUROCITY

Maastricht, Netherlands

๐Ÿ‡ณ๐Ÿ‡ฑ

(Contract) Senior Ada Developer role for EUROCONTROLโ€™s ARGOS air traffic control system. Maintain and evolve mission-critical Ada software on Linux with Scrum. Involves analysis, implementation, and testing.

Ada
Verified: 2025-11-19

Data Engineer

Min. seniority: Mid-level
Eurowings

Cologne, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Data engineer building scalable Azure/Databricks pipelines with Scala, Spark, Python and SQL. Focus on ETL/ELT, orchestration, DataOps and streaming (Kafka/Event Hubs), collaborating with analysts and scientists to deliver reliable analytics-ready data products.

Scala
Verified: 2025-11-23

Senior Software Engineer

Evident

Atlanta, GA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior Scala Engineer role developing scalable microservices for risk verification at a fast-growing startup. Involves SQL/NoSQL, cloud-native apps, and cross-functional collaboration.

Scala
Verified: 2025-11-19

Software Engineer

Evident

Krakรฒw, Poland | Atlanta, GA, USA

๐Ÿ‡ต๐Ÿ‡ฑ ๐Ÿ‡บ๐Ÿ‡ธ

Scala Software Engineer role developing scalable microservices for risk verification. Requires 1โ€“2 yearsโ€™ Scala experience, solid coding practices, and problem-solving skills.

Scala
Verified: 2025-11-19

Scala Backend Developer

Min. seniority: Mid-level
Evolution Gaming Group

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: 2025-11-23

Senior Scala Developer

Min. seniority: Senior
Exalate

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: 2025-11-23

Senior Data Engineer

Min. seniority: Senior
Experian

Hyderabad, India

๐Ÿ‡ฎ๐Ÿ‡ณ

Senior data engineer using Scala, Spark and AWS to build and maintain scalable data solutions across the full SDLC. Contribute to design, refactoring, reviews and CI/CD while supporting teammates in an Agile, cloud-native environment.

Scala
Verified: 2025-11-23

Cobol Developer

Min. seniority: Mid-level
EY

Sรฃo Paulo, Brazil

๐Ÿ‡ง๐Ÿ‡ท

Mid-level Cobol developer building and maintaining mainframe applications using Cobol, JCL, Natural, SQL and DB2/Oracle. Work on legacy integration, requirements analysis, testing and documentation within Agile teams for large-scale financial systems.

COBOL
Verified: 2025-11-23

Senior Software Engineer - NCF

Min. seniority: Senior
Fanatics

New York, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior engineer building event-driven Elixir/Phoenix LiveView services with RabbitMQ/Kafka/SNS/SQS on AWS. Deliver scalable real-time features, contribute to architecture, mentor peers and support on-call in a distributed microservices environment.

Elixir
Verified: 2025-11-23

Mid-level Full Stack Clojure Developer

Min. seniority: Mid-level
Farillio

London, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Mid-level Full Stack Clojure Developer working across Clojure/ClojureScript, React, and AWS. Build and maintain a legal tech platform in a small team.

ClojureTypescript
Verified: 2025-11-19

Senior Fullstack Software Engineer

Min. seniority: Senior
femtasy

Remote, Spain

๐Ÿ  ๐Ÿ‡ช๐Ÿ‡ธ

Senior full-stack engineer working across Elixir, Ruby and TypeScript/React to build and scale a high-traffic platform on AWS/EKS. Own end-to-end features, contribute to architecture, and support DevOps, monitoring and observability in a fast-paced environment.

Elixir
Verified: 2025-11-23

Software Engineer

Min. seniority: Senior
Flow Traders

Amsterdam, Netherlands | Hong Kong SAR

๐Ÿ‡ญ๐Ÿ‡ฐ ๐Ÿ‡ณ๐Ÿ‡ฑ

Develop scalable, low-latency solutions, focusing on on-chain trading systems. Requires 5+ years commercial experience, strong Rust proficiency, and expertise in distributed systems, concurrency, and low-latency applications.

Rust
Verified: 2025-11-19

Software Engineer

Min. seniority: Mid-level
Foundry for Good

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: 2025-11-23

Backend Engineer

Min. seniority: Mid-level
Fresha

Warsaw, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

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

ElixirRuby
Verified: 2025-11-19

Software Engineer

G-Research

London, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Software engineer role building high-performance systems for petabyte-scale data and trading infrastructure. C#, Python, or C++ experience ideal.

C#F#Python
Verified: 2025-11-19

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-11-19

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: 2025-11-19

.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: 2025-11-19

Software Engineer

Min. seniority: Mid-level
Griffin Bank

London, England, UK

๐Ÿ  ๐Ÿ‡ฌ๐Ÿ‡ง

Backend Engineer building core banking platform handling accounts, transactions, and payment integrations using Clojure and FoundationDB. Requires 2+ years experience with functional programming.

Clojure
Verified: 2025-11-19

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-11-19

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: 2025-11-19

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: 2025-11-19

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: 2025-11-19

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: 2025-11-19

Junior COBOL Programmer

Inetum

Bogotรก, Colombia

๐Ÿ‡จ๐Ÿ‡ด

Junior COBOL role with 6-12 months' experience in COBOL, JCL, DB2, SQL. Banking sector focus. Exposure to tools like CHANGEMAN, CONTROL-M, CICS, TSO, VSAM, and Agile methodologies required.

COBOL
Verified: 2025-11-19

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: 2025-11-19

Fullstack Software Engineer

Min. seniority: Senior
Insurello

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: 2025-11-27

F# web developer

IntelliFactory

Budapest, Hungary

๐Ÿ‡ญ๐Ÿ‡บ

Remote F# web developer role focused on full-stack projects using ASP.NET Core and WebSharper. Requires solid grasp of sitelets, pagelets, and proxying. All experience levels welcome.

F#
Verified: 2025-11-19

Staff Software Engineer, Experimentation Platform

Min. seniority: Staff
Intuit Credit Karma

Charlotte, NC, USA | Oakland, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Lead the data architecture and strategy for the A/B testing platform. Requires 10+ years experience, expertise in large-scale data pipeline and near real-time systems.

Scala
Verified: 2025-11-19

Software Developer Cobol/Cics/DB2

ION Group

Assago, Italy | Rome, Italy

๐Ÿ‡ฎ๐Ÿ‡น

Cobol/CICS/DB2 developer role in banking software. Full SDLC, cloud transition projects, 3-5 yearsโ€™ experience required. Strong RDBMS, OOP, English skills essential.

COBOLDb2
Verified: 2025-11-19

Software Engineer

Jane Street

New York City, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Software engineer role using OCaml and Python to build trading and research systems. Requires strong programming skills and collaborative mindset; no finance or FP experience needed.

OCaml
Verified: 2025-11-19

Programming Language Engineer

Jane Street

New York, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Work on OCaml language design, optimization, and tooling. Focus on compiler performance, new language features, and open-source contributions. Requires experience in industrial-strength language implementation. No OCaml background needed.

OCaml
Verified: 2025-11-19

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-11-19

Rust Software Engineer

K2 Space

Torrance, CA, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Rust developer role building real-time, fault-tolerant flight software for high-power spacecraft. Tackle embedded systems, state machines, and Linux-based control apps. Mission-critical work in a fast-paced, space hardware startup.

Rust
Verified: 2025-11-19

(Senior) Software Developer Consulting

KPMG

Various locations, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Senior software developer role building distributed .NET systems in C#/F#. Focus on cloud (Azure), DevOps, testing, and UI/UX (Angular, ASP.NET).

C#F#
Verified: 2025-11-19

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.

C++Haskell
Verified: 2025-11-19

Rust Engineer

Min. seniority: Mid-level
LayerZero

Vancouver, BC, Canada

๐Ÿ‡จ๐Ÿ‡ฆ

Join the research team to develop high-performance, secure, and scalable systems advancing blockchain interoperability. Requires 2+ years experience in systems programming with a strong focus on Rust, and experience with AWS services.

Rust
Verified: 2025-11-19

Elixir Developer

Lemonbeat

Dortmund, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Full-time Elixir role developing scalable cloud systems for the energy sector. Requires Elixir/Erlang, messaging (AMQP/MQTT), and cloud experience.

Elixir
Verified: 2025-11-19

Lead Software Engineer (Embedded Ada)

Min. seniority: Lead
Leonardo

Luton, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Lead Embedded Software Engineer delivering real-time Ada systems. Oversee design, integration, and mentoring across multidisciplinary teams. Background in embedded or safety-critical software (RTCA-DO178C). Training in Ada provided.

Ada
Verified: 2025-11-19

Software Engineers (Embedded Ada)

Leonardo

Bristol, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Embedded software engineer role using Ada for real-time systems in aerospace. Work cross-functionally on critical applications with VxWorks/Linux. Emphasis on modular design, DO-178C standards, and professional growth.

Ada
Verified: 2025-11-19

Lead Software Engineer

Min. seniority: Lead
LoopMe

Krakow, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Lead Scala Engineer guiding backend development of a real-time ad exchange handling massive scale. Oversee Scala to Java migration, mentor engineers, and drive distributed system design in AdTech.

Scala
Verified: 2025-11-19

Senior Software Engineer

Min. seniority: Senior
LoopMe

Krakow, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Senior Scala Engineer building low-latency, high-traffic ad exchange systems processing 200B+ requests monthly. Functional Scala, MongoDB, Protocol Buffers, Kafka, AWS/GCP.

Scala
Verified: 2025-11-19

Senior Developer Machine Learning / Natural Language Processing

Mailytica

Konstanz, Germany

๐Ÿ  ๐Ÿ‡ฉ๐Ÿ‡ช

Senior ML/NLP Developer role improving email automation pipelines using Scala, ML, and NLP. Bonus for Spark and DB experience. On-site in Konstanz, 70โ€“100% workload, small startup environment.

Scala
Verified: 2025-11-19

Senior / Staff Software Engineer (Database)

Min. seniority: Senior
Materialize

New York, NY, USA

๐Ÿ‡บ๐Ÿ‡ธ

Join the Database team to design, implement, and maintain critical parts of the Materialize real-time data platform in Rust. Requires 3+ years systems-level software experience, strong programming fundamentals, and a strong interest in learning/using Rust.

Rust
Verified: 2025-11-19

Senior Software Engineer

MBDA Systems

Stevenage, England, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Senior software engineer for test systems. Develop C/C++/Ada code for mission-critical validation tools. UK citizenship required. ยฃ40K-ยฃ75K.

AdaCC++
Verified: 2025-11-19

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-11-19

Engineering Manager

Metabase

Remote

๐Ÿ 

Remote engineering manager role leading cross-functional teams. Requires frontend (React/TypeScript) or Clojure background, strong product sense, and 2+ years management experience. Focus on async collaboration, iteration speed, and team growth.

Clojure
Verified: 2025-11-19

Software Engineer (Backend)

Metabase

Remote

๐Ÿ 

Remote backend engineer working in Clojure/JavaScript. Build major features and tackle complex backend problems. CS background required. Bonus: JDBC, JVM tuning, ML, or big data experience.

Clojure
Verified: 2025-11-19

Software Engineer, Full Stack

Monumental

Amsterdam, Netherlands

๐Ÿ‡ณ๐Ÿ‡ฑ

Full-stack engineer role building real-time Rust and TypeScript systems for autonomous construction robots. Involves control software, 3D transformations, and web-based monitoring tools. Robotics experience not required but a plus.

RustTypescript
Verified: 2025-11-19

Senior Fullstack Engineer

Min. seniority: Senior
Myosotis

Berlin, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Senior Fullstack Engineer building healthcare product using Elixir/Phoenix, LiveView, TailwindCSS, and daisyUI. Requires several years fullstack experience, ideally with Elixir or Ruby. Strong focus on privacy, security, and GDPR compliance for sensitive health data.

Elixir
Verified: 2025-11-23

Elixir Backend Developer

Min. seniority: Senior
Nedap

Groenlo, Netherlands

๐Ÿ‡ณ๐Ÿ‡ฑ

Backend Developer building business automation solutions in Elixir for healthcare operations. Experience with functional programming and Git required. Elixir experience a plus.

Elixir
Verified: 2025-11-19

Software Engineer

Min. seniority: Junior
Nordiska

Stockholm, Sweden

๐Ÿ‡ธ๐Ÿ‡ช

Software Engineer building embedded finance systems using Scala, ZIO, Tapir, Doobie, Kafka, Kubernetes, and GCP. Shape architecture, deliver complex features, modernize services, and uphold code quality in a regulated, product-focused environment.

Scala
Verified: 2025-11-25

Senior Software Engineer

Nubank

Bogotรก, Colombia

๐Ÿ  ๐Ÿ‡จ๐Ÿ‡ด

Senior backend role using Clojure (training provided), Kafka, AWS, Kubernetes, and Datomic to build large-scale distributed microservices in a functional, event-driven architecture.

Clojure
Verified: 2025-11-19

Senior Protocol Engineer

Min. seniority: Senior
o1Labs

Remote

๐Ÿ 

Core contributor to Mina's Rust Node implementation, the world's lightest blockchain. Focus on networking, consensus, and transaction processing. Strong potential for growth into a technical leadership role.

Rust
Verified: 2025-11-19

OCaml Developer (all levels)

OCamlPro

Paris, France

๐Ÿ‡ซ๐Ÿ‡ท

R&D engineer role focused on OCaml (and Rust) for advanced software design, functional programming, and tooling. Includes mentoring, architecture, and client-facing work. โ‚ฌ50-65K.

OCaml
Verified: 2025-11-19

Senior or Staff Software Engineer, Backend

OneSignal

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Senior backend role on the Journeys team using Rust, Go, and Ruby to build scalable, multi-channel customer engagement systems. Requires 6+ yearsโ€™ experience, distributed systems expertise, and strong API and data modeling skills.

GoRubyRust
Verified: 2025-11-19

Staff Software Engineer, Fullstack

OneSignal

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Staff full-stack role on the SMS team using Rust, TypeScript, Ruby, and React to build scalable messaging systems. Requires 8+ yearsโ€™ experience, strong API design, and distributed systems skills. Kafka and Kubernetes are a plus.

RubyRust
Verified: 2025-11-19

Consultant Data Engineering

Orange

Niort, France

๐Ÿ‡ซ๐Ÿ‡ท

Consultant Data Engineer role in Niort designing and optimizing data pipelines using Scala, Spark, Kubernetes, and Big Data tools. Focus on distributed processing, CI/CD, and client consulting.

Scala
Verified: 2025-11-19

Operating System and Virtualization Engineer

Oxide Computer Company

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Remote OS and virtualization engineer role working on Helios (C, illumos) and Propolis (Rust VMM). Involves hardware interfaces, kernel work, and hypervisor development. Flat salary: $207,264.

Rust
Verified: 2025-11-19

Staff Software Engineer

Min. seniority: Staff
Parallel Systems

Los Angeles, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Lead the design and optimization of high-performance, low-latency backend systems for autonomous, battery-electric rail vehicles. Requires 8+ years systems/backend development, professional Rust experience, and expertise in architecting highly available distributed systems on Linux.

Rust
Verified: 2025-11-19

Senior Embedded Software Engineer

Min. seniority: Senior
Parallel Systems

Los Angeles, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Design, develop, and optimize embedded systems for autonomous, battery-electric rail vehicles. Requires 5+ years professional embedded software development experience, strong proficiency in C/C++ or Rust, and expertise with bare-metal/RTOS platforms, real-time constraints, and digital communication protocols (CAN, SPI, I2C).

Rust
Verified: 2025-11-19

Senior Software Engineer

Min. seniority: Senior
Parallel Systems

Los Angeles, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Design, build, and optimize high-performance, low-latency backend systems for autonomous, battery-electric rail vehicles. Requires 5+ years systems/backend development, professional Rust experience or strong willingness to use it, and proficiency with Linux environments and systems programming.

Rust
Verified: 2025-11-19

Software Engineer, Elixir

PDQ

Bucharest, Romania

๐Ÿ  ๐Ÿ‡ท๐Ÿ‡ด

Senior Elixir role building agent-based SaaS for IT management. Stack includes Elixir, TypeScript, PostgreSQL, GCP. Focus on backend features, CI/CD, and scalable systems.

Elixir
Verified: 2025-11-19

Software Engineer

Performance Software Corporation

Cardiff, Wales, UK

๐Ÿ‡ฌ๐Ÿ‡ง

Software engineer role developing embedded safety-critical systems for avionics and submarines. C/C++, RTOS, or Ada experience preferred. Work on DO-178 compliant software.

AdaCC++Embedded
Verified: 2025-11-19

Backend Engineer (Common Lisp)

Pocket Change

Tokyo, Japan

๐Ÿ‡ฏ๐Ÿ‡ต

Full-remote backend engineer role using Common Lisp (SBCL) for Pokepayโ€™s fintech service. Requires 3+ years backend experience, AWS skills, and DB knowledge. Bonus: OSS workflow, frontend familiarity, production AWS use.

Common Lisp
Verified: 2025-11-19

Elixir Software Engineer

Prima.it

London, England, UK | Milan, Italy

๐Ÿ  ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ฎ๐Ÿ‡น

Backend Elixir Engineer shaping scalable insurance platforms. Build reusable microservices with Elixir/Rust, event-driven architecture, and DDD.

Elixir
Verified: 2025-11-19

Scala Backend Developer

Min. seniority: Senior
Reality Games

Krakow, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Senior Scala Backend Developer building scalable game services with Scala 3, Cats, http4s, Kafka, and Kubernetes. Work on end-to-end architecture, APIs, and infrastructure.

Scala
Verified: 2025-11-19

Scala Dev Team Lead

Min. seniority: Lead
Reality Games

Krakow, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

Scala Dev Team Lead driving backend architecture for a large-scale, location-based mobile game. Hands-on role with Scala 3, Cats, http4s, Kafka, Kubernetes, and NoSQL databases.

Scala
Verified: 2025-11-19

Senior Backend Engineer

Remote

Remote

๐Ÿ 

Fully remote senior backend role building Elixir/Phoenix APIs for a global HR platform. Requires Elixir, Postgres, CI/CD. Nice-to-haves: Docker, Kubernetes, AWS. Salary: $51K-$116K.

Elixir
Verified: 2025-11-19

Real Time Software Developer

Min. seniority: Lead
Rheinmetall

Zurich

๐Ÿ‡จ๐Ÿ‡ญ

Provide technical leadership for a team (3-10 developers) focused on the full software lifecycle (design, implementation, test) for fire control and effector command systems. Requires multi-year experience in Real-Time Embedded development with Ada, software architecture, and experience with distributed systems.

Ada
Verified: 2025-11-19

Simulation Engineer - Electrical and Automation Systems

Min. seniority: Senior
Rheinmetall

Bremen, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Develop physical & mathematical models and automation systems for ship and energy system simulators. Requires expertise in C++, FORTRAN, and C# to handle the full stack, from core physics modeling to HMI integration.

C#C++Fortran
Verified: 2025-11-19

Software Engineer II - Military Avionics FMS (Onsite)

Min. seniority: Mid-level
RTX

Cedar Rapids, IA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Design and development of Military Avionics Flight Management Solutions (FMS) software within an AGILE environment. Requires 2+ years experience, foundation in Ada or C/C++, and U.S. Citizenship.

AdaCC++
Verified: 2025-11-19

Senior Software Engineer - Military Avionics FMS

Min. seniority: Senior
RTX

Cedar Rapids, IA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Design and develop Military Avionics Flight Management Solutions (FMS) software within an AGILE environment. Requires 5+ years experience, foundation in Ada or C/C++, and U.S. Citizenship.

AdaC++
Verified: 2025-11-19

Ada Software Engineer II

Min. seniority: Mid-level
RTX

Fort Wayne, IN, USA

๐Ÿ‡บ๐Ÿ‡ธ

Mid-level Ada Software Engineer developing complex defense systems for the Patriot program. Onsite role using Ada on Unix/Linux, with potential leadership growth. Requires Secret clearance.

Ada
Verified: 2025-11-19

Software Engineer

Scarlet

Remote, Europe

๐Ÿ 

Remote Clojure role building tools for safe, rapid AI/healthcare software certification. Full-time, equity offered, ยฃ60K-ยฃ110K. Bonus: full-stack or health tech experience.

Clojure
Verified: 2025-11-19

Sr. Software Engineer, Delivery Platform

Serve Robotics

Remote, USA | Remote, British Columbia, Canada | Remote, Calgary, Canada | Remote, Toronto, Canada

๐Ÿ  ๐Ÿ‡จ๐Ÿ‡ฆ ๐Ÿ‡บ๐Ÿ‡ธ

A remote Senior Software Engineer role building scalable, robust systems for a fleet of delivery robots using Elixir. The position requires a focus on performance, reliability, and architecting distributed systems.

Elixir
Verified: 2025-11-19

Software Engineer

sonnen

Cairo, Egypt

๐Ÿ  ๐Ÿ‡ช๐Ÿ‡ฌ

Entry-level Elixir role for recent CS graduates. Requires functional programming or Ruby experience. Join a global IoT platform team focused on smart energy (EVs, heat pumps). Includes Elixir training and growth path.

Elixir
Verified: 2025-11-19

Senior Software Engineer (SatOS-Rust Team)

Min. seniority: Senior
Spire

Glasgow, Scotland, UK | Harwell, England, UK | Munich, Germany | Washington, D.C., USA | Boulder, CO, USA | Cambridge, ON, Canada | Luxembourg

๐Ÿ‡จ๐Ÿ‡ฆ ๐Ÿ‡ฉ๐Ÿ‡ช ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡ฑ๐Ÿ‡บ ๐Ÿ‡บ๐Ÿ‡ธ

Develop the high-level operating system for a large multi-purpose nanosatellite constellation. Requires 7+ years experience, proven experience in production-grade software using Rust, proficiency in Python, and knowledge of Linux-based development.

Rust
Verified: 2025-11-19

Senior Spacecraft Embedded Software Engineer (Rust)

Min. seniority: Senior
Spire

Glasgow, Scotland, UK | Boulder, CO, USA | Cambridge, ON, Canada

๐Ÿ‡จ๐Ÿ‡ฆ ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ‡บ๐Ÿ‡ธ

Develop daemons and fault-tolerant systems for the nanosatellite platform and enhance space-based data collection. Requires proven experience in embedded systems development using Rust, proficiency in integrating C code with Rust, and understanding of electronics and low-level protocols.

CRust
Verified: 2025-11-19

Senior Quantitative Developer

Min. seniority: Senior
Standard Chartered

Hong Kong SAR | Singapore

๐Ÿ‡ญ๐Ÿ‡ฐ ๐Ÿ‡ธ๐Ÿ‡ฌ

Senior Quantitative Developer building trading, pricing, and risk management platforms for front office using Haskell (and in-house variant Mu). Requires 4+ years Haskell experience, solid CS fundamentals, and excellent stakeholder communication.

Haskell
Verified: 2025-11-19

Back end Programmer - Junior

Strong Compute

Sydney, NSW, Australia

๐Ÿ‡ฆ๐Ÿ‡บ

Junior Backend Developer working on Elixir app, with training provided. Rust/Python background welcome. Strong CS/math fundamentals required; AI/DevOps exposure a plus. Hybrid role with fast iteration, hackathons, and global collaboration.

ElixirPythonRust
Verified: 2025-11-19

Elixir Engineer

Strong Compute

Sydney, Australia | San Francisco, CA, USA

๐Ÿ‡ฆ๐Ÿ‡บ ๐Ÿ‡บ๐Ÿ‡ธ

Elixir engineer role building fault-tolerant, distributed control systems for AI infrastructure. OTP, event-driven architecture, PostgreSQL, and multi-cloud integration.

Elixir
Verified: 2025-11-19

Rust Backend Engineer

Svix

Remote, US | Remote, EU

๐Ÿ 

Rust backend engineer role building high-performance message delivery systems. Production Rust experience required. Focus on developer experience, scale, and stability.

Rust
Verified: 2025-11-19

Senior Software Engineer

Symbolica AI

San Francisco, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Senior Rust Engineer role turning ML research prototypes into production systems. Requires 5+ years' experience, Rust/Python skills, and full-stack execution ownership. On-site, high-impact work bridging AI research and product.

PythonRust
Verified: 2025-11-19

Zig/Rust Senior Software Engineer

Syndica

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Remote senior role building a high-performance Solana validator client in Zig, based on Rust Agave code. Requires 3+ years Rust experience; Zig/C/C++ a plus. Involves low-level performance optimization and open-source collaboration.

RustZig
Verified: 2025-11-19

Rust Software Engineer

Syndica

Dubai, UAE

๐Ÿ‡ฆ๐Ÿ‡ช

Rust engineer role building high-performance Web3 backend services for Solana RPC infrastructure. Requires 3+ years Rust experience. Bonus: Go, AWS/GCP, Kubernetes, PostgreSQL.

Rust
Verified: 2025-11-19

Ada Engineer

Systerel

Paris, France

๐Ÿ‡ซ๐Ÿ‡ท

Senior Ada engineer role developing embedded real-time systems for critical sectors like rail and energy. Requires expertise in Ada 95/2005/2012, Ravenscar or ZFP profiles, and familiarity with safety standards.

Ada
Verified: 2025-11-19

Real-Time Development Engineer

Systerel

Aix-en-Provence, France | Paris, France

๐Ÿ‡ซ๐Ÿ‡ท

Real-time software engineer (Ada/C/C++) for critical embedded systems in rail, energy, or industry. Full-cycle dev from spec to validation.

Ada
Verified: 2025-11-19

Software Engineer, Networking

Min. seniority: Senior
Tailscale

Remote, USA

๐Ÿ  ๐Ÿ‡บ๐Ÿ‡ธ

Develop and optimize the Tailscale product with an emphasis on networking features for IoT/embedded systems. Requires Expert-level proficiency in Rust, a deep understanding of networking concepts, and experience with distributed systems.

Rust
Verified: 2025-11-19

Senior Backend Developer

TalkJS

Remote, Europe | Remote, Africa

๐Ÿ 

Senior backend role focused on scaling a developer-facing platform. Requires Elixir experience, strong API design, and fluency in multiple languages. Bonus for frontend skills.

Elixir
Verified: 2025-11-19

Data Scientist

Terradot

Sรฃo Paulo, Brazil | San Francisco, CA, USA

๐Ÿ‡ง๐Ÿ‡ท ๐Ÿ‡บ๐Ÿ‡ธ

Data scientist role applying advanced statistical and ML models to spatial environmental data. Requires strong programming skills, PhD-level expertise, and experience with large-scale carbon, climate, or remote sensing datasets.

JuliaPython
Verified: 2025-11-19

Senior OCaml Engineer

Min. seniority: Senior
Terrateam

Remote, EU

๐Ÿ 

Senior OCaml Engineer building core infrastructure automation and orchestration tools. Design architecture, implement key features, and contribute to open-source projects.

OCaml
Verified: 2025-11-19

Senior Backend Developer

Testfabrik

Saarbrรผcken, Germany

๐Ÿ‡ฉ๐Ÿ‡ช

Senior Backend Developer role building distributed microservices in Scala with Akka, RabbitMQ, PostgreSQL, and Elasticsearch. Focus on DDD, CQRS, Event Sourcing. Contribute to scalable test automation platform.

Scala
Verified: 2025-11-19

ADA Software Development Engineer

Thales Group

Rungis, France

๐Ÿ‡ซ๐Ÿ‡ท

On-site Ada developer for air and missile defense systems. Agile team, object-oriented development, mission-critical software. Aerospace/security focus. Must qualify for national defense clearance. Ada experience preferred.

Ada
Verified: 2025-11-19

Rust Systems Engineer - Inference

Min. seniority: Senior
Together AI

San Francisco, CA, USA

๐Ÿ‡บ๐Ÿ‡ธ

Optimize and enhance the performance of AI inference systems. Requires deep proficiency in Rust and its ecosystem (axum, tokio, jemalloc), strong understanding of concurrent programming, and experience optimizing for low-latency, high-throughput systems.

Rust
Verified: 2025-11-19

Experienced Elixir developer

Trifork

Aarhus, Denmark

๐Ÿ‡ฉ๐Ÿ‡ฐ

Experienced Elixir developer to build a new product in an agile team. Strong BEAM expertise, broad software knowledge, and input on architecture and security expected. Collaborative environment with mentorship, tech talks, and regular hack days.

Elixir
Verified: 2025-11-19

Senior Software Engineer - Backend

Min. seniority: Senior
Tubi

San Francisco, CA, USA | Toronto, ON, Canada

๐Ÿ‡จ๐Ÿ‡ฆ ๐Ÿ‡บ๐Ÿ‡ธ

Implement high-performance, disaster-resilient streaming services in Elixir. Focus on distributed systems and AI-Driven Development. Rust is a bonus.

ElixirRust
Verified: 2025-11-19

Senior Software Engineer

Min. seniority: Senior
tulanฤ

Berlin, Germany

๐Ÿ  ๐Ÿ‡ฉ๐Ÿ‡ช

Senior Software Engineer building stochastic optimization and simulation systems using Scala and Nix. Architect core platform, data pipelines, and infrastructure with functional programming approach. Requires polyglot programming experience with appreciation for functional languages.

Scala
Verified: 2025-11-19

Clojure Developer

United Signals

Frankfurt, Germany | Potsdam, Germany

๐Ÿ  ๐Ÿ‡ฉ๐Ÿ‡ช

Senior backend role using Ruby (Rails) and Clojure in a greenfield project focused on dynamic forms and contracts. Functional programming experience valued. Involves full SDLC, cloud ops, and optional frontend work.

ClojureRuby
Verified: 2025-11-19

Product Engineer (Backend)

V7

London, England, UK

๐Ÿ  ๐Ÿ‡ฌ๐Ÿ‡ง

Backend product engineer role building APIs and scaling AI infrastructure for multimodal GenAI workflows. Uses functional programming, AWS, Terraform, Docker. ยฃ90K-ยฃ160K.

Elixir
Verified: 2025-11-19

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-11-19

Fullstack Developer - Brand Payment

Veepee

Warsaw, Poland

๐Ÿ‡ต๐Ÿ‡ฑ

A role for a developer with 5+ years of experience to develop and redesign a B2B financial platform. The tech stack includes F#, C#, .NET, Angular, and Kafka.

C#F#
Verified: 2025-11-19

Lead Clojure Developer

Yuppiechef

Cape Town, South Africa

๐Ÿ  ๐Ÿ‡ฟ๐Ÿ‡ฆ

Lead Clojure developer role owning architecture for a unified omnichannel retail platform. Functional programming, AWS, Docker, Kafka, and CI/CD. Hands-on leadership in performance, observability, and mentoring within a remote-friendly team.

Clojure
Verified: 2025-11-19

Senior Software Engineer

Zastrpay

Vienna, Austria

๐Ÿ‡ฆ๐Ÿ‡น

Senior Software Engineer role using F#, Azure, NoSQL/SQL in a fully developer-owned environment. Tackle full-stack, DevOps, and infra automation. โ‚ฌ90K salary.

F#
Verified: 2025-11-19

Rust Engineer

Zed Industries

Remote

๐Ÿ 

Remote Rust engineer role building Zedโ€™s high-performance code editor or AI features. Involves systems-level Rust, custom UI (GPUI), and cross-platform desktop development. Strong product sense, pair programming, and full-stack flexibility required.

Rust
Verified: 2025-11-19

Scala Engineer

Ziverge

Remote

๐Ÿ 

Senior Scala engineer role focused on building distributed, event-driven backend systems with ZIO, Cats, Tapir, and http4s. Heavy functional programming, cloud debugging, and remote-first team. Bonus for Docker, gRPC, or cryptography experience.

Scala
Verified: 2025-11-19

Lead Software Engineer Distributed Systems

Ziverge

Remote

๐Ÿ 

Lead Scala engineer role guiding distributed systems development with ZIO in a cloud-native, microservices environment. Own architecture decisions, mentor engineers, and deliver scalable, high-performance solutions.

Scala
Verified: 2025-11-19

Senior Software Engineer

Ziverge

Remote

๐Ÿ 

Senior Scala engineer role building low-latency, high-concurrency services with ZIO in a multi-cloud setup. Lead architecture decisions, mentor developers, and optimize microservices, PostgreSQL, and Kafka.

Scala
Verified: 2025-11-19

Principal Software Development Engineer

Min. seniority: Principal
Zscaler

Hyderabad, India | Bangalore, India | San Jose, CA, USA

๐Ÿ‡ฎ๐Ÿ‡ณ ๐Ÿ‡บ๐Ÿ‡ธ

Lead the design and development of a low-latency, high-throughput data forwarding plane for the world's largest security cloud. Requires 10+ years experience, deep expertise in Rust, and building resilient, horizontally scalable distributed systems.

Rust
Verified: 2025-11-19

Sr. Staff Software Development Engineer

Min. seniority: Staff
Zscaler

Hyderabad, India

๐Ÿ‡ฎ๐Ÿ‡ณ

Senior role to design and build a low-latency, high-throughput data forwarding plane for the world's largest security cloud. Requires 7+ years experience, extensive Rust coding expertise, and proven ability to build resilient, horizontally scalable distributed systems on Linux.

Rust
Verified: 2025-11-19

COBOL Software Developer

Zucchetti

Senigallia, Italy

๐Ÿ‡ฎ๐Ÿ‡น

COBOL developer role focused on accounting and tax software. Requires 5+ years' experience, strong COBOL and PostgreSQL skills. Hybrid work, Italian fluency, and domain knowledge in payroll/accounting essential.

COBOL
Verified: 2025-11-19