Master Thesis Exploring Formal Guarantees for Neural Network Optimizations

Robert Bosch GmbH
Full-time Renningen, Baden-Württemberg Computer Occupations
Posted:
June 12, 2026
Location:
Renningen, Baden-Württemberg, Germany

Job Description

Master Thesis Exploring Formal Guarantees for Neural Network Optimizations

Robert-Bosch-Campus 1, 71272 Renningen, Germany

Full-time

Robert Bosch GmbH

Company Description

At Bosch, we shape the future by inventing high-quality technologies and services that spark enthusiasm and enrich people’s lives. Our promise to our associates is rock-solid: we grow together, we enjoy our work, and we inspire each other. Join in and feel the difference.

The Robert Bosch GmbH is looking forward to your application!

Job Description

The efficient deployment of complex neural networks on modern edge and embedded hardware presents a key challenge. Here, unique opportunities await you to overcome this bottleneck and actively shape the future of AI deployment. Are you ready to make a decisive contribution with your thesis and redefine the boundaries of what is technically feasible?

  • During your Thesis...

Apply for this Job

Submit your application for the Master Thesis Exploring Formal Guarantees for Neural Network Optimizations position at Robert Bosch GmbH.

Apply Now Save for Later

Job Overview

Job Type: Full-time
Location: Renningen, Germany
Posted: June 12, 2026
Deadline: July 22, 2026