We usually use either Altium or KiCad to design PCBs.
KiCad is free, open source, and available here.