Roles

Engineer

Compensation Summary

commensurate equity and salary

Locations

SF, Seattle

Contacts

saurabhs@synthetic-minds.com

Description

Synthetic Minds builds program synthesizers, i.e., automation that can write code. There is two decades of research that forms the backbone of this tech. The founder has a PhD in the domain, and the CTO is an ACM Fellow with 20+ years of work in Program Synthesis. We have raised $5.6M from YC, Khosla Ventures, and Pantera Capital. We are an all engineering team, and are looking for engineer #7, ideally with a masters or PhD (or built a relevant well-known project.) Programming languages, compilers, formal methods, SMT solving (Z3) are relevant topics for us.

Similar Jobs

Create your own personalized Job Alert