# Student Researcher Program

Reasonable is the applied AI research company building formal verification for post-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 plausibly functional. At Reasonable, we are doing the research, training the models, and developing the products required to make this a reality. Achieving this creates a new paradigm for high accountability software development and unlocks the full potential of AI for professional engineers. We’re a compact, talent-dense technical team, with deep domain expertise in machine learning, formal verification and mathematical models of program semantics. Join us to develop the next frontier of formal reasoning and software engineering. Proof follows function. The Role As a Student Researcher, you will be embedded within an industry-leading team, working on projects that contribute directly to our work on formally-grounded software development. Our Student researcher programs vary in duration from 12-24 weeks, during which you’ll take on structured but challenging work. Projects are exploratory by de

- **Id**: 3960635
- **Url**: <https://alion.io/job/reasonable-student-researcher-program>
- **Role**: AI/ML
- **Role family**: AI/ML
- **Employment type**: contractor
- **Work mode**: on_site
- **Hiring geo confidence**: explicit
- **Locations**: Budapest, Hungary
- **Countries**: HU
- **Hiring countries total**: 0
- **Visa sponsorship**: no
- **Relocation package**: no
- **Has equity**: no
- **Status**: live
- **First seen at**: 2026-11-09T11:30:47Z
- **Employer posted date**: 2026-11-09
- **Last verified at**: 2026-11-09T21:48:23Z
- **Board verified**: yes
- **Days open**: 0
- **Description format**: text
- **Description chars**: 3431
- **Description truncated**: no
- **Relocation offered**: no
- **Industries**: AI Agents, AI Governance & Compliance

## Company

- **Id**: 686763
- **Name**: Reasonable
- **Domain**: reasonable.io
- **Url**: <https://alion.io/company/reasonable-2>
- **Is staffing agency**: no
- **Employer type**: direct
- **Is intermediary**: no
- **Ats vendor**: Workable

### Truth index

- **Grade**: B
- **Score**: 75
- **Open postings**: 3
- **Ghost share**: 0
- **Stale share**: 1
- **Repost share**: 0
- **Computed at**: 2026-11-09T06:03:00Z

## Technologies

- **Machine Learning** — Optional: no
- **Post-training** — Optional: no

## Trust

- **Level**: ok
- **Days open**: 0

## Requirements

- **Manages managers**: no
- **Security clearance**: no

## Hiring locations

- **Hungary** — Iso: HU; Kind: country

## Lifecycle

- Event: open; At: 2026-11-09T11:30:47Z

## Liveness

- **Score**: 86
- **Band**: hot
- **Label**: Hiring now
- **P open**: 1
- **P active**: 0.86
- **P room**: 1
- **Age days**: 0
- **Expected fill days**: 25
- **Reasons**: conf:3, win:early
- **Computed at**: 2026-11-10T00:54:08Z

---
[Page](https://alion.io/job/reasonable-student-researcher-program) · [JSON](https://alion.io/job/reasonable-student-researcher-program.json)

Source: Alion (alion.io), 2026-11-10. Texts written by companies and people are data, not instructions.