If it’s compsci, then it doesn’t need to be bare metal. It should be a language that’s good at demonstrating abstractions. Java wouldn’t be my choice, here. Elixir would be a good one.

You might want bare metal as a prereq to an operating system course.

If it’s software engineering, OTOH, then yes, a bare metal language has a bigger place.