learning, generative AI, large language models and speech technology, robotics, computer vision, optimization, operations... research, quantum computing, automated reasoning, or formal methods? If so, we want to hear...
vision, optimization, or quantum computing? If so, we want to hear from you! We are looking for motivated students... (position-dependent) Work on an interdisciplinary team on customer-obsessed research Design new algorithms, models...