Hacker News new | ask | show | jobs
by pjmlp 3167 days ago
Ada, SPARK, Pascal, code generation using formal model, in some soft-real time cases Java (RTSJ 2.0).

But it will be an up-hill battle if not working alone, unless one is working in high-integrity related industries.