Founding Engineer

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.

The thinking behind these roles is in the Symbolia dossier.

• 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.

• 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.

Answer in 2-3 dot points for each question. No AI assistance.

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 efficient as a founding team member?

Email your answers to billy@symbolia.ai with the role in the subject line.