lean machine

Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean proofs, pushing the boundaries of proof automation.This is a fully remote, hourly contract for mathematicians who live and breathe rigorous proof construction and want flexible weekly hours between 10 and 40.You'll translate informal...

Responsible for operating and maintaining various production machines to ensure smooth and efficient manufacturing processes. This role involves monitoring equipment, performing quality checks, and ensuring products meet specifications. Responsibility - Operate and monitor production machines according to established procedures and safety standards. -...

Researcher — Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at the...

Researcher — Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at the...

Researcher — Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at the...

Position: Trimaster Continuous Improvement (CI) LeaderReports To:  General ManagerDirect Reports: No Direct Reports (influences through coaching and facilitation)SummaryTrimaster is a high precision machine shop, targeting medium to high level of part complexity, serving the aerospace, aero, defense and energy sectors. To support Trimaster’s growth and...

Job SummaryApply metal to customer orders and accurately process material according to the work order specifications using advanced machinery or having an advanced level of skill in the use of warehouse machinery. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner....

Position: Continuous Improvement (CI) LeaderReports To:  General ManagerDirect Reports: No Direct Reports (influences through coaching and facilitation)SummaryHPG is Precinmac’s Airfoils Center of Excellence, producing highly complex precision aerospace/defense components. To support HPG’s growth and evolving operating system, we are hiring a...

Salary Range: CA$80,000.00 To CA$105,000.00 AnnuallyReports To:General ManagerDirect Reports:No Direct Reports(influences through coaching and facilitation)SummaryTrimaster is a high precision machine shop, targeting medium to high level of part complexity, serving the aerospace, aero, defense and energy sectors. To support Trimaster's growth and evolving...

Engineering - Launch Systems Full Time Markham, ON $75,000 - $95,000 CAD per year NordSpace (https://nordspace.com) is a Canadian startup with the mission to advance life on Earth, from space. NordSpace is committed to extremely rapid innovation and development of the most ambitious aerospace projects with the most ambitious team. With divisions spanning...

TI Automotive supplies safety and performance critical products and highly engineered components to the global automotive industry. We have more than 100 years' experience of solving customers' safety, efficiency and environmental challenges. Our exceptional team, powertrain agnostic product portfolio, vertical integration, global footprint and customer...

Join to apply for the Team Manager-Production Machining role at Ford Motor Company. Ford of Canada’s operations include a national headquarters, three vehicle assembly and engine manufacturing plants, three parts distribution centres, and three Connectivity and Innovation centres. Ford employs approximately 7,000 people in Canada, and an additional 18,000...

Job SummaryApply metal to customer orders and accurately process material according to the work order specifications. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner. Complete all required information entry accurately. Perform any other tasks as assigned.Appliquer le...

Split Shift:Monday-Friday: 12pm-8:30pmJob DescriptionThe Machine Programmer will be responsible for creating, modifying, and optimizing CNC programs and machine instructions for precision manufacturing operations. The programmer will ensure part accuracy, efficient machine performance, and alignment with production specifications. Attention to detail and a...

TI Automotive supplies safety and performance critical products and highly engineered components to the global automotive industry. We have more than 100 years' experience of solving customers' safety, efficiency and environmental challenges. Our exceptional team, powertrain agnostic product portfolio, vertical integration, global footprint and customer...

Loewen Windows and Doors is the leading manufacturer of premium windows and doors for the luxury architectural market in North America and abroad. In addition to proudly handcrafting enduring products that enhance beautiful architecture, we are an innovative organization that has evolved into a design-driven, technologically advanced company of the modern...

Job DescriptionThe Machine Operator is responsible for setting up, operating, and maintaining heavy industrial equipment used to cut, form, bend, punch, and shape steel components according to engineering blueprints and job specifications. This role plays a critical part in maintaining production efficiency, ensuring strict quality control, and adhering to...

Company Description Canam, an employer that makes you want to stay Since 1960, Canam has been an employer with a strong, unifying and family-oriented culture, rallying its 5,100 employees. Established in Canada, the United States, Romania, India and the Philippines, our company continues to grow thanks to the innovation and know-how of each and every one of...

Split Shift: Monday-Friday: 12pm-8:30pm     Job Description   The Machine Programmer will be responsible for creating, modifying, and optimizing CNC programs and machine instructions for precision manufacturing operations. The programmer will ensure part accuracy, efficient machine performance, and alignment with production specifications. Attention to...

Position Details POSITION TITLE: Machine Operator SHIFT: Day Shift HOURLY RATE: $21.50 – $23.00 LOCATION: Barrie, Ontario MacLean Engineering is looking for a Machine Operator in our Metal-cutting area (saw / burn) to join our growing aftermarket production team in Barrie Ontario. This is a great opportunity to be part of a growing team, supplying...