Zertifizierbare Roboterdesignoptimierung mit differenzierbarer Programmierung