ZipRecruiter

Log In

1

Automated Reasoning Jobs in Virginia (NOW HIRING)

Redhorse Corporation

Full Stack Developer

Arlington, VA · On-site

$160K - $190K/yr

Design and implement autonomous AI agents capable of planning, reasoning, and executing multi-step ... Participate in CI/CD pipeline development and automated testing. * Implement secure coding ...

Redhorse Corporation

Full Stack Developer

Arlington, VA · On-site

$160K - $190K/yr

Design and implement autonomous AI agents capable of planning, reasoning, and executing multi-step ... Participate in CI/CD pipeline development and automated testing. * Implement secure coding ...

Redhorse Corporation

Full Stack Developer

Arlington, VA · On-site

$160K - $190K/yr

Design and implement autonomous AI agents capable of planning, reasoning, and executing multi-step ... Participate in CI/CD pipeline development and automated testing. * Implement secure coding ...

Rohirrim, Inc.

Senior AI Engineer

Mclean, VA · On-site

$120 - $150/hr

You will design, develop, and deploy sophisticated multi-step AI agents capable of reasoning over ... high‑stakes decision points within automated workflows. * Design and optimize ...

Socket.dev

Principal Test Engineer (SDET)

Vienna, VA · On-site

$100 - $150/hr

Developing automated test scripts and frameworks to validate software functionality across ... Advanced analytical/quantitative, reconciliation, deductive reasoning, and problem-solving skills

New

Rohirrim, Inc.

Senior AI Engineer

Mclean, VA · On-site

$105K - $145K/yr

You will design, develop, and deploy sophisticated multi-step AI agents capable of reasoning over ... Build robust human-in-the-loop and approval gates for high-stakes decision points within automated ...

Boar's Head Brand

Master Electrician

Petersburg, VA · On-site

... and automated systems, reducing downtime and improving overall equipment performance. Acts as ... Excellent math and mechanical aptitude required Reasoning Ability: Strong critical thinking skills ...

Boar's Head Brand

Master Electrician

Petersburg, VA · On-site

... and automated systems, reducing downtime and improving overall equipment performance. Acts as ... Excellent math and mechanical aptitude required Reasoning Ability: Strong critical thinking skills ...

previous page

Showing results 41-60

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Virginia

Automated Reasoning information

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 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 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 popular job titles related to Automated Reasoning jobs in Virginia?

For Automated Reasoning jobs in Virginia, the most frequently searched job titles are:

What job categories do people searching Automated Reasoning jobs in Virginia look for?

The top searched job categories for Automated Reasoning jobs in Virginia are:

What cities in Virginia are hiring for Automated Reasoning jobs?

Cities in Virginia with the most Automated Reasoning job openings:

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in Virginia as of August 2026, with employment types broken down into 80% Full Time, 15% Part Time, 4% Contract, and 1% Nights. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.

Synthesis/Computational Design Engineer

Molg

Sterling, VA • On-site

Full-time

Re-posted 19 days ago

Job description

Job Summary:
Molg is building robotic systems that make electronics manufacturing circular. In this role, you will develop Molg's computational design and spatial intelligence platform by designing algorithms for geometric reasoning and building tools for 3D geometry processing.
Responsibilities:
• Design and implement algorithms for geometric reasoning, spatial analysis, and computational synthesis—enabling Molg's systems to automatically understand and operate on complex physical assemblies.
• Build the computational backbone for automated process planning: translating 3D representations of electronics into actionable, robot-executable sequences for assembly, disassembly, repair, and recovery.
• Develop tools and pipelines for working with 3D geometry—including mesh processing, point cloud analysis, CAD interoperability, and physics-informed simulation—to support perception, planning, and verification workflows.
• Collaborate with robotics and controls engineers to close the loop between spatial models and physical execution—ensuring that synthesized plans are feasible, robust, and safe.
• Contribute to the design and evolution of Molg's internal data models for representing products, components, processes, and spatial relationships across the manufacturing lifecycle.
• Prototype and evaluate new approaches to geometric search, constraint solving, and design space exploration—drawing from fields like computational geometry, CAD/CAM, and generative design.
• Build scalable, production-grade software that integrates computational design capabilities into Molg's broader robotics and microfactory platform.
• Participate in design reviews and technical discussions, bringing rigorous geometric and algorithmic thinking to cross-functional problems.
• Stay current with advances in computational design, geometry processing, and spatial AI—identifying and applying relevant techniques to Molg's challenges.
Qualifications:
Required:
• 5+ years of experience in computational geometry, geometric computing, computational design, CAD/CAM software development, or a closely related field.
• Proficiency in Python and/or C++, with experience writing performance-sensitive geometric or numerical code.
• Deep familiarity with 3D geometry representations—meshes, point clouds, solid models (B-rep), voxel grids, or implicit surfaces—and the algorithms that operate on them.
• Experience with one or more geometry processing or computational design tools or libraries (e.g., Open3D, CGAL, libigl, OpenCASCADE, Rhino/Grasshopper, or similar).
• Strong understanding of linear algebra, computational geometry fundamentals, and numerical methods as applied to 3D problems.
• Comfort working in a research-to-production context: able to prototype rapidly, then harden and scale solutions for real-world deployment.
• Experience integrating geometric pipelines with downstream systems—robotics, simulation, databases, or web services.
• A track record of shipping complex technical work end-to-end, not just prototyping.
• Excellent communication skills; able to explain geometric and algorithmic concepts clearly to engineers from different disciplines.
Preferred:
• Experience with robotic motion planning, task planning, or manipulation—particularly in the context of geometric reasoning.
• Familiarity with machine learning approaches to geometry (e.g., 3D neural representations, learned shape descriptors, or spatial transformers).
• Background in electronics manufacturing, PCB design, or physical product development.
• Experience with physics simulation (e.g., PyBullet, MuJoCo, Isaac Sim) or tolerance analysis.
• Contributions to open-source geometry or robotics software.
Company:
Molg specializes in circular manufacturing, utilizing robotics to autonomously disassemble complex electronic products. Founded in 2021, the company is headquartered in Sterling, USA, with a team of 11-50 employees. The company is currently Early Stage.

Apply