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 61-90 of 157

3 / 6

Research Engineer, Formal Methods

Harmonic
🇬🇧 🇺🇸

London, England, UK | Palo Alto, CA, USA

Research Engineer advancing AI-based theorem proving with Lean 4, developing novel approaches to verify software and hardware properties, and collaborating with AI researchers to train systems that reliably check safety-critical systems in aerospace, automotive, and cryptography.

Lean4
Verified Sep 26, 2026 View listing

Formal Verification Engineer

Harmonic
🇬🇧 🇺🇸

London, England, UK | Palo Alto, CA, USA

Formal Verification Engineer translating design intent into precise properties and executing formal proofs with Lean 4, verifying production hardware and software, and collaborating with customers to scope requirements and deliver reproducible verification workflows.

Lean4
Verified Sep 26, 2026 View listing

Programmer

Harvard University
Mid-level+
🏠 🇺🇸

Boston, MA, USA

Programmer developing data cleaning, processing pipelines, and software for environmental health research. Using R, Python, SQL, and GitHub to manage complex databases and support epidemiological studies.

R
Verified Sep 26, 2026 View listing

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

Product Operational Safety Engineer

Hitachi Rail
🇫🇷

Vélizy-Villacoublay, France

Product Safety Engineer ensuring safety compliance for railway products. C, C++, Ada with CENELEC standards (EN50126/8/9), focusing on risk analysis, hazard registers, and reliability/maintainability/availability allocations.

Ada
Verified Sep 26, 2026 View listing

Hardware and Embedded Software Engineer

Hitachi Rail
🇫🇷

Les Ulis, France

Hardware and Embedded Software Engineer owning the CBTC hardware platform, managing obsolescence, integrating new designs, and providing technical leadership with C, ADA, VHDL, and FPGA, focusing on railway signaling standards, troubleshooting, and roadmap execution.

AdaC
Verified Sep 26, 2026 View listing

Fullstack Engineer

Hofstätter Healthcare
Mid-level+
🇦🇹

St. Pölten, Austria

Fullstack Engineer building end-to-end features for a healthcare platform with Elixir and Vue, leveraging Phoenix and TypeScript, and focusing on data modeling, API design, and seamless integration of patient and provider workflows in a digital health ecosystem.

ElixirTypescript
Verified Sep 26, 2026 View listing

Backend Software Engineer

Hubs Contabilidade
Mid-level+
🏠 🇧🇷

Remote, Brazil

Backend Software Engineer developing systems for the accounting technology sector. Elixir with Phoenix, PostgreSQL, and AWS, focusing on backend architecture, API development, technical debt, and database performance.

Elixir
Verified Sep 26, 2026 View listing

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

Intermediate Software Developer

IBM
Mid-level+
🇨🇦

Ottawa, Ontario, Canada

Intermediate Software Developer developing and maintaining applications for defense-related systems. C, C++, Python, Ada with event-driven architectures and system integration. Based in Ottawa, ON, with Secret/NATO/Controlled Goods clearance eligibility required.

AdaCC++Python
Verified Sep 26, 2026 View listing

Cobol Developer

Inetum
Mid-level+
🏠 🇷🇴

Bucharest, Romania

Cobol Developer building and maintaining enterprise applications, handling analysis, testing, and troubleshooting with COBOL, JCL, and DB2, focusing on implementing new features, ensuring data transfer between applications, and supporting the full SDLC.

COBOL
Verified Sep 26, 2026 View listing

Mainframe COBOL Developer

Inetum
Senior+
🇫🇷

Saint-Ouen, France

Mainframe COBOL Developer performing development and maintenance on critical applications with COBOL, JCL, DB2, and IMS, focusing on incident management, application evolution, and continuous improvement.

COBOL
Verified Sep 26, 2026 View listing

COBOL Mainframe Developer

Inetum
Senior+
🇫🇷

Lille, France

COBOL Mainframe Developer performing analysis, development, and testing with COBOL, DB2, JCL, CICS, TSO/ISPF, and SQL, focusing on maintenance, evolution, and modernization projects for critical information systems while collaborating with business and technical teams.

COBOL
Verified Sep 26, 2026 View listing

Senior COBOL Programmer

Inetum
Senior+
🇨🇴

Bogotá, Colombia

Senior COBOL Programmer designing and developing mainframe applications with COBOL, JCL, DB2, SQL, Changeman, and Control-M, focusing on banking systems, batch processing, database optimization, incident management, and supporting development teams with best practices and maintenance.

