Careers at Sigil Logic
Build systems people can actually trust.
We’re assembling a small, rigorous team to make formal methods and model-based engineering practical in the workflows engineers already use.
Join the team
Open roles
Software Formal Methods Engineer
Turn formal-methods expertise into dependable tools, agent workflows, and verified software for demanding real-world systems.
Hardware and Firmware Formal Methods Engineer
Build formal-verification capabilities across architecture, RTL, firmware, and the boundary between them.
Systems Engineer — Model-Based & Formal Methods
Turn mission intent into precise, analyzable models and carry it through requirements, architecture, implementation, and evidence.
About Sigil Logic
How we work.
You’ll work directly with people who have spent their careers building high-assurance systems, with real influence over our product, methodology, and engineering culture.
We’re headquartered in Portland, Oregon, and work as a fully distributed organization. Being in Portland is welcome, but we won’t let geography keep us from the right person.
Introduce yourself