joblaze

Filters

Skills

Location

Salary

Company stage

Posted

Remote only

"programming language theory" Jobs

7 open tech roles matching “programming language theory”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Rust, C++, Cryptography. Every listing is re-checked daily and closed roles are removed.

Showing 7 of 7 results

Software Engineer (Engineer III to Principal) - Formal Methods

Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.

CertiK New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Published 4 years ago

abstract interpretation automated reasoning SAT/SMT solving symbolic model checking programming language theory

ZK Proof Engineer Hybrid

Axiom New York Published 3 years ago

zkVM C++ Ethereum database backends LLVM

General Software Engineer Visa

Join ZeroMark as a General Software Engineer to design and develop AI-driven counter-drone systems with a direct impact on national security.

ZeroMark New York, NY Published 3 months ago

real-time operating systems C++ Embedded Systems Machine Learning Java

Flexible on stack

Distributed Systems Engineer Hybrid

Axiom New York Published 2 years ago

Terraform C++ Blockchain Ethereum Zero-knowledge proofs

Forward Deployed Engineer Hybrid

Axiom New York Published 10 months ago

TypeScript Terraform Blockchain Go Rust

Senior Software Engineer, Server Security Hybrid

MongoDB New York City $126k–$248k/yr Published 4 months ago

C++ TLS X.509 Java Go

Data Solutions & Validation Sr. Specialist Hybrid

Join Robinhood as a Senior Specialist to validate and optimize financial crimes models in a fast-paced fintech environment.

Robinhood Denver, CO; New York, NY; Westlake, TX $120k–$141k/yr Published 3 weeks ago

Flexible on stack

Related searches

Programming Language Theory Programming Language Theory Remote Senior Programming Language Theory Junior Programming Language Theory Programming Language Theory in London Programming Language Theory in San Francisco Rust in New York C++ in New York Cryptography in New York