Robot Control Lead
Woburn, MA · On-site
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning with perception and AI models. This is a hands-on leadership role: you will be part of ...
Robot Control Lead
Woburn, MA · On-site
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning with perception and AI models. This is a hands-on leadership role: you will be part of ...
... automated reporting frameworks. • Enable in-context learning and enterprise-scale agent design using different prompting techniques (like ReAct, Tree-of-Thoughts, Reflexion, or hybrid reasoning ...
... automated reporting frameworks. • Enable in-context learning and enterprise-scale agent design using different prompting techniques (like ReAct, Tree-of-Thoughts, Reflexion, or hybrid reasoning ...
Packing Operator - 3rd Shift
Agawam, MA · On-site
This position routinely operates automated- and semi-automated machines to pack parts according to ... Strong math and mechanical reasoning skills. * Ability to contribute as part of a team. * Positive ...
Packing Operator - 3rd Shift
Agawam, MA · On-site
This position routinely operates automated- and semi-automated machines to pack parts according to ... Strong math and mechanical reasoning skills. * Ability to contribute as part of a team. * Positive ...
Packing Operator - 3rd Shift
Agawam, MA · On-site
This position routinely operates automated- and semi-automated machines to pack parts according to ... Strong math and mechanical reasoning skills. * Ability to contribute as part of a team. * Positive ...
Packing Operator - 3rd Shift
Agawam, MA · On-site
This position routinely operates automated- and semi-automated machines to pack parts according to ... Strong math and mechanical reasoning skills. * Ability to contribute as part of a team. * Positive ...
Implement automated quality-control workflows that detect anomalies, flag inconsistencies, and ... step reasoning * Familiarity with biomedical or chemical data sources and formats (e.g., PDB ...
Implement automated quality-control workflows that detect anomalies, flag inconsistencies, and ... step reasoning * Familiarity with biomedical or chemical data sources and formats (e.g., PDB ...
Mechanical Engineer, AI Integration
Waltham, MA · Hybrid
$82K - $97K/yr
... automated engine is reading them accurately. * Integration Support: Assist in testing and ... Problem-Solving: High attention to detail, strong spatial reasoning, and an agile mindset ...
Mechanical Engineer, AI Integration
Waltham, MA · Hybrid
$82K - $97K/yr
... automated engine is reading them accurately. * Integration Support: Assist in testing and ... Problem-Solving: High attention to detail, strong spatial reasoning, and an agile mindset ...
Maintenance Mechanic (2nd Shift)
Norwell, MA · On-site
$32 - $37/hr
... and automated manufacturing equipment including the ability to rebuild complex mechanical ... REASONING ABILITY: Mental and visual reasoning needed. Concentration required for intense and ...
Quick apply
Maintenance Mechanic (2nd Shift)
Norwell, MA · On-site
$32 - $37/hr
... and automated manufacturing equipment including the ability to rebuild complex mechanical ... REASONING ABILITY: Mental and visual reasoning needed. Concentration required for intense and ...
... reasoning capabilities that directly support intelligence applications-powering investigative ... In this role, you will help productionize AI features through governance, telemetry, automated ...
... reasoning capabilities that directly support intelligence applications-powering investigative ... In this role, you will help productionize AI features through governance, telemetry, automated ...
Maintenance Mechanic (2nd Shift)
Norwell, MA · On-site
$32 - $37/hr
... and automated manufacturing equipment including the ability to rebuild complex mechanical ... REASONING ABILITY: Mental and visual reasoning needed. Concentration required for intense and ...
Quick apply
Maintenance Mechanic (2nd Shift)
Norwell, MA · On-site
$32 - $37/hr
... and automated manufacturing equipment including the ability to rebuild complex mechanical ... REASONING ABILITY: Mental and visual reasoning needed. Concentration required for intense and ...
Senior Backend Engineer - AI Platform
Boston, MA · On-site +1
$133K - $175K/yr
... advanced reasoning, strategic planning, and the orchestration of intricate financial and ... Write automated unit tests, integration tests, end-to-end tests, concurrency tests, load ...
Senior Backend Engineer - AI Platform
Boston, MA · On-site +1
$133K - $175K/yr
... advanced reasoning, strategic planning, and the orchestration of intricate financial and ... Write automated unit tests, integration tests, end-to-end tests, concurrency tests, load ...
Senior Backend Engineer - AI Platform
Boston, MA · On-site +1
$133K - $175K/yr
... advanced reasoning, strategic planning, and the orchestration of intricate financial and ... Write automated unit tests, integration tests, end-to-end tests, concurrency tests, load ...
Senior Backend Engineer - AI Platform
Boston, MA · On-site +1
$133K - $175K/yr
... advanced reasoning, strategic planning, and the orchestration of intricate financial and ... Write automated unit tests, integration tests, end-to-end tests, concurrency tests, load ...
Principal AI Engineer - Evinova
Cambridge, MA · On-site
$144.65 - $189.85/hr
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
New
Principal AI Engineer - Evinova
Cambridge, MA · On-site
$144.65 - $189.85/hr
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
New
Mechanical Engineer, AI Integration
Waltham, MA · On-site
$82K - $97K/yr
... automated engine is reading them accurately. * Integration Support: Assist in testing and ... Problem-Solving: High attention to detail, strong spatial reasoning, and an agile mindset ...
Mechanical Engineer, AI Integration
Waltham, MA · On-site
$82K - $97K/yr
... automated engine is reading them accurately. * Integration Support: Assist in testing and ... Problem-Solving: High attention to detail, strong spatial reasoning, and an agile mindset ...
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning, free from race conditions and deadlocks * Help define, instrument, and visualize ...
New
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning, free from race conditions and deadlocks * Help define, instrument, and visualize ...
New
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning, free from race conditions and deadlocks * Help define, instrument, and visualize ...
New
Quick apply
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting ... reasoning, free from race conditions and deadlocks * Help define, instrument, and visualize ...
New
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Build sophisticated NLP systems for retrieval, information extraction, structured generation, graph reasoning. * Drive Technical Innovation * Create automated techniques for agent design, evaluation ...
Principal Product Manager, Agentic Systems
Boston, MA · On-site
$220K - $240K/yr
Own the vision, strategy, and multi-quarter roadmap for CloudZero's agentic and automated decision ... Comfort analyzing telemetry, logs, or metrics and reasoning about system performance and tradeoffs
Principal Product Manager, Agentic Systems
Boston, MA · On-site
$220K - $240K/yr
Own the vision, strategy, and multi-quarter roadmap for CloudZero's agentic and automated decision ... Comfort analyzing telemetry, logs, or metrics and reasoning about system performance and tradeoffs
Head of Core AI
Boston, MA · On-site
$180 - $280/hr
Decide how agents acquire physical reasoning, how training infrastructure scales, how reward structures survive long-horizon discovery tasks, and how automated discovery compounds. Own the people and ...
Head of Core AI
Boston, MA · On-site
$180 - $280/hr
Decide how agents acquire physical reasoning, how training infrastructure scales, how reward structures survive long-horizon discovery tasks, and how automated discovery compounds. Own the people and ...
Automated Reasoning information
What are some common challenges faced by professionals working in automated reasoning roles?
Professionals in Automated Reasoning often encounter challenges such as handling highly complex logical problems, ensuring the scalability of reasoning algorithms, and integrating automated reasoning tools with existing systems. Collaborating with interdisciplinary teams—including software engineers, data scientists, and domain experts—can present communication hurdles, as explaining formal logic concepts to non-experts is sometimes necessary. Additionally, staying up-to-date with the latest research and advancements in theorem proving and formal verification is crucial for continued success in this rapidly evolving field.
What are the key skills and qualifications needed to thrive as an automated reasoning engineer?
To thrive as an Automated Reasoning Engineer, you need a strong background in computer science, logic, and formal verification, often supported by an advanced degree in a related field. Familiarity with formal methods tools (such as SMT solvers, model checkers), programming languages like Python, C++, or OCaml, and experience with verification frameworks are typically important. Analytical thinking, problem-solving, and effective communication skills help engineers tackle complex proofs and collaborate with interdisciplinary teams. These skills are crucial for ensuring the reliability and correctness of software and hardware systems in safety-critical environments.
What is automated reasoning?
Automated reasoning is a field of computer science and mathematical logic dedicated to understanding how reasoning can be automated using computers. It involves developing algorithms and software that allow computers to prove theorems, verify software and hardware systems, and solve logical problems. Automated reasoning is used in areas such as formal verification, artificial intelligence, and knowledge representation, helping to ensure systems behave as intended and are free of certain types of errors.
What are popular job titles related to Automated Reasoning jobs in Massachusetts? For Automated Reasoning jobs in Massachusetts, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning jobs in Massachusetts look for? The top searched job categories for Automated Reasoning jobs in Massachusetts are:
What cities in Massachusetts are hiring for Automated Reasoning jobs? Cities in Massachusetts with the most Automated Reasoning job openings:
Job description
About ATI:
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting-edge robotics. We are transforming a process that hasn't fundamentally changed in decades into an automated, high-performance system built for the future of automotive service.
Founded by experienced entrepreneurs and backed by leading players across the automotive and tire industries, ATI is building technology that will redefine how cars are serviced. Our team combines deep robotics expertise with real world deployment, moving fast from prototype to production and scaling solutions directly in the field.
If you are excited by hands-on robotics, industrial physical AI, real-world impact, and the challenge of building category-defining technology from the ground up, ATI is the place to do the most meaningful work of your career.
Position Overview:
ATI is looking for a Robot Control Lead to own the control stack that powers our automated tire-changing and wheel-balancing robots. You will lead the design, development, and deployment of the different layers of robot control that let our robots interact safely and precisely with their environment - from real-time force-aware dexterous manipulation to task planning and reasoning with perception and AI models. This is a hands-on leadership role: you will be part of the software team responsible for architecting control systems, writing and reviewing code, and working side by side with mechanical, electrical, and perception teams to take our robots from prototype to reliable field deployment.
Responsibilities:
Requirements
Preferred Qualifications:
Automated Tire (ATI) is on a mission to reinvent tire changing and wheel balancing using cutting-edge robotics. We are transforming a process that hasn't fundamentally changed in decades into an automated, high-performance system built for the future of automotive service.
Founded by experienced entrepreneurs and backed by leading players across the automotive and tire industries, ATI is building technology that will redefine how cars are serviced. Our team combines deep robotics expertise with real world deployment, moving fast from prototype to production and scaling solutions directly in the field.
If you are excited by hands-on robotics, industrial physical AI, real-world impact, and the challenge of building category-defining technology from the ground up, ATI is the place to do the most meaningful work of your career.
Position Overview:
ATI is looking for a Robot Control Lead to own the control stack that powers our automated tire-changing and wheel-balancing robots. You will lead the design, development, and deployment of the different layers of robot control that let our robots interact safely and precisely with their environment - from real-time force-aware dexterous manipulation to task planning and reasoning with perception and AI models. This is a hands-on leadership role: you will be part of the software team responsible for architecting control systems, writing and reviewing code, and working side by side with mechanical, electrical, and perception teams to take our robots from prototype to reliable field deployment.
Responsibilities:
- Own the architecture and implementation of the robot control stack, from joint space control up to whole-body Cartesian based control.
- Design and implement impedance control, force control, and compliant manipulation strategies using Force-Torque sensor feedback for complex dexterous manipulations.
- Develop and tune real-time control loops that meet the timing, safety, and reliability requirements of an industrial robotic system operating in the field.
- Design robot motion and trajectory generation strategies that balance speed, precision, and safety in dynamic, real-world environments.
- Build and maintain simulation environments (e.g., IsaacSim, MuJoCo, or similar) to develop, validate, and regression-test control algorithms before deployment on hardware.
- Develop controllers and control logic using tools such as MATLAB/Simulink, and translate models into production-grade real-time code.
- Lead the industrialization of control software - hardening prototypes into robust, maintainable, and deployable systems for field operation at scale.
- Collaborate closely with mechanical, electrical, perception, and product teams to define system requirements and resolve cross-disciplinary technical challenges.
- Mentor and guide other engineers on the software controls team, setting technical direction and best practices.
- Support on-site commissioning, testing, and troubleshooting of deployed robotic systems as needed.
Requirements
- Expertise in robotics and control theory, with a strong track record of designing and deploying control systems for physical robots.
- Expertise in low-level control, including impedance control and force control using Force-Torque sensors.
- Expertise in robot motion planning and trajectory/motion control.
- Expertise in real-time control systems, including their design, implementation, and performance constraints.
- Experience with ROS/ROS2 in production robotic systems.
- Hands-on experience with robot simulation tools such as IsaacSim, MuJoCo, or similar platforms.
- Experience with robot controller development environments such as MATLAB/Simulink.
- Experience with real-time vision systems and modern perception models, including VLM and VLA approaches.
- Demonstrated experience taking robotic applications from prototype through industrialization and field deployment.
Preferred Qualifications:
- Advanced degree (M.S. or Ph.D.) in Robotics, Electrical Engineering, Mechanical Engineering, Computer Science, or a related field.
- Experience with force/torque-sensitive manipulation in industrial or automotive applications.
- Prior experience in a startup or fast-paced environment, taking products from prototype to production.
- Familiarity with functional safety standards and practices for industrial robotics.
- Track record of technical leadership, mentoring, and cross-functional collaboration.