12 formal methods opportunities in Newcastle updated today
job offers found
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
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 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
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
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
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
AlignerrA 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 leading AI research firm seeks an Applied Formal Methods Researcher to work on translating informal mathematical arguments into machine-verifiable formalizations using Lean. Ideal candidates will have a master's degree in a relevant field and experience with proof assistants. Responsibilities incl
AlignerrA global AI partnership company seeks an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean. The ideal candidate has a Master's degree or higher in Mathematics and experience with formal proof languages. Responsibilities include translating proofs, analyzing formal m
AlignerrA leading AI research firm is seeking an Applied Formal Methods Researcher to focus on translating informal mathematical proofs into formal representations using Lean. Candidates should have a master's degree in a related field with hands-on experience in formal proof languages. This hourly contract
Applied Formal Methods Researcher (Lean 4) Location : Remote Alignerr partners with the world’s leading AI research teams and labs to build and train cutting-edge AI models. This role focuses on writing and formalizing advanced mathematical proofs in Lean for cutting-edge AI research. Role Overview
Location Remote Organization Alignerr Position Applied Formal Methods Researcher (Lean 4) Type Hourly Contract Compensation $70–$150 per hour Commitment 10��40 hours per week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with fo
*Bridal & Formalwear Retail Stylist** *Are you an experienced fashion retailer?* *Are you passionate about weddings & people?* *Do you offer a superior customer experience?* This role could be for you! We are currently looking for an experienced fashion retailer to join Shazzam Bridal &
$34,000 – $54,000/year
Estimation confidence: Low
Estimate based on market data for Newcastle. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for formal methods jobs in other cities in Australia
Explore other job opportunities in Newcastle