data mathematician jobs in Winnipeg

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding. The...

AI Engineer - Remote Eligible Build and ship agentic collaboration features integrating AI agents with human workflows Location: CanadaCompensation: $121,000 - 214,000 CAD / yearAbout The Role SandboxAQ AI Engineer Opportunity The SandboxAQ AI team is looking for an AI Engineer to help us build the future of agentic collaboration, trust and ROI. Our goal is...

We are seeking a Senior Machine Learning (ML) Research Scientist to join our team working on a novel AI safety agenda. In this role, you will design and implement innovative ML models aimed at solving advanced AI safety problems. Key responsibilities Propose, design, and implement novel ML models tailored to solve complex AI safety problems. Collaborate with...

AI Engineer - Remote Eligible Build and ship agentic collaboration features integrating AI agents with human workflows Location: Canada Compensation: $121,000 - 214,000 CAD / year About The Role SandboxAQ AI Engineer Opportunity The SandboxAQ AI team is looking for an AI Engineer to help us build the future of agentic collaboration, trust and ROI. Our goal...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

Data Annotation is looking for an experienced mathematician to design mathematical problems that today's leading AI models still get wrong. Models are fluent enough to produce an answer that looks right and a derivation that reads well.You bring the judgment to tell the difference between the two, and the tooling to prove it. This is a new and growing area...