Multiple Positions

Formal | Remote | 1mo ago

This role has closed. Here are similar open builder roles:

1.	Technical Co-Founder (Dealiyo) United States \| remote \| full-time \| executive \| full-stack engineering, ai, llms \| 1mo ago
2.	Senior Software Engineer, Data Platform (Juniper Square) United States+8 \| $165,000 – $200,000/yr \| remote \| full-time \| senior \| backend services, data pipelines, api design \| 1mo ago
3.	Senior Full Stack Product Engineer (Hopper) Mexico+1 \| remote \| full-time \| senior \| scala, gcp, react \| 1mo ago
4.	Senior Full Stack Product Engineer (Hopper) Argentina \| remote \| full-time \| senior \| scala, gcp, react \| 1mo ago
5.	Ingénieur·e de produit fullstack senior (Hopper) Canada \| CA$200,000 – CA$300,000/yr \| remote \| full-time \| senior \| scala, gcp, react \| 1mo ago
6.	Founding Engineer, (Construction Operations) (Marble) Bristol, United Kingdom+2 \| remote \| full-time \| lead \| software engineering fundamentals, cs foundations, data structures \| 1mo ago
7.	Forward Deployed Engineer (Cargo) United States+1 \| $148,000 – $275,000/yr \| remote \| full-time \| lead \| python, typescript, go \| 1mo ago
8.	Full Stack Software Engineer - Insight Analytics (CCT) United States \| remote \| full-time \| senior \| typescript, react, aws lambda \| 1mo ago
9.	Staff AI Builder (AI Native Mobile Engineer), Family AI Lab (Life360) United States+1 \| $190,000 – $280,000/yr \| remote \| full-time \| senior \| react, swift, kotlin \| 1mo ago
10.	Staff AI Architect, Family AI Lab (Life360) United States+1 \| $197,000 – $290,000/yr \| remote \| full-time \| lead \| llm serving, vllm, tgis \| 1mo ago

browse all open builder jobs →

Original posting (closed) below

full-time | remote

skills: compilers, programming languages, formal verification, formal methods, ebpf, serverless networking, data isolation, memory isolation, resource isolation

We're building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. This includes designing and building a production language in a way that's never been done before, with complete, mechanized formal specifications and a certifying compiler from the start. Our immediate goals include an alternative to eBPF and building the world's first serverless networking infrastructure.

We are VC funded with runway for multiple years. The team is composed of PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo.

We are currently hiring for the following positions:

- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification ($175k - $250k + ≥ 0.4%)

- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.2%)

- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.1%)

- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages ($10k / month)

Please see [5] for general information. Apply via our job board [6].

[0] https://formalstack.com

[1] https://formalstack.com/jobs/05-2026/staff-software-engineer...

[2] https://formalstack.com/jobs/05-2026/formal-verification-eng...

[3] https://formalstack.com/jobs/05-2026/software-engineer-v.pdf

[4] https://formalstack.com/jobs/05-2026/formal-methods-phd-inte...

[5] https://formalstack.com/jobs/info.pdf

[6] https://jobs.gem.com/formal

Benefits

equity · health insurance

Get new builder jobs daily: