18 formal opportunities in Ajax updated today
job offers found
About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-checkable Lean 4 formaliz
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
*WHAT YOU DO AT AMD CHANGES EVERYTHING** At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold
A leading technology company in Toronto is seeking a Senior Formal Verification Engineer to verify advanced ASIC designs. The ideal candidate will have over 12 years of experience in ASIC verification, with a focus on formal verification methods and proficiency in SystemVerilog Assertions. This role
AlignerrA leading AI research partner is looking for a Formal Verification Scientist to work remotely. The role involves translating mathematical proofs into Lean and analyzing formal proofs. Candidates should have a Master's degree in Mathematics or a related field, strong experience with Lean, and a passi
Drive quality in ASIC designs as a Senior Formal Verification Engineer. Employ your expertise in formal verification to validate AI-related features through collaboration and advanced methodologies. In this role, you will manage formal verification efforts for complex ASIC designs, ensuring correctn
AlignerrBecome a Formal Verification Scientist focusing on Lean and formal proof languages in a remote role. Collaborate on cutting-edge AI research by formalizing advanced mathematical proofs. We need an expert with a Master’s or higher in Mathematics or a related field, capable of transforming informal pr
Advanced Micro DevicesWHAT YOU DO AT AMD CHANGES EVERYTHING At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold id
AlignerrA leading AI firm in Toronto is seeking a Mathematical Formalization Specialist to translate human-written proofs into machine-verifiable formalizations. The role emphasizes strong skills in Lean and proof writing, involving collaboration with researchers on formal verification tasks. Candidates sho
AlignerrJoin the revolution in mechanized mathematics as a Mathematical Formalization Specialist. Utilize your skills in Lean and rigorous proofs to enhance the reliability of AI model reasoning through formal verification. This engaging role requires deep expertise in proof construction and hands-on experi
AMDWHAT YOU DO AT AMD CHANGES EVERYTHING At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold id
AMDA leading semiconductor company seeks Formal Verification Engineers to join their Advance Formal Verification team. The role involves collaborating with architects, creating verification plans, and optimizing runtime using cutting-edge formal verification technologies. Ideal candidates will have str
NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people! Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in
AlignerrLocation: Remote Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Commitment: 10–40 hours/week At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Wr
AlignerrEngage as a Formal Verification Scientist with expertise in Lean for advanced AI research. Contribute to formalizing mathematical proofs and enhancing verification pipelines in a remote setting. This position is ideal for mathematicians with a Master's degree or higher, specializing in rigorous proo
Elevate advanced ASIC designs as a Senior Formal Verification Engineer. Utilize formal verification methodologies to ensure correctness, working collaboratively with architecture and RTL teams in a fast-paced environment. In this pivotal role, you'll drive the verification of sophisticated AI-centri
AlignerrBecome a Formal Verification Scientist focusing on Lean and formal proof languages in a remote role. Collaborate on cutting-edge AI research by formalizing advanced mathematical proofs. We need an expert with a Master’s or higher in Mathematics or a related field, capable of transforming informal pr
AMD*WHAT YOU DO AT AMD CHANGES EVERYTHING** At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold
Key Responsibilities Fence Installation & Repair: Measure and mark areas for fence installation. Dig post holes and set posts in concrete. Assemble and install various types of fences, including wood, vinyl, chain link, and aluminum. Repair and maintain existing fences to restore functionality a
ConfidentialWe are a growing printing company specializing in high-quality wide format graphics, signage, and custom print solutions. We pride ourselves on fast turnaround times, attention to detail, and excellent customer service. *Position Overview:** We are looking for a skilled and detail-oriented Wide Form
Your role · Delegate duties to crew in morning and on site · Creating and keeping job timeline on track and communicating progress to management · Training crew in skills required · Logging job activity/ hours and collecting receipts to be passed to management · Able to handle all aspects of mainten
*Job Summary** We are seeking an experienced and detail-oriented Foreman to oversee construction projects from inception to completion. The ideal candidate will possess strong leadership skills, technical expertise in construction management, and proficiency with industry-standard software. This rol
Creative Silhouettes Inc.We are growing and hiring a print production operator. Primary responsibilities Read work proof Load and unliad printers Operating, HP R100 large format printer Cannon 1650 Graphitec and Colex Cutters Weeding vinyl Trim large wall graphics Use ONIX Sign making Great team player Attention to detail G
Your role · Delegate duties to crew in morning and on site · Creating and keeping job timeline on track and communicating progress to management · Training crew in skills required · Logging job activity/ hours and collecting receipts to be passed to management · Able to handle all aspects of mainten
JOB SUMMARY: AIIM is seeking a Large Format Print Sales Specialist to support the growth of our WallscapesCo and Mack Media divisions. This is a hybrid role focused on both new business development and account growth, targeting agencies, experiential firms, retail brands, franchises, and corporate e
TC Transcontinental*Create value at TC Transcontinental.** *At TC Transcontinental, we've got it made, and that's because of the expertise of our team.** *We have been driving innovation since 1976.** With approximately 7400 employees, TC Transcontinental is a North American leader in flexible packaging, a Canadian re
Company Description Our goal is to be Energy Category experts and the reasonable choice when deciding on an Energy Category partner. The Category Development Manager (CDM) will be playing an integral role in building, developing, and maintaining credible, long-term, category lead relationships with
$44,000 – $70,000/year
Estimation confidence: Low
Estimate based on market data for Ajax. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for formal jobs in other cities in Canada
Explore other job opportunities in Ajax