Remote Lean Formal Verification Scientist Vancouver

Remote Lean Formal Verification Scientist Vancouver

16 Oct
|
Alignerr
|
Vancouver

16 Oct

Alignerr

Vancouver

Alignerr Corp. is seeking mathematicians with Lean experience to formalize advanced arguments for AI research. This fully remote, hourly contract role focuses on translating human reasoning into machine-verifiable knowledge.

The position emphasizes collaboration with researchers, formal verification strategies, and producing readable proof scripts in Lean, with a versatile commitment of 10–40 hours per week.
J-18808-Ljbffr

📌 Remote Lean Formal Verification Scientist Vancouver
🏢 Alignerr
📍 Vancouver

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

DaVinci Resolve Expert - macOS (Toronto)

DaVinci Resolve Expert - macOS (Toronto)

16 Oct
|
Important Business
|
Toronto
  • 16 Oct
  • Important Business
  • Toronto

About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D [...]

Front of House Manager (Revelstoke)

Front of House Manager (Revelstoke)

16 Oct
|
Important Company of the Sector
|
Revelstoke
  • 16 Oct
  • Important Company of the Sector
  • Revelstoke

About Us Eleven Revelstoke Lodge is an adventure lodge located in the heart of the outdoor adventure mecca, Revelstoke, BC, offering guided adventures and personalized culinary experiences. It is als [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean formal verification scientist vancouver / vancouver

Optometric Assistant (Penticton)

Optometric Assistant (Penticton)

16 Oct
|
Recognized
|
Penticton
  • 16 Oct
  • Recognized
  • Penticton

Our FYidoctors Penticton - Marina Way clinic is looking for someone like you to bring your exceptional skills and experience to join us as an Optometric Assistant to fill an existing vacancy! In thi [...]

Welder Certified (Smithers)

Welder Certified (Smithers)

16 Oct
|
Leading
|
Smithers
  • 16 Oct
  • Leading
  • Smithers

West Fraser offers a range of exciting career opportunities for individuals seeking challenging and rewarding careers. Our Pacific Inland Resources Division is currently recruiting for a Certified Wel [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean formal verification scientist vancouver / vancouver