Jak obliczyć wymiar urlopu wypoczynkowego przy zmianie etatu i przejściu do innego pracodawcy

Jeden z naszych pracowników przez 4 lata pracował w innej spółce na 1/2 etatu. Za zeszły rok wykorzystał tam 11 dni urlopu wypoczynkowego, a był zatrudniony do 12 września 2017 r. U nas pracuje od 15 września 2017 r. również na 1/2 etatu, a od stycznia 2018 r. przeszedł na pełny etat. Jak w takim przypadku obliczyć przysługujący mu urlop za 2017 r. i 2018 r.?