You will work on the core program synthesis product and improve it. This includes scaling the synthesizer: algorithmic and through distributing work over clusters, and making it work with under-specified problems.
We value our team, and we value diversity. We’re a small knit group with less than 10 employees, and we funded with a good runway. Our compensation plan is designed to reward our employees and support their families as much as possible, for a company at our stage. We have: