1

Automated Reasoning Jobs in Nevada (NOW HIRING)

PRN Hospital Pharmacist

Henderson, NV · On-site

$17 - $20.50/hr

Checks drug and dose in relation to stated patient issue and addresses automated alerts from the ... sound reasoning and accuracy Anticipated hourly range: $48.70 per hour - $69.60 per hour Bonus ...

Responsible for light to medium maintenance of automated equipment including cleaning and ... Excellent computer, mathematical, language, and reasoning skills * Previous experience in the ...

PRN Hospital Pharmacist

Henderson, NV

$17 - $20.50/hr

Checks drug and dose in relation to stated patient issue and addresses automated alerts from the ... sound reasoning and accuracy Anticipated hourly range: $48.70 per hour - $69.60 per hour Bonus ...

Responsible for light to medium maintenance of automated equipment including cleaning and ... Excellent computer, mathematical, language, and reasoning skills * Previous experience in the ...

Checks drug and dose in relation to stated patient issue and addresses automated alerts from the ... Work reviewed for sound reasoning and accuracy * Anticipated hourly range: $48.70 per hour - $69.60 ...

PRN Hospital Pharmacist

Henderson, NV

$17 - $20.50/hr

Checks drug and dose in relation to stated patient issue and addresses automated alerts from the ... Work reviewed for sound reasoning and accuracy * Anticipated hourly range: $48.70 per hour - $69.60 ...

PRN Hospital Pharmacist

Henderson, NV

$17 - $20.50/hr

Checks drug and dose in relation to stated patient issue and addresses automated alerts from the ... Work reviewed for sound reasoning and accuracy * Anticipated hourly range: $48.70 per hour - $69.60 ...

Thorough knowledge of automated packaging machinery operation, troubleshooting and repair ... Reasoning Ability Ability to solve practical problems and deal with a variety of concrete variables ...

Showing results 21-31

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 Nevada?

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

What cities in Nevada are hiring for Automated Reasoning jobs?

Cities in Nevada with the most Automated Reasoning job openings:

Principal Software Engineer - AI Data Engine

Doist

Las Vegas, NV • On-site

$200 - $275/hr

Other

Medical, Dental, Vision, Life, Retirement

Posted yesterday

New


Job description

Mission Summary

We are seeking an experienced and visionary Staff Engineer to technically anchor our new AI Data Engine team. This pivotal role will drive the technical strategy, architecture, and execution of initiatives aimed at significantly accelerating our ML dataset generation and our data warehouse stack. The ultimate goal is to drastically reduce the development cycle for new pipelines, ML models and get us operationally prepared for a driverless future! You will be a hands‑on technical leader, blending deep expertise in data systems and infrastructure with the ability to architect complex, highly scalable solutions. While this is an individual contributor role, you will act as a force multiplier—mentoring a high‑performing team of engineers, setting rigorous technical standards, and fostering a culture of engineering excellence, innovation, and continuous improvement.

What You’ll Be Doing

Technical Leadership & Mentorship: Serve as the technical anchor for a high‑performing team of data and infrastructure engineers building out Motional’s Data Stack. Influence the technical roadmap, architectural priorities, and project scoping in alignment with broader engineering objectives. Provide deep technical guidance, peer mentorship, and establish rigorous engineering standards and best practices for the team.

Architecture, Strategy & Execution: Define and execute the technical vision and architecture for storing metrics and generating ML datasets for large computer vision and behavioral models. Identify, evaluate, and prototype cutting‑edge technologies and methodologies for speeding up data loaders for training, ingestion of metrics, and querying of large datasets for everything from dashboards to training. Act as a hands‑on contributor for the most complex, high‑impact architectural challenges within the data engine space.

Cross‑functional Collaboration: Collaborate closely with ML research, ML Training platform, and data engineering teams to understand their requirements, co‑design scalable architectures, and integrate solutions seamlessly. Drive technical consensus and communicate complex architectural concepts and strategies to both technical and non‑technical stakeholders.

