Lead Software Engineer - Logic Synthesis at Cadence Design Systems (Shanghai)