C, C++, C#, or Java (take your pick): These languages are all statically typed and with the exception of Java, are compiled as well (although C# is “JIT-compiled”). A statically-typed compiled language will force you to program in some very different ways than you would in a dynamically-typed interpreted language, and will also force you to learn more about how the computer works. C is a particularly great language for understanding how the computer and memory works. Or you could alternately go with C# or Java, both of which are popularly used by large enterprises (C# is part of Microsoft’s stack with .NET, while Java is more agnostic).
Elm, Haskell, Clojure, Scala, or Erlang/Elixir: Because Python is also a language that supports the OOP paradigm (although not strictly like C# and Java do), you might consider learning a language that follows a different paradigm, like functional programming. These languages all fully support the functional paradigm, and although each one is very niche, they’re all certainly used in industry. Scala is popularly used by Twitter, for example.
Rust or Golang: These are admittedly pretty niche languages, but they’ve been gaining more traction in very recent years. Might be worth learning if you’re intent on keeping up to date with the latest languages.
Also, keep in mind that my recommendations here are only meant to round out your knowledge of programming languages academically, and not as much for practical job purposes if you’re looking for a job. Because if you’re looking for a job, my recommendations would change.