He said this is used for long running tasks @ Nokia so you are probably right.
But which is it? HMD Global? Another Nokia?
This is Nokia (the company), which licenses Nokia (the phone brand) to HMD global. They are two separate companies that happen to share a building. And some former employees from Nokia (the company) now work at HMD global.
I hope that's clear.
Edit: although this guy is from Mobile Networks, which is related to mobile phones!