
Lean 4 Engineer, Formal Mathematics
MercorWrite and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.


Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.

Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.

Set CommBank’s customer service technology strategy and lead engineering across contact centres, lending and customer assistance. Build resilient, scalable platforms and AI-enabled experiences.

Lead research and development in video coding, processing, and streaming, with a focus on machine learning and AI. Shape platform architecture, contribute to industry standards, and advance technical work across Disney’s global team.

Build scalable React interfaces for Disney advertising platforms and media products. Develop accessible, well-tested user experiences across the company.

Manage system completions, handover, CCMS, punch lists and documentation for John Holland’s Kidston pumped-storage hydro project, which is transforming a disused gold mine into clean-energy storage.

Lead onboarding, retention, and account growth for Zymego’s healthtech customers. Help healthcare organizations reduce waiting times through intelligent automation.

Administer Clarity PPM and provide Level 2 support, monitoring, access management, testing, and deployments. Support enterprise application operations across India and the Philippines.

Provide Level 2 Clarity PPM administration and operational support, including monitoring, access assistance, testing, and control activities. Fully remote position supporting India and Philippines schedules.

Coordinate laboratory inventory, purchasing, shipping, and customer service for Avantor’s scientific customers. The role also supports hazardous materials shipments, reporting, and inventory systems.