What We’re Looking For
  • BS or MS in Computer Science or related field
  • 6+ years of professional experience in data platform engineering
  • 3+ years of experience in a technical lead, staff engineer, or senior architecture role, with a proven track record of driving cross‑team technical initiatives and mentoring senior engineers
  • Extensive experience with managing large (petabyte plus) scale data platforms such as data warehouses, object storage, and ML training data stores
  • Extensive experience with workflow orchestration frameworks such as Airflow or Step Functions
Technical Skills
  • Core Programming: Strong programming skills in Python. C++ experience is a plus
  • Agentic AI & LLMOps: Proven experience designing, building, and deploying agentic workflows and multi‑agent systems using frameworks like LangChain, LlamaIndex, DSPy, or custom LLM orchestration tools for reasoning and automated data processing
  • Storage & Vector Ecosystems: Knowledge of modern data storage formats (Parquet, Iceberg) and vector databases (LanceDB, Milvus, Qdrant) and retrieval architectures (RAG) to manage massive multimodal datasets (video, sensor data, text)
  • Cloud & Infrastructure: Strong knowledge of cloud infrastructure (AWS, GCP) solutions, distributed compute, and scalable model serving
  • Domain Experience: Prior experience building data warehouses, lakehouse architectures, or active‑learning data loops at an advanced machine learning, robotics, or autonomous vehicle company
Bonus Points (not required)

Prior experience in autonomous vehicles (AV) is a plus. Prior experience with Bazel based build systems.

Schedule & Location

We encourage a hybrid schedule with in‑office time at one of our locations in Boston, Pittsburgh, or Las Vegas to support collaboration, or this role can be fully remote.

Salary Range

The salary range for this role is an estimate based on a wide range of compensation factors... The estimated compensation range listed in this job posting reflects base salary only. This role may include additional forms of compensation such as a bonus or company equity. The recruiter assigned to this role can share more information about the specific compensation and benefit details associated with this role during the hiring process. Candidates for certain positions are eligible to participate in Motional’s benefits program. Motional’s benefits include but are not limited to medical, dental, vision, 401k with a company match, health saving accounts, life insurance, pet insurance, and more.

Salary Range $200,000 — $275,000 USD

About Motional

Motional is a driverless technology company making autonomous vehicles a safe, reliable, and accessible reality. We’re driven by something more. Our journey is always people first. We aren't just developing driverless cars; we're creating safer roadways, more equitable transportation options, and making our communities better places to live, work, and connect. Our team is made up of engineers, researchers, innovators, dreamers and doers, who are creating a technology with the potential to transform the way we move. Higher purpose, greater impact. We’re creating first‑of‑its‑kind technology that will transform transportation. To do so successfully, we must design for everyone in our cities and on our roads. We believe in building a great place to work through a progressive, global culture that is diverse, inclusive, and ensures people feel valued at every level of the organization. Diversity helps us to see the world differently; it’s not only good for our business, it’s the right thing to do. Scale up, not starting up. Our team is behind some of the industry's largest leaps forward, including the first fully‑autonomous cross‑country drive in the U.S, the launch of the world's first robotaxi pilot, and operation of the world's longest‑standing public robotaxi fleet. We’re driven to scale; we’re moving towards commercialization of our technology, and we need team members who are ready to embrace change and challenges. Formed as a joint venture between Hyundai Motor Group and Aptiv, Motional is fundamentally changing how people move through their lives. Headquartered in Boston, Motional has operations in the U.S and Asia. For more information, visit www.Motional.com and follow us on Twitter , LinkedIn , Instagram and YouTube .

Equal Opportunity

Motional AD Inc. is an EOE. We celebrate diversity and are committed to creating an inclusive environment for all employees. To comply with Federal Law, we participate in E-Verify. All newly‑hired employees are queried through this electronic system established by the DHS and the SSA to verify their identity and employment eligibility.

#J-18808-Ljbffr