●Employers / Post Job
Sign In ●Employers / Post Job

Sign In

Post your Resume

Employers / Post Job

Remote
Advanced
Refine Reset All
Recent Searches clear
Sort by
Relevance
Relevance
Date
Company
Job Title
Employer/Recruiter
Date Posted
Company
Job Title
Skills
Location
Job Type
Employer/Recruiter
All Filters

Arguments Jobs In Vic - 5 Job Positions Available

1 – 1 of 5 jobs

Remote Lean 4: Applied Formal Methods Researcher

Alignerr ( Melbourne VIC )

About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the worlds hardest problems? Were looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean

Remote Friendly Full-time EDGE Automated Reasoning AI Writing Frontier
Alignerr  2 days ago
Recommended jobs for you

Remote Lean 4: Applied Formal Methods Researcher

Alignerr ( Melbourne VIC )

Remote Friendly Full-time
Alignerr 2 days ago

Subscribe for job alerts and resources to make your job search easier!

Confirmation email sent to

Check your email and click on the link to start receiving your job alerts

Also try:

Researcher Scaffolding Mathematics Frontier Formal Verification Formal Methods Bridge Automation Automated Reasoning AI
  1. Jobs
  3. Arguments

Upload Your ResumeLet employers contact you directly

Receive the latest remote job openings for:

arguments jobs in vic

You also might be interested in:

Researcher

Scaffolding

Mathematics

Frontier

Formal Verification

Formal Methods

Bridge

Automation

Automated Reasoning

AI

Confirmation email sent to

Check your email and click on the link to start receiving your job alerts

All Filters Apply
Sort by
Relevance
Relevance
Date
Company
Job Title
Employer/Recruiter

Show me new jobs