Staff Software Engineer

$1,000 per month

Full-time

Formal

Role Description

You’ll lead the development of a new, Rust-like programming language intended to run in kernel-space. Expect to write and review design documents, implementation decisions, lots of code, machine-checked proofs, and LaTeX specifications.

Develop an existing compiler codebase and software to continuously test and verify its correctness
Formally verify language properties and implementations
Collaborate and co-design with OS and networking teams to tightly integrate the language into the overall product
Participate in both sides of code reviews
Actively anticipate and communicate future roadblocks
Participate in the open-sourcing of the language

Qualifications

3+ years of software engineering experience
Deep understanding of type systems and logic systems: formal specification, design, implementation, and trade-offs
Experience with formal programming language semantic specifications, proofs, and ability to translate them into code
Experience with formal verification including model checking, theorem provers and SMT-based approaches
Understanding of system-level language concerns such as binary formats, loading, ABIs, linking, and machine targets
Mastery of or ability to quickly master Rust
High level of independence and autonomy
Ability and willingness to document, teach, and explain complex technical problems and solutions

Benefits

Compensation is comprised of a competitive market salary and stock grant (>= 0.4%) conditioned on a vesting schedule
Unlimited paid and unpaid vacation time
Reimbursable vacation expenses (transportation and lodging up to $1k)
A triennial $4k computing device allowance
Comprehensive medical, dental, and vision insurance
$120 monthly gym allowance
$250 yearly to spend on anything educational

Apply

Vacancy posted a month ago

Similar jobs that could be interesting for youBased on the Staff Software Engineer in Remote vacancy

