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.
Qualifications:
Minimum:


* Bachelors or masters in Computer Science.

* 3+ years of experience with the state-of-the-art in program synthesis.



Preferred:


* Masters or PhD in Computer Science.

* Experience with the Z3 theorem prover.

* Experience with building program synthesizers (academic, or commercial).



Compensation and Benefits





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:

* Excellent benefits. We provide the best medical, dental, and vision insurance available covering 95% for you and 50% for your dependents.

* Excellent compensation package for salary and equity. We will put together the right package based on your profile and your needs.

* Choose your work style. (a) We have been WFH and work very effectively remotely. (b) We have an open vacation policy. Take what you need to recharge. Everybody is required to take a two week minimum. (c) Paid parental leave.

* Excellent work setup. We provide an ergonomic work setup for you to be as productive as possible.


yagJzhkdapAsCMnUw7CpJAMi

#Location
- San Francisco, Seattle / Remote