Formal Verification Intern
Share
Job Location:
Monthly Salary:
Posted on:
30+ days ago
Vacancies:
1 Vacancy
Job Summary
In this highly visible role you will be at the centre of a System-on-a-chip (SoC) design verification effort collaborating with design with a critical impact on getting high quality and bug-free functional products to millions of customers working on complete formal verification for single or multiple design blocks and IPs you will collaborate with members of the team. Please read key responsibilities below to achieve desired internship opportunities in the UK are available for 3-6 months at our London Bishopsgate site.
- Strong background in logic or mathematics
- Experience developing rigorous proofs
- Good knowledge of at least one programming language
- Excellent problem solving and interpersonal skills
- Strong written and verbal communication in English
- Currently enrolled in penultimate year of a Masters or PhD Degree program in Computer Science Computer Engineering Mathematics Electronic Engineering or a related field.
- Understanding of formal methods/formal verification for real-world systems
- Understanding of computer architecture and operating systems
- Understanding of algorithms data structures and programming paradigms
- Experience with Theorem Provers such as Lean Rocq or Isabelle
- Experience using Generative AI for improving the productivity or quality of your work
Required Experience:
Intern
Key Skills
- Campaigns
- Abinitio
- AutoCAD 3D
- Hardware & Networking
- Customer Support
- Arabic
About Company
We at AppleOne have one true belief. We believe in people. Since 1964, we have connected the best people, their talents, skills, career goals, and aspirations with the best companies. We are Career Gurus. We are People-People. Let us introduce you!
