Posted 5 years, 1 month ago
Roles
EngineerCompensation 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