4 ms·

Synthetic Minds (YC S18) | REMOTE (for the moment) | $125k-$180k | 7th team member: engineer/designer Synthetic Minds is building program synthesizers, i.e., a

Synthetic Minds (YC S18) | REMOTE (for the moment) | $125k-$180k | 7th team member: engineer/designer 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. Our hiring needs over the next month are: - Full stack / frontend engineer - Generalist - Passively looking: UI/UX designer Details on positions we are actively hiring for are on: https://www.workatastartup.com/companies/1873 https://www.workatastartup.com/companies/1873 The engineering team works all the way from the front end to the bleeding-edge backend program synthesis stack, so there is opportunity for significant technical learning. Our team includes 3 PhDs and 2 ex-Googlers, and people with 10+ years of experience. We are backed by YC, Khosla, and Pantera. This is my 2nd YC startup. Our team of 6 is split across SF + Seattle, and if you are remote we'd prefer the US to maximize time-zone overlap. Contact me at saurabhs@synthetic-minds.com

Zenbit_UX 6y ago
I always hoped that devs were smart enough not to automate away our own jobs, I guess capatalism wins over self preservation in your case.
- saurabh20n 6y ago
  There are 26-29M software developers in the world [1], which accounts for less than 0.9% of the global workforce. We can do with making programming more accessible. [1] https://www.daxx.com/blog/development-trends/number-software-developers-world https://www.daxx.com/blog/development-trends/number-software...
- agentultra 6y ago
  There are good reasons to need program synthesis in our industry. There are domains in programming where the cost of errors is too high. Being able to specify requirements in a high-level language and synthesize the program from the specification would prove that there are no errors in the resulting program, assuming you trust the kernel, and bring the resulting cost of producing code that is free of those kinds of errors way down. An example would be programming authorization control systems. Some enterprises require a stunning level of complexity that testing all the different combinations of authorization rules would be infeasible. Instead, if we can specify the rules in a rich type system, we can synthesize the program that implements the rules. Such a program would be, "correct by construction." Take a look at projects like Synquid [0] -- it's a really cool idea. [0] https://www.csail.mit.edu/research/synquid-synthesis-liquid-types https://www.csail.mit.edu/research/synquid-synthesis-liquid-...
ilovejs 6y ago
I don't understand why having a "Googler" on your team should boost your credibility?

Zenbit_UX 6y ago

I always hoped that devs were smart enough not to automate away our own jobs, I guess capatalism wins over self preservation in your case.

saurabh20n 6y ago
There are 26-29M software developers in the world [1], which accounts for less than 0.9% of the global workforce. We can do with making programming more accessible. [1] https://www.daxx.com/blog/development-trends/number-software-developers-world https://www.daxx.com/blog/development-trends/number-software...
agentultra 6y ago
There are good reasons to need program synthesis in our industry. There are domains in programming where the cost of errors is too high. Being able to specify requirements in a high-level language and synthesize the program from the specification would prove that there are no errors in the resulting program, assuming you trust the kernel, and bring the resulting cost of producing code that is free of those kinds of errors way down. An example would be programming authorization control systems. Some enterprises require a stunning level of complexity that testing all the different combinations of authorization rules would be infeasible. Instead, if we can specify the rules in a rich type system, we can synthesize the program that implements the rules. Such a program would be, "correct by construction." Take a look at projects like Synquid [0] -- it's a really cool idea. [0] https://www.csail.mit.edu/research/synquid-synthesis-liquid-types https://www.csail.mit.edu/research/synquid-synthesis-liquid-...

ilovejs 6y ago

I don't understand why having a "Googler" on your team should boost your credibility?