Remote Lean Formalization Specialist

Mathematical Formalization Specialist - Remote Join to apply for the Mathematical Formalization Specialist - Remote role at Alignerr . 1 day ago - Be among the first 25 applicants. Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation. Role...

A dynamic AI solutions provider based in Hong Kong is seeking a Mathematical Formalization Specialist. In this role, you will translate informal mathematical proofs into formal representations primarily using Lean, collaborate with researchers, and analyze generic and domain-specific proofs. Ideal candidates should hold a Master’s degree or higher in...

A leading global HR solutions provider is seeking a Senior Lifecycle Specialist focused on Employee Relations & Transitions. This fully remote role involves managing end-to-end employee exits, ensuring legal compliance and excellent customer service. The ideal candidate will have HR advisory experience, a strong grasp of employee relations, and be adept at...

Remote is solving modern organizations' biggest challenge – navigating global employment compliantly with ease. We make it possible for businesses of all sizes to recruit, pay, and manage international teams. With our core values at heart and future focused work culture, our team works tirelessly on ambitious problems, asynchronously, around the world. You...

Join to apply for the Talent Acquisition Specialist | Remote role at Taskify AI Mercor is expanding its expert network across East Asia and is hiring Recruiters (Contractors) to source top talent for AI and data projects with leading U.S. clients. This fully remote role targets professionals familiar with the talent markets in Taiwan or Hong Kong. We also...

A leading financial services firm in Hong Kong is looking for a Treasury Support Specialist to provide administrative support to the Treasury team, manage bank relationships, and assist in optimizing capital structure. The ideal candidate should possess a Bachelor's degree in finance or related fields, with strong analytical skills and proficiency in Excel....

A staffing and recruiting agency is looking for a Talent Acquisition Specialist for a remote role focused on sourcing candidates for AI and data projects. Fluency in Mandarin and proficiency in English is necessary to engage effectively with candidates. Ideal candidates are familiar with the talent markets in Hong Kong and Taiwan. This position offers a...

A leading AI innovation firm in Hong Kong is looking for an AI Specialist for the Jigglypuff Project. This role allows for flexible work hours and is entirely remote. The successful candidate will review AI-generated audio transcriptions and enhance their quality. Candidates must be proficient in Russian and have a reliable internet connection. No mobile...

A healthcare communication company is seeking a Pharmacist/Medical Information Specialist fluent in English and Chinese with an advanced health professional degree. This role offers a unique opportunity to move from community pharmacy to medical information, providing competitive compensation and a remote work option. Applicants should have 2 to 3 years of...