Jobs: methodes

Global Vision Recruitment on behalf of CHR Personnel Pty Ltd Date Posted: 18th February 2026 Address: 8 Grose Street, North Parramatta, NSW 2150 ABN: Position: Organisation and Methods Analyst Basis of Employment: Full-time (38 hours per week) Salary: $80,000 to $90,000 + 12% Superannuation CHR Personnel Pty Ltd is an established provider of HR and...

  Lead the adoption of delivery methodologies and tools across MSD Coach teams to apply approaches that fit their unique delivery context Create toolkits and learning resources that lift capability nationwide   Play a key role in shaping how MSD teams deliver transformational change.   About our team | Mō te tīma:   Every week, around 1.4 million...

Location: RemoteAbout The JobAt 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 pushing the limits of modern proof assistants.Organization:...

Location: Remote About the jobAt 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 pushing the limits of modern proof assistants.Organization:...

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 and pushing the limits of modern proof...

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 and pushing the limits of modern proof...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

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 formal proof languages, especially Lean....

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

A research organization is looking for an Applied Formal Methods Researcher to translate mathematical proofs into formal systems such as Lean. You will analyze proofs, collaborate on verification strategies, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with proficiency in proof writing and...

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 formal proof languages, especially Lean. This role sits...

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 formal proof languages, especially Lean. This role sits...

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 formal proof languages, especially Lean. This role sits...

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 formal proof languages, especially Lean. This role sits...

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 formal proof languages, especially Lean. This role sits...

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 formal proof languages, especially Lean. This role sits...