Staff Software Engineer, Constraint Generation at Stack AV — JAOS