beyond-tabs logo

Browse Jobs

Hand-curated positions in niche programming languages

No filters applied

157 jobs found

Atom feed icon Subscribe to Feed

Showing 1-30 of 157

1 / 6

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 Sep 26, 2026 View listing

Senior Avionics Software Developer

Airbus
Senior+
🇮🇳

Bangalore, India

Senior Avionics Software Developer developing safety-critical real-time embedded software for avionics applications. Working with C, C++, Ada, and RTOS following DO-178C standards.

AdaCC++
Verified Sep 26, 2026 View listing

Software Development Engineer

Alstom
🇫🇷

Villeurbanne, France

Software Development Engineer designing and evolving cybersecurity functions for embedded products with Rust, Python, and C, leveraging Linux, containerization, and CI/CD, focusing on secure networking protocols, configuration management, and rigorous quality testing.

CPythonRust
Verified Sep 26, 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 Sep 26, 2026 View listing

Software Designer

Alstom
🇧🇪

Charleroi, Belgium

Software Designer integrating and validating railway signaling software modules. C, C++, ADA, Python, Lua, Bash with GitLab and Docker, focusing on platform integration, release management, and performance measurement.

AdaCC++LuaPython
Verified Sep 26, 2026 View listing

Software Architect

Alstom
Senior+
🇮🇳

Bangalore, India

Software Architect leading architecture design for embedded systems, defining requirements and overseeing integration, while leveraging C#, Rust, Python, RTOS, Docker, Kubernetes, and TCP/IP, focusing on performance, safety, and reliability in rail mobility solutions.

Rust
Verified Sep 26, 2026 View listing

V&V Designer

Alstom
Mid-level+
🇮🇳

Hyderabad, India

Design and execute functional tests using NI Test Stand tools while ensuring compliance with V&V processes and collaborating across global teams.

AdaCC#C++
Verified Sep 26, 2026 View listing

Software Designer

Alstom
🇫🇷

Villeurbanne, France

Software Designer designing and developing cybersecurity software and services for embedded railway products with Rust, Python, and C, focusing on network security protocols, software configuration management, and quality testing.

CPythonRust
Verified Sep 26, 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 Sep 26, 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 Sep 26, 2026 View listing

Architect logiciel (F/H)_CCP2

Alstom
Senior+
🇫🇷

Villeurbanne, France

Software Architect designing real-time embedded safety-critical systems for railway signaling. C and Ada with PikeOS or equivalent RTOS, focusing on resource management, software architecture, and test strategy.

AdaC
Verified Sep 26, 2026 View listing

Embedded Software Engineer

Alstom
Mid-level+
🇫🇷

Villeurbanne, France

Embedded Software Engineer developing real-time safety-critical systems for railway signaling. C and Ada with PikeOS or equivalent RTOS, focusing on software specification, coding, testing, and resource management. Based in Villeurbanne.

AdaC
Verified Sep 26, 2026 View listing

Senior AI Engineer

Amentum
Senior+
🇺🇸

Linthicum, MD, USA

Senior AI Engineer architecting LLM orchestration frameworks for the Unified Consumer Profile, sustaining secure RAG pipelines and vector databases, with a focus on enhancing vulnerability mitigation, optimizing data preprocessing, and streamlining ATO processes using Rust and Python.

PythonRust
Verified Sep 26, 2026 View listing

Software Engineer

Amentum
Mid-level+
🇺🇸

Dahlgren, VA, USA

Develop software solutions for undersea warfare systems, collaborating with development teams to enhance mission-critical technology.

AdaCC++Java
Verified Sep 26, 2026 View listing

Mission Design Tools Software Engineer

Amentum
🇺🇸

Houston, TX, USA

Mission Design Tools Software Engineer developing variable-degree-of-freedom simulations and tools for NASA and commercial spaceflight, using C++, Fortran, and Python, focusing on full software lifecycle activities, CI/CD, and maintaining Class C compliance per NPR 7150.2.

C++FortranPython
Verified Sep 26, 2026 View listing

Entry Level SLS Orion Trajectory Analyst

Amentum
🇺🇸

Huntsville, AL, USA

SLS Orion Trajectory Analyst developing flight mechanics simulations for NASA's Artemis program. Python, MATLAB, Fortran, C++, and Copernicus with trajectory design, Monte Carlo simulations, and 3-DOF/6-DOF modeling. Based in Huntsville, AL.

C++FortranPython
Verified Sep 26, 2026 View listing

Senior Embedded NixOS Engineer

Anduril Industries
🇺🇸

Costa Mesa, CA, USA

Senior Embedded NixOS Engineer building core infrastructure for electromagnetic warfare systems. Nix/NixOS with functional programming (Haskell), focusing on hardware bringup, build/deployment systems, and embedded Linux on AArch64.

Haskell
Verified Sep 26, 2026 View listing

Lead Mission Software Engineer, EW

Anduril Industries
Lead+
🇺🇸

Costa Mesa, CA, USA

Lead Mission Software Engineer building and leading the electronic warfare software team from the ground up. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on deployment infrastructure, systems integration, and field operational support.

C++GoHaskellRustTypescript
Verified Sep 26, 2026 View listing

Mission Software Engineer, EW

Anduril Industries
Mid-level+
🇺🇸

Costa Mesa, CA, USA

Mission Software Engineer building electronic warfare platforms for defense. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on backend services, deployment infrastructure, and integration with AI-powered operating systems.

C++GoHaskellRustTypescript
Verified Sep 26, 2026 View listing

Embedded NixOS Engineer

Anduril Industries
🇺🇸

Costa Mesa, CA, USA

Embedded NixOS Engineer building core infrastructure for electromagnetic warfare systems. Nix/NixOS with functional programming (Haskell), focusing on hardware bringup, build/deployment systems, and embedded Linux on AArch64.

Haskell
Verified Sep 26, 2026 View listing

Senior Mission Software Engineer, EW

Anduril Industries
Senior+
🇺🇸

Costa Mesa, CA, USA

Senior Mission Software Engineer building next-generation electronic warfare platforms for defense. Haskell, Rust, C++, Go, TypeScript with Linux and Nix/NixOS, focusing on embedded systems, backend services, deployment infrastructure, and customer-facing applications. Based in Costa Mesa, CA.

C++GoHaskellRustTypescript
Verified Sep 26, 2026 View listing

Staff Software Engineer, Rust

Apollo GraphQL
Staff+
🇨🇦 🇺🇸

Remote, USA | Remote, Canada

Staff Software Engineer, Rust building and operating secure, high-performance GraphQL runtime infrastructure with Rust and GraphQL, focusing on performance, reliability, security, observability, cross-team collaboration, and mentoring.

Rust
Verified Sep 26, 2026 View listing

Technical Lead, API

Asana, Inc.
Lead+
🇨🇦

Vancouver, BC, Canada

Technical Lead driving the API developer platform and agentic future for enterprise software. Scala, JavaScript, and TypeScript, focusing on public API design, technical strategy, and cross-functional collaboration.

ScalaTypescript
Verified Sep 26, 2026 View listing

Configuration Management Analyst

ASRC Federal
🇺🇸

Moorestown, NJ, USA

Configuration Management Analyst managing CI/CD pipelines for AEGIS defense systems development. C++, Java, Ada with Git, ClearCase, and Linux scripting, focusing on build automation, release management, and version control. Based in Moorestown, NJ.

AdaC++Java
Verified Sep 26, 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 Sep 26, 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 Sep 26, 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 Sep 26, 2026 View listing