Norway’s state-owned gambling and lottery operator Norsk Tipping has named Thor Gjermund Eriksen as its next chief executive officer.