Z3 theorem prover Jobs - April 2019
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.
-
Synthetic Minds
Engineer #5
Posted 7 years, 2 months ago
The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a system in production that reads/writes smart contracts…
Roles
Tech stack
Location
SF, Seattle
Compensation
$120k+ | commensurate equity
-
Synthetic Minds
Software engineer: Smart contracts
Posted 7 years, 3 months ago
The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a system in production that reads/writes smart contracts…
Roles
Tech stack
Location
SF, Seattle
Compensation
$120k+ | First 5 engineers: commensurate equity
-
Synthetic Minds
Software engineer: Smart contracts
Posted 7 years, 4 months ago
The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems; but never gets to use it in their day job. Synthetic Minds will allow you to leverage your technical chops. Synthetic Minds is building program synthesi…
Roles
Tech stack
Location
SF, Seattle
Compensation
$120k+ | First 5 engineers: commensurate equity