Ada is memory safe and readable general purpose programming language also often used in critical environments like airplanes or medical devices.

It looks very familiar if you know Pascal but is much more powerful.

It is also great to develop for embedded devices and offers many high level elegant constructs to do the necessary low level bit fiddling with confidence.