View on Hacker News
Roles
Tech stack
Location
San Francisco, CA
Work setup
- Employment
- Full-time Employee
- Level
- Senior
Description
We're building program synthesizers, i.e., automation that can write code. We have an MVP in production that reads/writes smart contracts (small, permanent apps) in Ethereum's Solidity language, used to ensure customers' code is secure and correct. Synthesis could eventually enable access to code for non-programmers. For now the goal is: customers give source code for their contract (Ethereum apps, self-contained); we use synthesis to generate another contract/app that demonstrates any problematic interaction. Backed by Y Combinator, Khosla Ventures and Pantera Capital. We have paying customers, a backlog waiting to be onboarded, and are profitable. Ideal candidate will have an MS or PhD in program synthesis, formal methods or related fields. Also looking to fill other roles.
Similar jobs
-
Loading similar jobs...