Compiler Optimizations - 3+ Stellen

SpiNNcloud Systems

SpiNNcloud Systems is offering a fully funded PhD position focused on developing next-generation High-Performance Computing approaches for large-scale optimization workloads. The project investigates how brain-inspired, massively parallel architectures can serve as a new class of energy-efficient HP

FZI Forschungszentrum Informatik

— Gestalte die Zukunft mit uns als Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen Stundenbasis | Befristet | Karlsruhe | ab sofort Rocq, Theorembeweiser, Compiler, Optimierungen, formale Verifikation Du hast Lust, in einem innovativen Forschungsumfeld zu arbeite

The ANE Software team develops the compiler and runtime for machine learning accelerators on Apple Silicon DESCRIPTION As a lead compiler engineer in the Apple Neural Engine Software team, you will be expected to - Analyze, design and implement software interfacing with the hardware for artificial i