Status

Etherscan

Parity Technologies

Synthetic Minds

<div><div><span>Role</span></div><div>You will be working across the stack, from the front-end to our program synthesis backend. You will sit in on the UX/UI studies and take in the recommendations, and work with both the frontend and backend teams to operationalize them. You should be comfortable taking a leadership position in end-to-end features that will make a meaningful impact towards increasing the usability of our product.</div><div><span>Synthetic Minds</span></div><div>We are building techniques that auto-generate software, for specific verticals, using very little input. The tech is called <i>program synthesis</i>. We are currently in stealth-mode applying program synthesis to an enterprise use case.</div><div>We are well-funded with a 2+ year runway, and a few months away from an alpha release.</div><div>In Oct 2018, we raised a <a href="https://www.forbes.com/sites/darrynpollock/2018/10/22/investment-boost-for-synthetic-minds-helps-build-automated-smarter-smart-contracts/#34737e352a63">$5.6M seed round</a> from Y Combinator, Khosla Ventures and Pantera Capital. (Note that we are <i>not</i> working on smart contracts anymore.) This is the <a href="https://www.linkedin.com/in/saurabh-sriv/">founder</a>’s 2nd YC startup and they have a <a href="https://scholar.google.com/citations?user=aCDWjIQAAAAJ">PhD</a> in the domain, and have written <a href="https://www.sigplan.org/Awards/POPL/">the most influential paper of the last decade on this topic</a>. Other <a href="https://www.synthetic-minds.com/#Team">team members</a> include an ex-Googler with 10 yrs experience (also the first hire at Parse, YC S11), an exceptional Tufts CS major, a UCB PhD, and a UW PhD.</div><div><span>Technology</span></div><div>We are working on <a href="http://served.synthetic-minds.com/pages/conference/2019/">program synthesis</a>. Our tech stack involves work with automated theorem proving (using the <a href="https://github.com/Z3Prover/z3">Z3 solver</a>) and cutting-edge programming languages/compilers technology. The front-end does a good job of hiding the details of the hard-tech to make it accessible to enterprise customers. Most of the backend is in Python. The frontend is built in React, GraphQL, Django and related technologies.</div><div><span>Compensation and Benefits</span></div><div><i>We value our team, and we value diversity. We're a small knit group with less than 10 employees, and we funded with a good runway. Our compensation plan is designed to reward our employees and support their families as much as possible, for a company at our stage. We have:</i></div><div>• Excellent benefits. We provide the best medical, dental, and vision insurance available covering 95% for you and 50% for your dependents.</div><div>• Excellent compensation package for salary and equity. We will put together the right package based on your profile and your needs.</div><div>• Choose your work style. (a) We have been WFH and work very effectively remotely. (b) We have an open vacation policy. Take what you need to recharge. Everybody is required to take a two week minimum. (c) Paid parental leave.</div><div>• Excellent work setup. We provide an ergonomic work setup for you to be as productive as possible.</div><div><span>Qualifications</span></div></div><div><div><h3>Minimum qualifications</h3><ul><ul><li>BS and/or MS in Computer Science (required).</li><li>2+ years of experience in software engineering position (required).</li><li>Strong knowledge of CS fundamentals and the ability to apply that knowledge.</li><li>Experience with Python, Django, Amazon Web Services (AWS), C++</li><li>Adept at writing maintainable, modular, secure, and well-tested code.</li><li>Familiar with good developer practices (CI/CD, code review, unit-testing, etc.).</li><li>Substantial experience with Python 3.</li><li>Desire to learn about areas such as programming by example, compilers, automated theorem provers, code analysis, and program synthesis.</li><li>Excellent critical thinking, problem solving, and analytical skills.</li><li>Solid communications skills.</li><li>Ability to work both independently and as part of a distributed team.</li></ul></ul></div></div><div><div><h3>Preferred qualifications</h3><ul><ul><li>4+ years of software development experience.</li><li>Experience with AWS, C++, Z3, and Django a plus.</li></ul></ul></div></div><div><a href="https://jobs.lever.co/synthetic-minds/8e97541a-3e19-4c74-b4a2-49ef020cf95c/apply">Apply for this job</a></div>

Generalist software engineer

