Finding the best job has never been easier
Apple Formal Verification Intern United Kingdom, England, St Albans 514119088
18.11.2024
Share
Minimum Qualifications
- Good knowledge of formal logic and automated reasoning
- Good knowledge of C, C++ or Python.
- Strong problem solving and interpersonal skills
- Strong written and verbal communication in English
- Currently enrolled in penultimate year of Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
Preferred Qualifications
- Our internship opportunities in the UK are available only for St Albans location.
- Currently enrolled in penultimate year of Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
- Knowledge of SML or other functional languages a plus
- 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
These jobs might be a good fit
