Synthetic Minds

Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stealth and are currently in the process of doing user studies. All these people will get exposed to a bleeding-edge program synthesis stack, so there is opportunity for significant technical learning. We are an all engineering team (including 3 PhDs and 2 ex-Googlers) backed by YC, Khosla, and Pantera.