Talent Partner - HU/UK

Reasonable is the applied AI research company building formal verification for super-human software development. Correctness guarantees for software developed by humans and machines are no longer impractical or prohibitively expensive. Code generated by AI can be provably correct, rather than plausi