O que são trabalhos teóricos em ciência da computação?

Ao lado da academia, que é claramente o lar dos teóricos, estou me perguntando sobre trabalhos industriais relacionados à ciência da computação teórica, aqueles que exigem puro conhecimento matemático. Felicidades