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 fast, 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).
#J-18808-Ljbffr
Founding Engineer in Sydney employer: Symbolia
Symbolia offers a dynamic work environment where employees can engage in pioneering software engineering projects powered by AI agents. The company emphasizes professional growth, with opportunities to work on cutting-edge technology that ensures safety and reliability in industrial applications. Employees benefit from competitive compensation packages, including salary and equity options, fostering a culture of innovation and collaboration.
