Thesis Work for Seeing Is Verifying: Simulation-in-the-Loop Development of AI-Generated Robot Programs with Local Vision-Language Models

This thesis role at ABB Robotics investigates using simulation-in-the-loop methods to verify and improve AI-generated robot programs with local vision-language models. Students will collaborate with Ericsson Research to develop verification signals and evaluate task execution through a generate-simulate-verify-improve loop. The position involves building benchmarks, implementing feedback mechanisms, and comparing local versus cloud models for robotics simulation.