המקום בו המומחים והחברות הטובות ביותר נפגשים
Apple Software Formal Verification Engineer Germany, Bavaria, Munich 220280663
18.11.2024
Minimum Qualifications
- Deep knowledge of formal logic and automated reasoning
- Good knowledge of C, C++ or similar languages.
- Strong experience using interactive theorem provers (Isabelle a plus)
- Good knowledge of SML or other functional languages
- Understanding of formal methods/formal verification for real-world systems a plus
- Understanding of computer architecture and operating systems a plus
- Understanding of general programming languages paradigms a plus
- Strong problem solving and interpersonal skills
- Strong written and verbal communication in English
Preferred Qualifications
- Completed Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
משרות נוספות שיכולות לעניין אותך
