Get him a microcontroller and peripherals from Crowd Supply, that run Micropython, such as TinyPico.

Or similar from Adafruit.

Buy some servos from a hobby aircraft store, breadboard parts kit and a bench power supply.

There is nothing so fun and motivating as making a microcontroller do visible things.