4 logic opportunities in Vancouver updated today
job offers found
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands-on Lean experience to formalize advanced mathematical arguments for cutting-edge AI research — translating human reasoning into p
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
AlignerrShape cutting-edge AI models as a Machine Learning Engineer. Work remotely to craft structured reasoning traces, document decision-making, and evaluate AI logic using your tech expertise. In this role, you will capture step-by-step reasoning for complex tasks, helping train LLMs to improve their rea
Summary: Reporting to the Group Sales Manager (Softlines, Hardlines, or Front End-Receiving), the Task Team Outfitter is responsible for executing visual merchandising plans, planograms, and flyer/ad sets on the sales floor. Responsibilities: Support visual merchandising for assigned areas including
$44,000 – $70,000/year
Estimation confidence: Low
Estimate based on market data for Vancouver. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for logic jobs in other cities in Canada
Explore other job opportunities in Vancouver