The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a system in production that reads/writes smart…