FIND YOUR NEXT OPPORTUNITY

Find your next job

Search current U.S. and eligible remote jobs. Compare the details and apply at the source.

Start exploring

Swipe or use the arrows to explore more

Confidential

WhatJobs

Onion Creek, TX

Compensation $90 to $110 per hour

Shape how advanced AI systems state, prove, and evaluate machine-checked mathematics in Lean 4. You will formalize mathematical ideas, develop an…

Last received from source 2026-10-18View job