This position sits close to the embedded world, but it isnt traditional microcontroller firmware work. Youll own the operating system foundation and platform layer of our IoT devices - building and evolving our next-generation embedded Linux
SummaryImagine what you could do here. Apple’s formal verification team is looking for a software formal verification engineer who is passionate about helping deliver correctness guarantees for Apple’s most critical systems through state-of-the-art formal verification methodology.
ABOUT THE TEAM We are a dynamic, international team developing a UWB-based Real-Time Locating System (RTLS) that powers solutions for industrial applications. To achieve the precision and scalability required for modern IoT solutions, we build a
As an AI Engineer (f/m/d), you will contribute to the design and delivery of enterprise‑grade Generative AI (GenAI) and Machine Learning (ML) applications that support operational workflows across the Asset Management business. This role is hands‑on