Remote Software Engineer: Program Synthesis at Synthetic Minds Open Startup
RSS
API
Remote HealthPost a job

find a remote job
work from anywhere

The largest collection of Remote Jobs for Digital Nomads online. Get a remote job you can do anywhere at Remote Companies like Toptal, Zapier and Automattic who embrace the future. There are 42,750+ jobs that allow you to work anywhere and live everywhere.

The largest collection of Remote Jobs for Digital Nomads online. Get a remote job you can do anywhere at Remote Companies like Toptal, Zapier and Automattic who embrace the future. There are 42,750+ jobs that allow you to work anywhere and live everywhere.

Remote HealthPost a job

  Jobs

  People

👉 Hiring for a remote position?

Post a job
on the 🏆 #1 remote jobs board
The first health insurance for remote startups
A fully equipped health insurance that works for all your global employees
The first health insurance for remote startups
A fully equipped health insurance that works for all your global employees

Synthetic Minds


Software Engineer Program Synthesis

verified
San Francisco, Seattle / Remote

Software Engineer Program Synthesis


Synthetic Minds

San Francisco, Seattle / Remote

dev

 

engineer

 

digital nomad

 

y combinator

 

dev

 

engineer

 

y combinator

 
This job post is closed and the position is probably filled. Please do not apply.
\n\n\nYou 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.\nQualifications:\nMinimum:\n\n\n* Bachelors or masters in Computer Science.\n\n* 3+ years of experience with the state-of-the-art in program synthesis.\n\n\n\nPreferred:\n\n\n* Masters or PhD in Computer Science.\n\n* Experience with the Z3 theorem prover.\n\n* Experience with building program synthesizers (academic, or commercial).\n\n\n\nCompensation and Benefits\n\n\n\n\n\nWe 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:\n\n* Excellent benefits. We provide the best medical, dental, and vision insurance available covering 95% for you and 50% for your dependents.\n\n* Excellent compensation package for salary and equity. We will put together the right package based on your profile and your needs.\n\n* 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.\n\n* Excellent work setup. We provide an ergonomic work setup for you to be as productive as possible.\n\n\n\n\n#Location\nSan Francisco, Seattle / Remote


See more jobs at Synthetic Minds

# How do you apply?\n\n This job post is older than 30 days and the position is probably filled. Try applying to jobs posted recently instead.
FeedbackIf you find a bug, or have feedback, write it here. Please no job applications in here, click Apply instead! If you want to advertise, we do not do CPA/aff/perf ads ever.Thanks for the message! We will get back to you soon.

[Spam check] What is the name of Elon Musk's company going to Mars?

Send feedback