Synthetic Minds (YC S18) | SF + Seattle | $120k+ | Engineer #5: commensurate equity | ONSITE, Full Time
The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds will allow you to leverage your technical chops.
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.
In Oct 2018, we raised a $5.6M seed round from Y Combinator, Khosla Ventures and Pantera Capital [3]. We have paying customers and a backlog waiting to be on-boarded. This is the founder’s second startup and they have a PhD in the area. The 1st employee was the first hire at Parse (YC S11) and has 10 yrs at Google. We are currently hiring engineer #5, and aim to be a 15 person all-engineering team in 2019.
Roles/Openings [1]:
* Systems/infrastructure engineer — You’ll be working on distributing heavy CPU processes on AWS. Making sure processes run reliably over many days. Ensure robustness of the infrastructure across node/process/memory/algorithm failures.
* Compilers/verification/synthesis engineer — You’ll be working on developing new algorithms that analyze and generate code [2]. You’ll identify when an engineering solution is needed (i.e., throw across a cluster of machines), or when an algorithmic improvement is required. You might even play with the Z3 theorem prover. And if you’re really into it, you can improve Z3.
* Smart contract engineer — You'll be working on the front-end of the compiler, which reads in smart contracts languages (e.g., Solidity) and makes it accessible to the backend (the part that does semantic analysis).
Contact: REDACTED_EMAIL - Saurabh, Founder
[1] Synthetic Minds Jobs: <a href="
[2] Program synthesis: <a href="
[3] Forbes funding article: <a href="
Ask HN: Who is hiring? (April 2019)