Например, разработка процессоров и SoC-решений. Apple M1 -- круть. Да, это не совсем софт, но смежное, и в разработке большую роль играют программисты и математики.
Меня впечатлило, как в Intel используют формальную верификацию для поиска ошибок в дизайне процессоров. Вот это передовой хайтек, о котором в зажопинсках только мечтать можно.