"symbolic model checking" Jobs
6 open tech roles matching “symbolic model checking”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: AutoCAD, Rhino, NX. Every listing is re-checked daily and closed roles are removed.
Showing 6 of 6 results
Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.
Join SpaceX as a PCB Designer to create advanced electronics for the Starship team and contribute to making humanity multi-planetary.
Join Saronic Technologies as a Structural Build Engineer to design and construct autonomous surface vessels with a focus on structural integrity.
Join SpaceX as a Sr. PCB Designer to create advanced electronics for the Starship mission and help make humanity multi-planetary.
Lead the build and integration of maritime Autonomous Service Vessels, focusing on high-quality production and efficient design methods.
Join Saronic Technologies as a Shipyard Production Engineer to enhance maritime operations through autonomous surface vessels.