COBOL
Verified Sep 26, 2026 View listing

Mainframe COBOL Developer

Inetum
🇫🇷

Saint-Ouen, France

Mainframe COBOL Developer designing, developing, testing, and maintaining mainframe applications with COBOL, JCL, and IBM DB2, focusing on production support, data querying, and continuous improvement in an agile team environment.

COBOL
Verified Sep 26, 2026 View listing

MVS Software Engineer

Inetum
🇫🇷

Saint Ouen, France

MVS Software Engineer managing application run operations, handling incidents and user assistance, and developing enhancements with COBOL, PL/I, and JCL, focusing on unit testing and production stability.

COBOL
Verified Sep 26, 2026 View listing

Backend Developer

Inetum
🇲🇽

Mexico City, Mexico

Backend Developer designing and maintaining high-availability services with Scala, Java, Akka, and Kafka, focusing on distributed systems, event-driven architectures, and microservices while building RESTful APIs, managing SQL and Cosmos DB, and implementing CI/CD pipelines on Azure, AWS, or GCP.

Scala
Verified Sep 26, 2026 View listing

COBOL Analyst/Developer

Inetum
Senior+
🇫🇷

Saint Ouen, France

COBOL Analyst/Developer ensuring operational maintenance and level 1 support for finance, accounting, and procurement applications, using PACBASE and COBOL, focusing on run stability, security patching, technical debt reduction, and deployment quality.

COBOL
Verified Sep 26, 2026 View listing

Senior COBOL Developer

Inetum
Senior+
🇵🇹

Lisbon, Portugal

Senior COBOL Developer developing and maintaining core systems, performing full lifecycle development from requirements analysis through UAT support, and mentoring junior team members while leveraging COBOL, DB2 SQL, CICS, JCL, and Unix shell scripting in a structured, process-driven environment.

COBOL
Verified Sep 26, 2026 View listing

COBOL Mainframe Analyst/Developer

Inetum
Mid-level+
🇫🇷

Lille, France

COBOL Mainframe Analyst/Developer driving full lifecycle development and maintenance for insurance applications, using COBOL, JCL, SQL, DB2, and CICS, focusing on functional design, integration testing, production support, and continuous improvement.

COBOL
Verified Sep 26, 2026 View listing

Staff Programmer

Inetum
Staff+
🇨🇴

Bogotá

Staff Programmer developing and maintaining enterprise applications using COBOL, JCL, DB2 SQL, and Java, focusing on mainframe integration, banking systems, and Agile-driven delivery.

CCOBOLJava
Verified Sep 26, 2026 View listing

Senior COBOL Programmer

Inetum
Senior+
🇨🇴

Bogotá, Colombia

Senior COBOL Programmer designing and developing mainframe applications with COBOL, JCL, and DB2 SQL, focusing on online transaction processing, batch accounting, database optimization, and incident management for financial services environments.

COBOL
Verified Sep 26, 2026 View listing

Senior COBOL Programmer

Inetum
Senior+
🇨🇴

Bogotá, Colombia

Senior COBOL Programmer developing and maintaining banking mainframe applications with COBOL, JCL, and DB2 SQL, leveraging JIRA and CHANGEMAN for project tracking, focusing on database optimization, incident management, high-availability solutions, and query performance tuning across financial systems.

COBOL
Verified Sep 26, 2026 View listing

Senior COBOL Programmer

Inetum
Senior+
🇨🇴

Bogotá, Colombia

Senior COBOL Programmer designing and developing mainframe applications with COBOL, JCL, and DB2 SQL, leveraging CICS and VSAM, focusing on database performance optimization, incident management, and supporting banking systems.

COBOL
Verified Sep 26, 2026 View listing

Senior Cobol Developer

Inetum
Senior+
🇨🇴

Bogotá, Colombia

Senior COBOL developer maintaining and enhancing banking systems. Working with COBOL, JCL, DB2, and agile methodologies in a collaborative environment.

COBOL
Verified Sep 26, 2026 View listing

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

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

Staff Software Data Engineer

Intuit Credit Karma
Staff+
🇺🇸

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.

Scala
Verified Sep 26, 2026 View listing

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

Production Engineer

Jane Street
Mid-level+
🇬🇧

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.

OCaml
Verified Sep 26, 2026 View listing