Digital Marketing Coordinator
Amer Sports
Coordinate digital marketing for Arc’teryx across Australia and New Zealand, supporting its outdoor apparel business. Manage CRM, ecommerce, paid media, email and other digital campaigns.
खोलें
Lean 4 Engineer, Formal Mathematics
Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.
विवरण
- Create correct, idiomatic Lean 4 statements and proofs that compile with current mathlib
- Formalize mathematics from natural-language sources, from competition problems and textbooks to research lemmas
- Evaluate AI-generated Lean statements and proofs, identify errors, and provide specific written feedback
- Develop guidelines and rubrics for proof quality, faithful statements, and mathlib conventions
- Work with Lean engineers and researchers to uphold consistent standards and improve quality
- Contribute to projects that train and improve AI systems
आवश्यकताएँ
- Practical experience writing formal proofs in Lean 4
- Familiarity with mathlib and Lean 4 tactics, including locating and applying suitable lemmas
- A strong foundation in proof-based mathematics, theoretical computer science, or logic, demonstrated through a degree or research record
- Ability to translate written mathematical statements and proofs into correct formal statements and verified proofs
- Availability to work at least 20 hours each weekday week, with dependable engagement
- Clear written communication and the ability to explain proof strategies and formalization decisions precisely
- Preferred: experience with Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramming, or AI-for-mathematics work
- Must not currently need H-1B or STEM OPT sponsorship or support
लाभ
- W-2 employment with payroll, benefits, and compliance handled through Cincinnatus LLC or an appropriate international entity
- Fully remote work
- Flexible hours, with work completed on your own schedule
- Weekly payments through Stripe or Wise for services rendered
- Opportunity to collaborate with leading researchers
- Referral payments of up to $1,760 per successful referral, subject to limits
संबंधित नौकरियाँ
Business Assurance Partner, 9-Month Fixed-Term — Wellington Hybrid
New Zealand Trade and Enterprise
Lead internal audit and risk advisory work at New Zealand Trade and Enterprise, helping support safe operations and international growth. Advise senior leaders and strengthen the organisation’s risk maturity.
खोलें
Partner Business Manager, HPE Compute — Eastern U.S. SLED
Hewlett Packard Enterprise
संयुक्त राज्य
मैरीलैंड
न्यू जर्सी
न्यूयॉर्क
पेंसिल्वेनिया
वर्जीनिया$67,800 – $1,55,700 / वर्ष
रिमोटपूर्णकालिकमध्य स्तरवरिष्ठआवश्यक भाषा: अंग्रेज़ीप्रबंधकGrow HPE Compute business through public-sector partners across the eastern United States. The role covers joint sales planning, pipeline development, co-selling, and partner enablement.
खोलें
Partner Business Manager, HPE Compute — Eastern U.S.
Hewlett Packard Enterpriseसंयुक्त राज्यमैरीलैंडन्यू जर्सीन्यूयॉर्कपेंसिल्वेनियावर्जीनिया$67,800 – $1,55,700 / वर्ष
रिमोटपूर्णकालिकमध्य स्तरवरिष्ठआवश्यक भाषा: अंग्रेज़ीप्रबंधकDrive HPE Compute sales growth through public sector partners across the Eastern United States. Build joint plans, strengthen partner capabilities, grow pipeline, and advance deals with HPE teams.
खोलें
International Business Development Manager, Medical Imaging
Hunt St
Lead export sales growth for an Australian medical imaging manufacturer by developing distributor networks and winning B2B business across MENA, ASEAN and emerging markets.
खोलें
Remote Key Account Manager – United States
Inizio EngageLead biosimilar adoption across NHS secondary care through account planning and specialist stakeholder engagement. Build relationships and influence prescribing decisions across therapeutic areas.
खोलें
Key Account Manager, Lighting Projects — Tokyo
Signify
Manage strategic customer accounts and complex lighting projects for Signify in Japan. Drive sales growth, tenders, customer partnerships, and sustainable lighting solutions.
खोलें
Associate Client Services Manager, Onsite in China
Nomura
Support high-net-worth clients with account servicing, transactions, and relationship management. Provide private banking services across global markets at Nomura.
खोलें
Remote Risk Management Specialist — Australia
Centorrino TechnologiesImplement a risk management system for regulated Australian organisations, translating governance needs into configuration, testing, reporting and adoption. Work across the implementation lifecycle with stakeholders on risk data, controls and executive reporting.
खोलें
Junior Risk Analyst
Koin
Review credit applications and investigate suspicious transactions and fraud at Koin. Apply risk policies, verify customer information, and help automate operational processes.
खोलें