At Symbolia, we are pioneers in a new age of software engineering. Our development is run by AI agents, because our business is formally verifying software across the economy, especially in physical industry, to make intelligence safe to put to work. What we learn verifying ourselves ships to customers through our API.

As a founding engineer, your mission is to orchestrate our agentic development pipelines via quick, efficient virtual machine routines, accelerate CI and internal formal verification pipelines, and harden our development system for scale.

Your outcomes

- The development system runs itself.
- A change ships only when what it claims has been proven.
- The gate gets faster every month.
- Every checker and release is independently tested before it ships.
- Our measurements can change our plan.
- Nothing fails silently.
- What we learn verifying ourselves ships to customers through the API.
- Understands build and release systems deeply.
- Thinks in formal terms.
- Has run AI agents at scale.

Compensation

AUD 150–220k salary, plus share options of 1–2% (equivalent to about AUD 35–70k a year).

📌 Founding Engineer (Sydney)
🏢 Symbolia
📍 Sydney