Your mission 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.
• We know our capacity.




• Nothing fails silently.
• What we learn verifying ourselves ships to customers through the API. Your competancies
• Comfortable owning real machines.
• Understands build and release systems deeply.
• Thinks in formal terms.
• Has run AI agents at scale.
• Accountable for outcomes.
• Formal methods knowledge. Application process Answer in 2-3 dot points for each question 1. What extraordinary things have you done in your life? 2. Why are you the best person in the world for this specific role? 3. How would you make Symbolia 100x bigger, faster and more productive, as a founding team member? Apply: https://symbolia.ai/careers/engineer

📌 Founding Engineer (Sydney)
🏢 Symbolia
📍 Sydney