beyond-tabs logo

Browse Jobs

Hand-curated positions in niche programming languages

No filters applied

232 jobs found

Atom feed icon Subscribe to Feed

Showing 1-30 of 232

1 / 8

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

Software Developer

Alten
🇪🇸

Madrid, Sapin

Develop and validate software applications, including scripting and avionics software architecture using C and ADA 95.

AdaC
Verified Aug 17, 2026 View listing

HLS Navigation Aerospace Engineer

Amentum
🇺🇸

Huntsville, AL, USA

HLS Navigation Aerospace Engineer modeling lunar landing navigation systems for NASA's Human Lander System. MATLAB/Simulink, Python, Fortran, C++ with Kalman filtering, sensor fusion, Terrain Relative Navigation, and 6-DOF Monte Carlo simulations. Based in Huntsville, AL.

C++FortranPython
Verified Aug 17, 2026 View listing

Nuclear Graphite Engineer

Amentum
🇬🇧

Risley, England, UK

Nuclear Graphite Engineer supporting life extension of AGR nuclear reactors. Finite-element analysis (Abaqus), Python, Fortran with structural integrity and irradiation effects modeling.

FortranPython
Verified Aug 17, 2026 View listing

Thermal/fluid Analysis Subject Matter Expert

Amentum
Senior+
🇺🇸

Huntsville, AL, USA

Thermal/fluid Analysis Subject Matter Expert providing conjugate heat transfer and fluid flow analysis for NASA propulsion systems, developing Fortran routines in Thermal Desktop, and validating models with test data while focusing on thermal environment testing and propulsion system design compliance.

Fortran
Verified Aug 17, 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 Aug 17, 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 Aug 17, 2026 View listing

SLS Engine Systems Engineer

Amentum
Senior+
🇺🇸

Huntsville, AL, USA

SLS Engine Systems Engineer performing systems engineering and integration tasks for liquid rocket engines, utilizing Python, FORTRAN, and MATLAB for data analysis and modeling, focusing on hot-fire testing, vehicle integration, and anomaly investigations for the SLS launch vehicle.

Fortran
Verified Aug 17, 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 Aug 22, 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 Aug 17, 2026 View listing

Research Software Engineer

Amentum
🇺🇸

Houston, TX, USA

Research Software Engineer developing, deploying, and optimizing software for NASA HPC environments with Fortran, C++, Python, and MPI, focusing on simulation workflows, CI/CD, containerized deployments, and mentoring HPC users in Agile and test-driven development practices.

C++FortranPython
Verified Aug 17, 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 Aug 17, 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 Aug 17, 2026 View listing

Senior Embedded Engineer, EW

Anduril Industries
Senior+
🇺🇸

Costa Mesa, CA, USA

Embedded Linux Engineer developing operating systems for robotics platforms across land, sea, and air. Linux kernel, C, Rust, and Nix/NixOS, with Haskell and functional programming, focusing on board bring-up, device trees, bootloaders, and system security.

CHaskellRust
Verified Aug 17, 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 Aug 17, 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 Aug 17, 2026 View listing