The Logic Equivalence Check Engineer will develop and improve logical equivalence check flows, debug processes, and collaborate with design teams and tool vendors. Responsibilities include building automation for formal verification, creating custom solutions, and maintaining in-house CAD tools.