Senior/Staff Software Engineer, Behavior Verification
$176.4k - $319.72k
...clear path to AVs at commercial scale—empowering a safer, richer, and more connected future. About the Role As a Senior/Staff Software Engineer working on driving behavior verification, you are responsible for implementing metrics that evaluate the end-to-end...
Suggested
Odd job
Full time
Work experience placement
Nuro
Remote
1 day ago
Staff Software Engineer, Intelligence Tooling and Enablement
$165k - $220k
...platform team dedicated to introducing and enabling various AI based solutions to the entire engineering organization. This Team will be focused on defining a vision and modernize software development process by creating services, adjusting processes, documentation, or...
Suggested
Full time
Work at office
Flexible hours
Night shift
Outreach
Remote
1 day ago
Staff Software Engineer
$220k - $260k
...Staff Software Engineer Location: Hybrid- Palo Alto Office Tuesday/Thursday The difference you will make We are looking for a Staff Fullstack Engineer to serve as a technical pillar within our Engineering Org. As we scale, you will be a hands-on technical driver...
Suggested
Full time
Part time
H1b
Work at office
Immediate start
Flexible hours
Midi Health
Remote
1 day ago
Staff Software Engineer
$160k - $190k
...The position: We're looking for a talented Staff Software Engineer to join our Agentic Platform team—the group responsible for building the company-wide infrastructure that enables every engineering team to safely build AI-powered features. This is a rare opportunity...
Suggested
Full time
Work at office
A Place For Mom
United States
1 day ago
Staff Software Engineer, Payments
$185k - $215k
...scope of payments at Quizlet. We are at the intersection of engineering, business, and compliance, which means you’ll have the chance... ...drive key business outcomes. About the Role: As a Staff Software Engineer on the Payments team, you will play a pivotal role...
Suggested
Full time
Work at office
Quizlet
San Francisco, CA
1 day ago
Staff Software Engineer, AI & App Experience
$223k
...About the Role Chime is looking for an Engineering Manager to lead one of the teams building Jade, our AI-powered financial assistant... ...natural, reliable, and trustworthy. We're looking for a Staff Software Engineer to help design, build, and ship member-facing AI...
Full time
Work at office
Local area
Remote work
Shift work
Night shift
Chime Financial
New York, NY
1 day ago
Staff Software Engineer
...At Compound Planning, we're building the next-generation financial planning platform, and we need software engineers to help deliver that vision. As a Staff Software Engineer , you will play a crucial role in delivering a best-in-class experience that empowers...
Full time
H1b
Shift work
Compound Planning, Inc.
Remote
1 day ago
Staff Software Engineer, Lending Products
$265k - $330k
...We're looking for an experienced backend engineer to join our Lending Products team in San... ...and features quickly and reliably. As a Staff engineer, you'll lead ambiguous, cross-... ...care deeply about building high-quality software and take immense pride in your craft. ~...
Full time
Work from home
Flexible hours
Parafin
San Francisco, CA
1 day ago
Staff Software Engineer
$226.67k - $273.1k
...Build Babylist is rebuilding how we make software around one belief: AI changes everything... ...an idea becomes working software. Our engineers own problems end to end, work directly... ...What the Role Is Babylist is hiring Staff Software Engineers to join an 85-person...
Remote job
Full time
Work at office
Flexible hours
Babylist, Inc
Remote
1 day ago
Staff Software Engineer
$140k - $190k
...sensitive decisions. Our platform runs across multiple classification levels and deployment environments. We are seeking a Staff Software Engineer to join our team. What you will do: Build data infrastructure and platforms using streaming frameworks such as Apache...
Full time
Live in
Raft Company Website
Remote
1 day ago
Staff Software Engineer, Money Partnerships
...Replit is the agentic software creation platform that enables anyone to build applications using natural language. With millions of... ...creation. About the role This is a zero-to-one Product Engineering role on Replit's Money team. You'll bring our financial partnerships...
Full time
Temporary work
Work at office
Worldwide
Flexible hours
Replit
Remote
1 day ago
Staff Software Engineer, Payments (Entrata, Inc., Lehi, UT)
...architecture and provide technical guidance to distributed engineering teams through code reviews, documentation, and knowledge sharing... ..., and long-term scalability when designing and implementing software components. Implement monitoring, logging, and testing mechanisms...
Full time
Contract work
Remote work
2 days per week
Entrata
Remote
1 day ago
Staff Software Engineer, AI & Strategy
$193k - $309k
...helping business owners operate, increase sales, engage customers, and keep employees happy. Toast is looking for a hands-on Staff Software Engineer to join the AI & Strategy Engineering team. In this role, you will be a primary builder of 0-to-1 tools designed to...
Full time
Local area
Flexible hours
Shift work
Toast
Remote
1 day ago
Staff Software Engineer, Cluster Orch (SUNK)
$207k - $275k
...boundaries of what’s possible with AI. What You’ll Do As a Staff Engineer (IC5), you will be a technical leader shaping the long-term... ...workloads. Who You Are ~8–12 years of professional software engineering experience. ~ Proven track record designing and...
Permanent employment
Full time
Temporary work
Casual work
Work at office
Flexible hours
Core Weave
Remote
1 day ago
Staff Software Engineer
...allowing you to focus on high-impact architectural and strategic engineering challenges. Three reasons to apply: Impact : Your... ...guidance What You’ll Bring: ~8+ years of professional software development experience ~3+ years of experience contributing...
Full time
Temporary work
Work at office
Local area
Immediate start
Flexible hours
Realtor
Austin, TX
1 day ago
Staff Software Engineer, Communication & Connectivity
...product features. You’ll be at the center of cross-functional collaboration, bridging backend, frontend/client, and machine learning engineering teams. CnC is applying GenAI and large language models (LLMs) to power products that enhance the Airbnb experience in various...
Remote job
Full time
Casual work
Live in
Work at office
Airbnb, Inc.
United States
1 day ago
Staff Software Engineer, Applied Training
$165k - $242k
...workload orchestration at scale. Not just deploying things to Kubernetes or cluster administration. ~ Excited about rigorous engineering, but enabled by AI based workflows. ~ You understand what makes researchers productive. Code distribution matters. Fast iteration...
Permanent employment
Full time
Temporary work
Casual work
Work at office
Remote work
Flexible hours
Coreweave
Remote
1 day ago
Staff Software Engineer, Command and Control
$150k - $180k
...Staff Software Engineer, Command and Control About Us: BlackSky is a real-time intelligence company. We own and operate the world's most advanced space-based intelligence platform and provide customers satellite imagery, automated analytics and high-frequency monitoring...
Permanent employment
Full time
Remote work
Flexible hours
Black Sky Inc
Remote
1 day ago
Staff Software Engineer - Full Stack
...Speridian Technologies is recruiting for a Staff Software Engineer - Full Stack for our State of California Client, the Department of Healthcare Services, Behavioral Health. This person will be part of a long-term, fully budgeted, state-of-the-art, extremely vast technical...
Remote job
Full time
Monday to Friday
Speridian Technologies
Remote
1 day ago
Staff Software Engineer, Maritime
$220k - $292k
...Maritime Division has assembled a diverse team of experts in software, robotics, artificial intelligence, sensor fusion, and data... ...the future of defense capability. ABOUT THE JOB Staff Software Engineers lead the delivery of a variety of software integrated in to...
Full time
Work experience placement
Immediate start
Remote work
Flexible hours
Anduril
Remote
1 day ago
Staff Software Engineer
$100 per hour
...experience to life. These businesses have historically run off of software that doesn't meet their needs, spreadsheets, or even memory.... ...building polished UIs to distributed systems design. As a Staff Engineer, you'll also work to improve predictability and accelerate...
Full time
Work at office
Work from home
Goodshuffle Pro
United States
1 day ago
Staff Software Engineer
...it was how we deeply understood the complexity needed to build software that actually works in regulated industries. The results... ...of our vision to transform regulated industries and beyond. Engineering at Valon We are building a world-class engineering team to...
Full time
Work at office
Local area
Remote work
Flexible hours
Valon Tech
Remote
1 day ago
Senior/Staff Software Engineer ($120,000 - $200,000) at Innovative healthtech startup
$120k - $200k
...our customers. She will pick the best candidates from Jack's network The next step is to speak to Jack . Senior/Staff Software Engineer Salary: $120,000 - $200,000 Company Description: Innovative healthtech startup Job Description: Join a...
Full time
Jack & Jill/external Ats
Remote
1 day ago
Senior/Staff Software Engineer - Ride and Fleet Services
$219k - $300k
...We are looking for a Staff Software Engineer to lead the development and scaling of our cloud services and APIs that handle ride hailing for Zoox’s production-grade robotaxi service. These services include dispatch, routing, payments, mobile APIs, telemetry processing...
Full time
Temporary work
Relocation package
Zoox
Remote
1 day ago
Staff Software Engineer (Ruby/Rails)
$182k - $200k
...Challenges You Will Solve The Red Canary engineering team builds and operates the platform... .... You understand and leverage proven software development patterns, and also recognize... ...refactoring. We are searching for a Staff Software engineer to join us in building...
Full time
Work at office
Remote work
Worldwide
Flexible hours
Red Canary
Remote
1 day ago
Staff Software Engineer, Multiverse
$238k - $302k
...simulation across 15+ U.S. states. As the Tech Lead for the software-fault release evaluation team, lead the development of the end... ...provided by the “virtual driver’s test”. Work with partner engineering and data science teams to answer whether the results of the “virtual...
Full time
Remote work
Waymo
Remote
1 day ago
Staff Software Engineer, Deep Learning Acceleration
$171k - $247k
...make our roads safer, get crucial goods where they need to go, and make mobility more efficient and accessible for all. As a Staff Software Engineer focusing on Deep Learning Acceleration at Aurora, you will play a pivotal role in enhancing the performance of Deep...
Full time
Aurora Innovation
Remote
1 day ago
Staff Software Engineer - Authentication & API
...more information, visit The Role We’re looking for a Staff Full-Stack Engineer to lead end-to-end delivery and drive technical direction... ...you own. What You’ll Bring ~8+ years of professional software engineering experience, including demonstrated Staff-level...
Full time
Flexible hours
Orum
San Francisco, CA
1 day ago
Staff Software Engineer - Full Stack
$180k - $195k
...achieved this growth profitability and efficiently, ensuring long-term stability. About the Role CharterUP is seeking a Staff Software Engineer - Full Stack to architect, implement, and own a wide variety of customer-facing software systems powering our two-sided...
Full time
Temporary work
Work at office
Local area
Remote work
Monday to Friday
Flexible hours
Charterup
Austin, TX
1 day ago
Staff Software Engineer, IAM
$188k - $275k
...became a publicly traded company (Nasdaq: CRWV) in March 2025. Learn more at What you'll do As a Staff Software Engineer on the Identity & Access Management (IAM) team, you will be a primary architect of CoreWeave's IAM strategy as we rapidly...
Permanent employment
Full time
Temporary work
Casual work
Work at office
Immediate start
Remote work
Flexible hours
Coreweave
New York, NY
1 day ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Staff Software Engineer. Be the first to apply!