Apple conçoit des appareils électroniques, des systèmes d'exploitation et des services numériques, dont l'iPhone, le Mac et l'App Store.
Formal Verification Intern
Am I a fit — voir ma compatibilitéApple recherche un stagiaire en vérification formelle pour contribuer à la vérification de conceptions graphiques et de blocs matériels. Le poste comprend la définition de plans de vérification, la preuve de propriétés, la recherche de bugs et la conception d’outils et de modèles formels réutilisables. Le stage de 3 à 6 mois se déroule sur le site de London Bishopsgate et s’adresse notamment aux étudiants en deuxième année de master ou en doctorat dans un domaine pertinent.
Repères sur Apple
- Domaine officiel
- apple.com
- Offres ouvertes
- 40
Détails de l’offre
La description complète publiée par Apple.
Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, amazing people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it.
Join us to help deliver the next groundbreaking Apple product. In this highly visible role, you will be at the centre of the Apple Graphics design verification effort collaborating with design, with a critical impact on getting high quality and bug-free functional products to millions of customers quickly. While 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 outcomes.
Develop formal verification plans Prove properties, find bugs and improve architectures together with design teams
Design novel and innovative solutions for verifying sophisticated hardware
Implement re-usable and optimised formal models and verification tools Strong background in logic reasoning 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 Master's 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 using Generative AI for improving the productivity or quality of your work Our internship opportunities in the UK are available for 3-6 months at our London Bishopsgate site.
Prérequis
- logic reasoning
- problem solving
- interpersonal skills
- formal methods/formal verification
- computer architecture and operating systems
- algorithms, data structures, and programming paradigms
D’autres offres chez Apple
39 autres offres actuellement disponibles.
Media Manager (Fixed Term Contract)
- 40 offres ouvertes
Le Media Manager rejoint l’équipe Media de Marcom pour piloter le déploiement de campagnes publicitaires sur les canaux sociaux et digitaux, à la télévision, en affichage extérieur et en Paid Search. Il évalue les plans média, les investissements et les indicateurs de campagne, tout en collaborant avec l’agence média et les équipes marketing d’Apple. Le poste est basé à Londres et proposé en contrat à durée déterminée pouvant aller jusqu’à 12 mois.
GPU Internships - Architecture Validation, Performance Modelling & Platform Architecture
- 40 offres ouvertes
Apple propose des stages au sein de son équipe GPU au Royaume-Uni, dans les domaines de la validation d’architecture, de la modélisation des performances et de l’architecture plateforme. Les missions portent notamment sur la conception de modèles C/C++, l’analyse des performances et la simulation des GPU. Le poste requiert des compétences en C ou C++, en structures de données et algorithmes, ainsi qu’une connaissance de Python, Perl ou Ruby.
GPU Internships - Architecture Validation, Performance Modelling & Platform Architecture
- 40 offres ouvertes
Apple recrute des stagiaires au sein de son équipe GPU au Royaume-Uni, dans les domaines de la validation d’architecture, de la modélisation des performances et de l’architecture plateforme. Les missions portent notamment sur la modélisation C/C++, l’analyse des performances et la conception de nouvelles fonctionnalités GPU.
GPU Internships - Architecture Validation, Performance Modelling & Platform Architecture
- 40 offres ouvertes
Apple propose des stages au sein de l’équipe GPU au Royaume-Uni, dans les domaines de la validation d’architecture, de la modélisation des performances et de l’architecture plateforme. Les missions portent notamment sur la modélisation C/C++, la vérification de fonctionnalités GPU et l’analyse des performances des GPU et SoC.
Developer Relations, Technology Evangelist
- 40 offres ouvertes
Apple recrute un Technology Evangelist au sein de l’équipe Worldwide Developer Relations pour accompagner les développeurs sur ses plateformes. Le poste porte notamment sur les frameworks Apple, Swift, SwiftUI, UIKit, l’IA et l’informatique spatiale, avec des présentations auprès de publics techniques et non techniques.
Hardware PCB Layout Engineer
- 40 offres ouvertes
Apple recherche un ingénieur en conception de circuits imprimés pour son équipe PCB à Swindon. Le poste consiste à développer des layouts PCB pour la validation de composants PMU et à collaborer avec les équipes de validation matérielle, notamment sur des cartes HDI et l’intégrité des signaux et de l’alimentation.