Senior Formal Verification Engineer jobs at Apple in Germany, Munich

Are you an experienced engineer looking for a challenge? As the Senior Formal Verification Engineer, you will play a vital role in Apple’s Engineering team in Munich. You will be joining a high-performing, hard-working team and get the chance to be part of the most innovative products, services, and experiences. We are looking for a highly motivated engineer to help design, develop, and maintain state-of-the-art development processes that enable Apple’s continued success. You will be tasked with verifying the correctness of designs and circuits created by the engineering team. This involves using formal verification methods like theorem proving, model-checking and static analysis to identify errors and potential bugs in the designs. You will create formal verification artifacts and provide feedback to ensure excellent quality and robustness of our products. As a Senior Formal Verification Engineer, you will have a strong understanding of the best practices in formal methods and should know how to apply them in a practical manner. This is an exciting opportunity for those passionate about engineering and problem-solving. If you’re looking for a place to further your skills and make a real influence on up and coming technologies, then this is your chance. We look forward to hearing from you soon.