View on Hacker News
Roles
Compensation
commensurate equity and salary
Tech stack
Location
SF, Seattle
Work setup
- Employment
- Full-time Employee
- Level
- Mid-level
Contact
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
-
Loading similar jobs...