Member of Technical Staff - HU

About this role

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

This is a short preview. Read the full description on Workable before you apply.

• Engineering
• Research

Learn to use AI in your job

Short, hands-on courses on using AI in the work you already do are coming soon. Get an email when they open.

Get early access