Hand-curated positions in niche programming languages
No filters applied
233 jobs found
Subscribe to Feed
Rennes, France
Research engineer developing Salto, a static analyzer for OCaml programs using abstract interpretation. Detects uncaught exceptions, assertion failures, integer overflows, and undefined behaviors.
Biot, France
Research and Development Engineer in formal methods for cryptographic implementations. Rust and OCaml with proof assistants (EasyCrypt, Coq), focusing on formal verification, language extensions, and transpilation for side-channel resistance.
Palaiseau, France
Post-Doctoral Researcher developing privacy-preserving embedded AI techniques and TinyML systems. Embedded Rust, C, Python with machine learning, split computing, and secure MLOps on microcontrollers (ARM Cortex-M, RISC-V, ESP32).
Rennes, France
Research Engineer developing stochastic modelling and numerical simulation of ocean dynamics. Fortran, Python, PyTorch with mathematical analysis, stochastic transport, and wave-current interaction modeling.
Rennes, France
Postdoctoral researcher developing HPC frameworks for real-time simulation of periodic metamaterials. Using Julia, finite element methods, and model order reduction to build next-generation digital twins.
Rennes, France
Research Engineer developing the Salto static analyzer for OCaml programs. OCaml with abstract interpretation, focusing on exception detection, integer overflow, and undefined behavior analysis.
Rennes, France
Post-Doctoral Researcher advancing theoretical foundations of stochastic ocean dynamics. Fortran, Python, PyTorch with variational formalisms, stochastic parameterization, and wave-current interaction, focusing on mathematical analysis of noise-driven flow models.
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.
Charlotte, North Carolina, United States
Staff Software Data Engineer building extensible Scala and Finagle frameworks, focusing on Unified Consumer Profile hydration, Kafka-to-BigQuery pipelines, and Spanner persistence layers, while sustaining developer self-service tooling.
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.
London, England, UK
Production Engineer building and supporting critical trading systems. OCaml with infrastructure monitoring and incident resolution, splitting time between software development and support rotations.
New York, NY, USA
Production Engineer building and supporting critical trading systems. OCaml with infrastructure monitoring and incident resolution, splitting time between software development and support rotations.
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.
Jersey City, NJ, USA
AI Modernization Senior Lead Software Engineer building and operating agentic systems that migrate legacy COBOL, JCL, and DB2 to Kotlin/JVM, with a focus on RAG pipelines, code translation, verification infrastructure, and production LLMOps for enterprise financial services.
Remote
Staff/Principal Software Engineer building AI-powered workflows for financial advisors. Elixir with LiveView, PostgreSQL, and Google Cloud with Terraform and Kubernetes, focusing on scalable systems, clean architecture, and feature delivery.
Toronto, Ontario, Canada
Staff Software Engineer leading distributed systems and platform architecture across cloud-native environments. Rust, C#, and Kubernetes with a focus on reliability, observability, and AI-assisted developer workflows.
Stockholm, Sweden
Senior Erlang Engineer building highly scalable and resilient backend systems for Klarna's core payment infrastructure with Erlang, Elixir, and OTP, focusing on distributed systems, concurrency, fault-tolerant design, and system reliability.
Milan, Italy
Software Engineer building a high-performance Kafka protocol proxy for an event gateway platform. Rust with async, Tokio, and Linux networking, focusing on distributed systems, protocol optimization, and low-level performance.
Shanghai, China
Senior Software Engineer building proxy stack for an API gateway. Nginx/OpenResty, Lua/C, and Linux networking, focusing on distributed systems, troubleshooting, and enterprise product development.
Birmingham, England, UK | Leeds, England, UK | London, England, UK | Manchester, England, UK
Senior Data Engineer implementing Quantexa-based solutions for financial services. Spark and Scala with Python and Databricks, focusing on data ingestion, Entity Resolution, and ETL pipelines.
Aberdeen, Scotland, UK | Birmingham, England, UK | Bristol, England, UK | Cambridge, England, UK | Cardiff, Wales, UK | Edinburgh, Scotland, UK | Glasgow, Scotland, UK | London, England, UK | Manchester, England, UK | Newcastle upon Tyne, England, UK | Nottingham, England, UK | Watford, England, UK
Quantexa Senior Manager Tech Lead leading end-to-end Quantexa implementations, designing entity resolution and network generation solutions, and acting as primary technical interface for clients using Scala, Spark, and ElasticSearch while focusing on data modeling, scoring frameworks, and production deployment.
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).
London, England, UK
Quantexa Tech Lead leading end-to-end implementations of entity resolution and network generation solutions. Scala, Apache Spark, Hadoop, ElasticSearch with Quantexa components, focusing on architecture, design, and client delivery.
Birmingham, England, UK | London, England, UK | Manchester, England, UK | Leeds, England, UK
Quantexa Data Engineer designing and delivering high-quality Quantexa solutions with Spark and Scala, developing ingestion pipelines and configuring Entity Resolution, Scoring, and Network Generation, while collaborating with architects and client stakeholders to address complex business challenges.
Bangalore, India
Software Engineer developing and maintaining control systems software for semiconductor wafer fabrication equipment. Using Smalltalk, C, C++, Python, object-oriented design, and real-time communication protocols to deliver complex projects.
Fremont, CA, USA
Embedded Software Engineer designing and developing software control systems for semiconductor manufacturing equipment. Using C/C++, Java, Python, Smalltalk, and object-oriented design with real-time operating systems and distributed systems.
Bristol, England, UK | Cheltenham, England, UK
Senior Embedded Software Developer designing and delivering operational tooling with C, C++, Rust, and Python for ESP32 and ARM platforms, focusing on real-time constraints, low-level interfacing, and mentoring junior engineers.
Whiteley, England, UK
Senior Software Engineer developing and sustaining safety-critical, real-time Air Traffic Control systems with Ada, C++, and Linux/Unix, focusing on full lifecycle delivery, integration, verification, and technical leadership within an Air Traffic Management programme.
Dortmund, Germany
Web Developer building modern, performant, and user-friendly web interfaces for cloud platforms in the energy sector using Vue.js, TypeScript, Elixir, and Phoenix with Inertia.js, focusing on interactive dashboards, data visualization, and agile collaboration from conception to rollout.
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.