The design of proteins with targeted properties is a computationally intensive task with large memory requirements. We have developed a novel approach that combines a dimensional reduction of the problem with a High Performance Computing platform to efficiently design large proteins. This tool overcomes the memory limits of the process, allowing the design of proteins whose requirements prevent them to be designed in traditional sequential platforms. We have applied our algorithm to the design of functional proteins, optimizing for both catalysis and stability. We have also studied the redesign of dimerization interfaces, taking simultaneously into account the stability of the subunits of the dimer. However, our methodology can be applied to any computational chemistry application requiring combinatorial optimization techniques.