Senior R&D Engineer - Formal Verification & EDA Tools

A global technology leader is seeking a Senior R&D Engineer to enhance formal verification tools and develop new product features. The role demands expertise in C++ and formal algorithms such as model checking and SAT solvers. Candidates should have a Master's or PhD in Computer Science or Engineering and at least five years of relevant experience. This full-time position involves collaboration with customers to resolve tool issues in a hybrid working environment, contributing significantly to product advancement and innovation.#J-18808-Ljbffr