Skip to content

Jobs Companies Cities Skills

Live listings

Jobs

Filters

Filters

Skills

python 3 formal methods 3 pytorch 2 reinforcement learning 2 ml 1 sql 1 lean4 1 snowflake 1 optimization 1 theorem proving 1+5 more

Seniority

senior 3

Category

engineering 3

Modality

on site 3

Employment

full time 3

Countries

US 3

Cities

Palo Alto 2 New York 1

Salary (USD/yr)

–

Amount in thousands. e.g. 120 = $120k

Skill: formal methods

3 jobs · 1ms

Sort

Senior Forward Deployed Engineer
maybern 19d ago
$160k – $200k
senior · on-site · full time · New York
formal methods formal verification machine-checkable logic mathematical modeling platforms ml optimization +6
Apply
Research Engineer, Technical Lead
harmonic Jul 10, 2025
$225k – $450k
senior · on-site · full time · Palo Alto
formal methods python pytorch reinforcement learning
Apply
Research Engineer
harmonic Jul 10, 2025
$200k – $450k
senior · on-site · full time · Palo Alto
formal methods lean4 python pytorch reinforcement learning
Apply

Prev Page 1 Next

flint

Jobs Companies Cities Skills

© 2026 flint

Jobs Companies Cities Sign in

flint

Jobs Companies Cities Skills