Remote Lean 4 Proof Engineer For Mathematical Formalization City Of Gold Coast

Remote Lean 4 Proof Engineer For Mathematical Formalization City Of Gold Coast

03 Oct
|
Alignerr
|
City of Gold Coast

03 Oct

Alignerr

City of Gold Coast

Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematics into machine-verifiable formalizations. This is a fully remote, hourly contract role emphasizing precision, structure, and pushing proof assistants to their limits.

You will translate informal proofs, identify gaps, and construct Lean formalizations while collaborating with AI researchers to refine verification strategies and maintain readable proof scripts.
J-18808-Ljbffr

📌 Remote Lean 4 Proof Engineer For Mathematical Formalization City Of Gold Coast
🏢 Alignerr
📍 City of Gold Coast

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.

Account Manager - with Growth Opportunities (Sydney)

Account Manager - with Growth Opportunities (Sydney)

04 Oct
|
Recognized
|
Sydney
  • 04 Oct
  • Recognized
  • Sydney

We are looking to hire an enthusiastic Account Manager to join our incredible team at Apex Event Recruitment in Sydney. Growing your career as a Full Time Account Manager is an awesome opportunity t [...]

Finance Officer - with Great Benefits (Brisbane)

Finance Officer - with Great Benefits (Brisbane)

04 Oct
|
Important Business
|
Brisbane
  • 04 Oct
  • Important Business
  • Brisbane

We are on the lookout for a driven Finance Officer to join our incredible team at Hays in Brisbane. Growing your career as a Full Time Finance Officer is a fantastic opportunity to develop competiti [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for mathematical formalization city of gold coast / city of gold coast

Maintenance Coordinator - Start Now (Moorabbin)

Maintenance Coordinator - Start Now (Moorabbin)

04 Oct
|
Nameless
|
Moorabbin
  • 04 Oct
  • Nameless
  • Moorabbin

We are looking to hire an expert Maintenance Coordinator to join our awesome team at Superior People Recruitment Pty. Ltd. in Moorabbin 3189, VIC. Growing your career as a Full Time Maintenance Coor [...]

Underwriter - Hiring Fast (Melbourne)

Underwriter - Hiring Fast (Melbourne)

04 Oct
|
Recognized
|
Melbourne
  • 04 Oct
  • Recognized
  • Melbourne

We are hiring a remarkable Underwriter to join our vibrant team at QBE Insurance in Melbourne. Growing your career as a Full Time Underwriter is a terrific opportunity to develop useful skills. If [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for mathematical formalization city of gold coast / city of gold coast