67 lean opportunities in Gold Coast updated today
job offers found
· Page 1 / 4Location: Remote. Organization Alignerr Position Researcher – Lean 4 & Formal Proof Systems Employment Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment ***** hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands-
AlignerrA leading AI research firm is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote position involves translating informal proofs into precise formal proofs, analyzing gaps, and collaborating on cutting-edge verification approaches. The ideal candidate holds a Master's de
A collaborative tech company is seeking a Lean 4 Proof Engineer to transform informal mathematical arguments into precise, machine-verifiable proofs. This remote role requires a Master's degree and strong skills in rigorous proof construction and formal proof languages, especially Lean. The opportun
AlignerrA leading AI research firm is seeking a Researcher specialized in Lean 4 and formal proof systems. This remote position focuses on translating mathematical proofs and improving formal verification methodologies. Ideal candidates have a Master's degree in Mathematics and experience with formal proof
Trend Windows & DoorsA leading window and door manufacturer in Queensland is hiring a Production Manager to oversee a team of 70. This permanent full-time role involves ensuring compliance with safety standards, monitoring production metrics, and driving continuous improvement initiatives. Ideal candidates will have str
Overview Location: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
Overview Location: Remote At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
A cutting-edge AI company is seeking a Researcher specializing in Lean and formal proof systems. This remote position involves translating mathematical proofs into precise, machine-verifiable formalizations, focusing on high-level verification techniques. Ideal candidates will have a Master's degree
AlignerrA leading AI research partner is seeking a Formal Verification Scientist with expertise in Lean proof systems. This remote role focuses on translating informal mathematical arguments into rigorous formal proofs and evaluating verification processes. Candidates should hold a Master's degree in Mathem
Location: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
Location: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrA collaborative tech company is seeking a Lean 4 Proof Engineer to transform informal mathematical arguments into precise, machine-verifiable proofs. Candidates must hold a Master's degree in a relevant field and have strong skills in rigorous proof construction and formal proof languages, particula
A mathematics-focused AI firm is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments into precise formalizations. The role focuses on utilizing Lean and other proof systems while contributing to advanced formal verification projects. Candidates should have a Master's degree
AlignerrA leading verification firm is looking for a Researcher skilled in Lean and formal proof systems. This role involves translating informal mathematical arguments into machine-verifiable formats, requiring a Master's or higher in Mathematics or a related field. Candidates should have hands-on experien
A leading AI research collaboration is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean 4. This role is remote and requires advanced skills in rigorous proof writing and a Master's degree in a related field. Ideal candidates
A recognized manufacturing company based in Ormeau seeks a Production Manager to lead a production team of 70 people. The role involves ensuring compliance with health and safety regulations, meeting production targets, and implementing continuous improvement initiatives. Ideal candidates will posse
A leading AI research partner is seeking a Formal Verification Scientist with expertise in Lean proof systems. This remote role focuses on translating informal mathematical arguments into rigorous formal proofs and evaluating verification processes. Candidates should hold a Master’s degree in Mathem
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrBasic Information Organization: Alignerr Position: Lean 4 Proof Engineer – Mathematical Formalization Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: ***** hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and han
$34,000 – $54,000/year
Estimation confidence: Low
Estimate based on market data for Gold Coast. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for lean jobs in other cities in Australia
Explore other job opportunities in Gold Coast