A lot of "algebra" is happening in programming language theory and practice nowadays, with knowledge of category theory and type theory really beneficial. Practical applications involve creating certified for correctness programs, and certifying existing programs for correctness. You might have heard about computer-certified proofs of theorems, such as Odd Order Theorem - this essentially falls into the same domain. (Here is the announcement).

For something completely different: symmetries are used in optimisation and machine learning, to reduce dimension etc. And, certainly, there is a lot of algebra in computational (algebraic and "usual") geometry.

A lot of "algebra" is happening in programming language theory and practice nowadays, with knowledge of category theory and type theory really beneficial. Practical applications involve creating certified for correctness programs, and certifying existing programs for correctness. You might have heard about computer-certified proofs of theorems, such as Odd Order Theorem - this essentially falls into the same domain. (Here is the announcement).

For something completely different: symmetries are used in optimisation and machine learning, to reduce dimension etc. And, certainly, there is a lot of algebra in computational (algebraic and "usual") geometry.

Yet another applied topic with a lot of algebra is cryptography and coding theory; among the topics mentioned, it is probably the closest to finite group theory.