View on Hacker News
Roles
Compensation
USD 120000
$120k+ | commensurate equity
Tech stack
Location
SF, Seattle
Work setup
- Employment
- Full-time Employee
- Level
- Mid-level
Contact
Saurabh
saurabhs@synthetic-minds.com
Description
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 in Ethereum's Solidity language, and we use it to ensure our customer's code is secure and correct. Eventually, we plan on going far beyond smart contracts. Think of what we are building as a compiler that takes code and translates it to theorem proving, so that we can build automation that can understand code almost as close to a human. If it can understand code, with sufficient compute it can even synthesize it.
Similar jobs
-
Loading similar jobs...