[BBC] Joint PhD position at CWI and NKI, Amsterdam