Role AI Engineer Formal Methods & Software Correctness
Compensation $150k - $200k Offers Equity
Location Flexible PT overlap required
Apply [email protected] Send me your best work

About Us

Workers IO (workers.io) is building AI agents that verify and enforce software correctness. We combine formal methods, program analysis, and practical tooling to help engineering teams ship reliable software with machine‑checkable evidence of correctness.


Role Summary

We’re seeking a hands‑on Engineer to design and build models that automate software verification. You’ll integrate LLMs with static analysis, model checking, symbolic execution, and contract systems to produce proofs, test artifacts, and compliance reports that stand up in real‑world certification environments.


Key Responsibilities


Minimum Qualifications