Skip to main content

Lean Engineer, Formal Mathematics

Company hidden

Salary

$90 – $110

Schedule

Part Time

Location

Remote · USA

About this role

Pay: $90-$110 per hour (USD).

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean.

1. Overview

Rest of the description locked

Three things Pro reveals on this page

Who's hiring. The company name, its profile and its reduced-hours track record.

The rest of the description. Requirements, benefits, and how the schedule actually works.

The apply link. Straight through to the employer, while the role is still fresh.

Why the company is hidden

Pro members see new roles 48 hours before they reach the free board. This one is still inside that window.

$9/week

or $49 every 3 months · cancel anytime

Unlock with Pro