Anduril Industries: Defense technology building autonomous military hardware and software.
2+ YOE2+ years software engineering, experience with software-defined digital radio systems, and eligibility to obtain U.S. Top Secret/SCI; preferred experience with typed functional languages, MATLAB, Linux kernel, FPGA, graphics, and Nix.
San Francisco or New York City or Portland or United States or Canada
$201k-$251k/yrHybridFull Time
Mercury: Banking services and financial software designed for startup companies.
7+ YOE7+ years building and operating backend infrastructure and distributed systems; experience integrating modern systems with legacy banking infrastructure; strong API and reliability focus; Haskell experience or willingness to learn.
Northwood Space: Manufacturing ground stations and providing satellite communication infrastructure.
6+ YOE6+ years software development, 3+ years building cloud services and APIs, experience leading engineers or tech projects, distributed scheduling/resource allocation experience, proficiency with AWS/Azure/Google Cloud, Kubernetes, and CI/CD; Rust/Golang/Haskell experience preferred.
AWS, Azure, Google Cloud, Rust, Golang, Haskell, Kubernetes, CI/CD, Telemetry, Tracking, and Control (TT&C)
Illinois or United States or San Francisco or Los Angeles or Indiana
$160k-$230k/yrRemoteFull Time
AllstateNYSE: ALL: Provides insurance products for vehicles, homes, and businesses.
8+ YOE8+ years in software engineering or platform architecture, deep security architecture and secure-by-design experience, expertise with cloud-native distributed systems, CI/CD, DevOps, and strong technical leadership and communication skills.
Sandia National Laboratories: Conducts science and engineering research for national security.
5+ YOEBachelor's degree in a relevant discipline plus 5 years of directly relevant experience, or equivalent education and experience; ability to obtain and maintain a U.S. DOE Q-level security clearance and conduct independent R&D.
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or Master's degree; experience in SAT, SMT, mechanical theorem proving, symbolic simulation, type systems, or program analysis; strong problem solving and research skills. Programming experience in functional/modern languages preferred.
Sandia National Laboratories: Federal research and development laboratory for national security.
5+ YOEBachelor's degree and 5 years of directly relevant experience or equivalent education and experience; ability to obtain and maintain a U.S. DOE Q-level clearance. Formal methods and verification expertise required.
Haskell, OCaml, Rocq, Python, C, Rust, Verilog, VHDL, NuSMV, TLA, Microsoft Windows
Watney Robotics: Develops autonomous robotic systems for data center infrastructure buildout.
Production Rust or strong systems/polyglot engineering experience, full-stack skills across backend, cloud, and interactive web frontends; experience with distributed systems, media/video pipelines, and operating live systems.
The Walt Disney CompanyNYSE: DIS: Produces media content and operates global theme parks.
5+ YOE5+ years software development experience with functional Scala, AWS, Kubernetes, distributed systems, and strong problem-solving and collaboration skills.
Tetsuwan Scientific: Building AI-driven autonomous robotics for scientific laboratory experiments.
3+ YOE3+ years professional software experience; able to take ambiguous problems to shipped features; comfortable across languages and full stack; strong code quality opinions and collaboration in a small in-person team.