<div><div><span>Role</span></div><div>You will be building the front-end to our program synthesis backend. You will work closely with the backend team and take recommendations from the UX/UI designs to build out the frontend to Synthetic Minds' systems. You should be comfortable taking a leadership position in all things front-end.</div><div><span>Synthetic Minds</span></div><div>We are building techniques that auto-generate software, for specific verticals, using very little input. The tech is called <i>program synthesis</i>. We are currently in stealth-mode applying program synthesis to an enterprise use case.</div><div>We are well-funded with a 2+ year runway, and a few months away from an alpha release.</div><div>In Oct 2018, we raised a <a href="https://www.forbes.com/sites/darrynpollock/2018/10/22/investment-boost-for-synthetic-minds-helps-build-automated-smarter-smart-contracts/#34737e352a63">$5.6M seed round</a> from Y Combinator, Khosla Ventures and Pantera Capital. (Note that we are <i>not</i> working on smart contracts anymore.) This is the <a href="https://www.linkedin.com/in/saurabh-sriv/">founder</a>’s 2nd YC startup and they have a <a href="https://scholar.google.com/citations?user=aCDWjIQAAAAJ">PhD</a> in the domain, and have written <a href="https://www.sigplan.org/Awards/POPL/">the most influential paper of the last decade on this topic</a>. Other <a href="https://www.synthetic-minds.com/#Team">team members</a> include an ex-Googler with 10 yrs experience (also the first hire at Parse, YC S11), an exceptional Tufts CS major, a UCB PhD, and a UW PhD.</div><div><span>Technology</span></div><div>We are working on <a href="http://served.synthetic-minds.com/pages/conference/2019/">program synthesis</a>. Our tech stack involves work with automated theorem proving (using the <a href="https://github.com/Z3Prover/z3">Z3 solver</a>) and cutting-edge programming languages/compilers technology. The front-end does a good job of hiding the details of the hard-tech to make it accessible to enterprise customers. Most of the backend is in Python. The frontend is built in React, GraphQL, Django and related technologies.</div><div><span>Compensation and Benefits</span></div><div><i>We value our team, and we value diversity. We're a small knit group with less than 10 employees, and we funded with a good runway. Our compensation plan is designed to reward our employees and support their families as much as possible, for a company at our stage. We have:</i></div><div>• Excellent benefits. We provide the best medical, dental, and vision insurance available covering 95% for you and 50% for your dependents.</div><div>• Excellent compensation package for salary and equity. We will put together the right package based on your profile and your needs.</div><div>• Choose your work style. (a) We have been WFH and work very effectively remotely. (b) We have an open vacation policy. Take what you need to recharge. Everybody is required to take a two week minimum. (c) Paid parental leave.</div><div>• Excellent work setup. We provide an ergonomic work setup for you to be as productive as possible.</div><div><span>Qualifications</span></div></div><div><div><h3>Minimum qualifications</h3><ul><ul><li>BS in Computer Science from 4 year college OR 6+ years of software engineering experience doing frontend/fullstack work (required).</li><li>Strong knowledge of CS fundamentals and the ability to apply that knowledge.</li><li>Excellent critical thinking, problem solving, debugging, and analytical skills. Solid communications skills.</li><li>Ability to work both independently and as part of a distributed team.</li><li>Understanding of what’s going on within a frontend application - from low level primitives to high level abstractions.</li><li>Adept at writing maintainable, modular, secure, and well-tested code. Familiar with good developer practices (CI/CD, code review, unit-testing, etc.).</li><li>Location: We strongly prefer candidates in US timezones, and need you to be authorized to work in the US.</li></ul></ul></div></div><div><div><h3>Preferred qualifications</h3><ul><ul><li>Experience in UI Design preferred.</li><li>Experience with Figma.</li></ul></ul></div></div><div><a href="https://jobs.lever.co/synthetic-minds/60c94892-571c-40e7-82a1-09f2529aa1a8/apply">Apply for this job</a></div>

Synthetic Minds

Apply to Synthetic Minds Jobs:

Generalist software engineer

Full-stack/Frontend Engineer

Company Culture

Apply to Synthetic Minds Jobs:

Generalist software engineer

Full-stack/Frontend Engineer

Blockchain company profiles:

Status

BRD

Etherscan

Parity Technologies