CERN is big enough that they probably use a bunch of different EDA tools. But yes, they do have a group of people working on KiCad.