Role Description Teach globally. Work flexibly. Join a fast-growing international online school delivering American high school education to students worldwide. Open Subjects (High School Level) - AP Physics Class Schedule (Eastern Time) - Option 1: Mon / Wed / Friday, 7:00 AM to 9:30 AM - Option 2: Tue / Thu, 7:00 AM to 9:30 AM Flexible Commitment No upper limit. Teaching hours depend on teacher availability within the schedule options above. Role Overview - Teach engaging 1-on-1 or small group (2–6 students) online classes - Deliver lessons using structured teaching materials (textbooks, slides, etc.) - Track student progress and submit timely post-class feedback Qualifications - Bachelor’s degree or above (Master’s preferred) - At least 1 year of teaching experience in a related subject area (high school experience preferred) - Strong communication skills and a professional teaching attitude - Reliable, punctual, and consistent in teaching delivery Requirements - Bachelor’s degree or above (Master’s preferred) - At least 1 year of teaching experience in a related subject area (high school experience preferred) - Strong communication skills and a professional teaching attitude - Reliable, punctual, and consistent in teaching delivery Contact Email: Emily.liu@asaaeducation.com Company Description This is a remote position.

Role Description We are seeking a proactive AI Automation and Systems Integration Specialist to work directly with the founder in building an intelligent, automated, and scalable business environment. This is a hands-on role focused on: - Power BI development - AI-driven automation - Systems integration - Digital operations support You will design, implement, and continuously improve tools, workflows, and data systems that improve efficiency and decision-making. The role requires strong problem-solving skills, independence, and the ability to work effectively in ambiguity. This is a full-time, non-client-facing position working closely with a senior stakeholder in a remote setup. The ideal candidate is proactive, highly accountable, and able to identify and build improvements independently. This is a foundational role with a strong opportunity to shape how the business operates and scales. Key Responsibilities - Power BI & Business Intelligence - Design and maintain Power BI dashboards (DAX, modelling, reporting) - Build a unified daily business snapshot integrating Microsoft 365, Xero, ProjectManager, and Hubspot (CRM) data - Develop scalable reporting frameworks for performance, financials, and operations - AI Automation & Systems Integration - Design and implement AI-driven workflows and automation systems - Build API-based integrations across business platforms - Identify and remove manual processes through automation utilising existing available tools including Microsoft Suite - Automated Intelligence & Reporting - Develop systems that generate daily intelligence on: - Energy markets and pricing - Regulatory and policy updates - Financial and macroeconomic indicators - Grants, funding, and industry activity - Deliver structured automated summaries for decision-making - Executive & Operational Support - Support executive workflows including action tracking, meeting preparation, and documentation automation - Build systems enabling effective business management across desktop and mobile - Project task management support through online ProjectManager application - Establish short AI generated imagery and videos for client proposals utilising company branding guidelines - Microsoft 365 & Systems Optimisation - Optimise Microsoft 365 (Outlook, Teams, SharePoint, OneDrive, Excel, Copilot) - Improve document structure, workflow efficiency, and accessibility across devices - LinkedIn & Market Intelligence - Support LinkedIn as a business intelligence and insight channel - Extract and summarise industry activity, trends, and opportunities - Support posting of pre-prepared content where required - Systems Support & Innovation - Provide remote IT and systems troubleshooting support - Coordinate external technical support where required - Support development of lightweight internal tools and automation prototypes Qualifications - Minimum 3-5 years’ experience in data, business intelligence, automation, or systems integration roles - Strong Power BI experience (DAX, data modelling, dashboards) - Proven experience in AI automation and workflow design - Strong understanding of existing leading AI capability including Chat GPT and CoPilot - Experience with API integrations and multi-platform system connectivity - Strong understanding of data reporting and business intelligence - Advanced Microsoft 365 capability (Excel, Power BI, Outlook, Teams, SharePoint, OneDrive, Copilot) - Experience with CRM and business systems (HubSpot, Xero) - Strong analytical and problem-solving skills - Excellent written and verbal English communication - Ability to work independently in a remote, founder-led environment Preferred/Nice-to-Have - Experience building automated intelligence or monitoring systems (market, regulatory, or financial data) - Exposure to energy, infrastructure, or sustainability sectors - Workflow automation across multiple business systems - Understanding of industrial communication protocols (BACnet, Modbus, CSIP) - Experience in early-stage or small business digital transformation environments - Remote IT or systems administration experience Work Arrangement & Expectations This is a remote role that will be set up as an independent contractor engagement. To ensure alignment and transparency, successful candidates will be expected to: - Disclose any existing ongoing roles or client work - Reflect this engagement on their LinkedIn profile (clearly marked as “Independent Contractor”)

Role Description What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. If you live and breathe formal proof - and especially if you know your way around Lean 4 - this is a rare opportunity to do deeply meaningful technical work on your own schedule, from anywhere in Canada. Qualifications - Hold a Master's degree or PhD in Mathematics or a closely related field - Possess a strong background in rigorous mathematical proof writing and logical reasoning - Have hands-on experience with formal proof assistants - Lean 4 strongly preferred - Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs - Self-motivated and comfortable working independently in a remote, asynchronous environment Requirements - Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines - Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib - Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form - Audit and verify existing formal proofs for correctness, completeness, and logical integrity - Work at the frontier of AI research, helping train the next generation of mathematically capable language models Benefits - Work on frontier AI research alongside the world's leading AI labs and research teams - Fully remote and flexible - structure your work around your life, not the other way around - Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work - Contribute directly to formal mathematical libraries that will outlast any single project - Gain rare exposure to how cutting-edge large language models are built and trained - Potential for ongoing work and contract extension as new projects launch

Role Description What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. If you live and breathe formal proof - and especially if you know your way around Lean 4 - this is a rare opportunity to contribute to frontier AI development on your own schedule, from anywhere in Germany. Qualifications - Hold a Master's degree or PhD in Mathematics or a closely related field - Possess a strong background in rigorous mathematical proof writing and logical reasoning - Have hands-on experience with formal proof assistants - Lean 4 strongly preferred - Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs - Self-motivated and comfortable working independently in a remote, asynchronous environment Requirements - Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines - Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib - Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form - Audit and verify existing formal proofs for correctness, completeness, and logical integrity - Work at the frontier of AI research, helping train the next generation of mathematically capable language models Benefits - Work on frontier AI research alongside the world's leading AI labs and research teams - Fully remote and flexible - structure your work around your life, not the other way around - Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work - Contribute directly to formal mathematical libraries that will outlast any single project - Gain rare exposure to how cutting-edge large language models are built and trained - Potential for ongoing work and contract extension as new projects launch