SMT solvers Jobs - May 2022
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Draper Laboratory
Formal Methods Engineers at all levels
Posted 4 years, 1 month ago
Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.
Tech stack
Location
Cambridge
-
JITX
Algorithmics Software Engineer
Posted 7 years, 6 months ago
The vision of JITX is to fully automate hardware design to advance science and the welfare of humanity. Our first step is to automate circuit board design. We are a profitable seed-stage startup, backed by Y Combinator and Sequoia. We are looking for a brilli…
Tech stack
Location
Berkeley
-
Cyient
Software Quality Assurance Engineer
Posted 7 years, 7 months ago
CertSAFE is a software suite developed by Cyient for designing, simulating, verifying, and validating safety-critical systems. Team works on programming language theory, graph theory, UI design, concurrent/parallel software, and test automation. Development u…
Location
Melbourne, FL, Bangalore, India
Compensation
No salary specified. Visa assistance available. Roles require travel to Melbourne, FL for 90-180 days for training. Benefits not detailed.