Software Engineer: Program synthesis Remote