1

Automated Reasoning Jobs in Nevada (NOW HIRING)

AI Engineer

Las Vegas, NV · On-site

$50K - $112K/yr

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

... automated evaluation frameworks, including LLM-as-judge pipelines, regression testing, and adversarial benchmarking, to assess reasoning, tool-calling reliability, and output groundedness ...

Utilize CAD and modeling programs to design and develop manual or automated machines and systems ... REASONING ABILITY: * Ability to solve practical problems and deal with a variety of concrete ...

Utilize CAD and modeling programs to design and develop manual or automated machines and systems ... REASONING ABILITY: * Ability to solve practical problems and deal with a variety of concrete ...

Customer Service Representative

Las Vegas, NV · On-site

$15.50 - $21/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Las Vegas, NV

$14.75 - $20/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Las Vegas, NV · On-site

$15.50 - $21/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Las Vegas, NV · On-site

$14.75 - $20/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

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 ...

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 · On-site

$16.25 - $19.75/hr

  • Medical

  • PTO

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 · On-site

$67 - $96/hr

  • Medical

  • PTO

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 ...

next page

Showing results 1-20

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:

Aviation Tool Room Custodian

Remote Imagery Technologies

North Las Vegas, NV • On-site

Full-time

Re-posted 4 days ago


Job description

Responsible for procurement, calibration, repair, and control of special/calibrated tools and equipment for use on manned and unmanned company aircraft. Provides inventory control, calibration and maintenance of all special tools/equipment. Maintains clean and safe tool room area.To perform this job successfully, an individual must be able to perform each essential duty satisfactorily, other duties may be assigned

The requirements listed below are representative of the knowledge, skill, and/or ability required. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions. Conducts beginning and end of day tool room inventory ensuring all equipment/special tools are present and controls access to tool room.

Establishes and maintains inventory of all special tools and equipment in company tool rooms by manual or automated tracking methodologies. Issues special tools/equipment to company employees using manual or automated means. Tracks/monitors calibration due dates for all tools and special equipment from cradle to grave.

Coordinates with remote sites to ensure replacement calibrated tools and equipment are returned and replaced with calibrated tools prior to calibration expiration. Read and interpret manufacturers' and FAA required calibration and maintenance requirements for tools and special equipment and tracks all such requirements. Adheres to established company tool control policies and procedures and adopts industry best practices.

Assists Maintenance section with maintenance of small gas generators. Establish priorities, maintenance and inspection schedules for all special tools at home station and remote sites to meet program needs and minimize downtime. Maintain inventory management and maintenance tracking in FlightDocs and tool control inventory software.

Assists in the pack out, setup, teardown, and recovery of the company's assets and equipment as it pertains to special tools and equipment. Assist Logistics with preparation and packing of items for shipment. Coordinates the ordering of replacement tools and special equipment for the tool room and remote site pack outs.

Maintains flammable storage and hazardous material areas and documentation. All employees are key safety employees and responsible for managing all daily activities in a manner to contribute to maximum profitability, efficiency, and safety. Aviation is a high risk business - all employees must make every reasonable effort to mitigate the risks.

Maintain standards that are right for the job/mission, and provide co-workers, supervisors and managers input on safety concerns. Responsible in all aspects of duties for identifying, managing risk, and implementing hazard mitigation. Provide input requested in identifying needed training for essential skills and knowledge.

Demonstrates exceptional verbal and written communication skills, creates accurate and detailed reports, shares information and ideas with others, listens and gets clarification. Speaks fluent English. Ability to effectively present information in one-on-one and small group situations to customers, clients and employees.

Ability to apply common sense understanding to carry out instructions detailed in written, oral or diagram form. Uses logic and reasoning to identify and analyze alternate solutions, conclusions or approaches to problems and tasks. To perform this job successfully, an individual should have knowledge of MS Office: Excel, PowerPoint, Word, Outlook (advanced level).

Obtain and maintain an appropriate level security approval. Must be a US citizen. RITI is an Equal Opportunity/Affirmative Action employer.

All qualified applicants will receive consideration for employment without regard to race, color, national origin, ancestry, gender, sexual orientation, age, religion, creed, physical disability, mental disability, medical condition, marital status, military service status, protected veterans, union/non-union activity, or other characteristic protected by state or federal law or local ordinance. EEO/AA/Minority/Gender/Veteran/Disability.To perform this job successfully, an individual must be able to perform each essential duty satisfactorily, other duties may be assigned. The requirements listed below are representative of the knowledge, skill, and/or ability required

Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions. Conducts beginning and end of day tool room inventory ensuring all equipment/special tools are present and controls access to tool room. Establishes and maintains inventory of all special tools and equipment in company tool rooms by manual or automated tracking methodologies.

Issues special tools/equipment to company employees using manual or automated means. Tracks/monitors calibration due dates for all tools and special equipment from cradle to grave. Coordinates with remote sites to ensure replacement calibrated tools and equipment are returned and replaced with calibrated tools prior to calibration expiration.

Read and interpret manufacturers' and FAA required calibration and maintenance requirements for tools and special equipment and tracks all such requirements. Adheres to established company tool control policies and procedures and adopts industry best practices. Assists Maintenance section with maintenance of small gas generators.

Establish priorities, maintenance and inspection schedules for all special tools at home station and remote sites to meet program needs and minimize downtime. Maintain inventory management and maintenance tracking in FlightDocs and tool control inventory software. Assists in the pack out, setup, teardown, and recovery of the company's assets and equipment as it pertains to special tools and equipment.

Assist Logistics with preparation and packing of items for shipment. Coordinates the ordering of replacement tools and special equipment for the tool room and remote site pack outs. Maintains flammable storage and hazardous material areas and documentation.

All employees are key safety employees and responsible for managing all daily activities in a manner to contribute to maximum profitability, efficiency, and safety. Aviation is a high risk business - all employees must make every reasonable effort to mitigate the risks. Maintain standards that are right for the job/mission, and provide co-workers, supervisors and managers input on safety concerns.

Responsible in all aspects of duties for identifying, managing risk, and implementing hazard mitigation. Provide input requested in identifying needed training for essential skills and knowledge. Demonstrates exceptional verbal and written communication skills, creates accurate and detailed reports, shares information and ideas with others, listens and gets clarification.

Speaks fluent English. Ability to effectively present information in one-on-one and small group situations to customers, clients and employees. Ability to apply common sense understanding to carry out instructions detailed in written, oral or diagram form.

Uses logic and reasoning to identify and analyze alternate solutions, conclusions or approaches to problems and tasks. To perform this job successfully, an individual should have knowledge of MS Office: Excel, PowerPoint, Word, Outlook (advanced level). Obtain and maintain an appropriate level security approval.

Must be a US citizen. RITI is an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, color, national origin, ancestry, gender, sexual orientation, age, religion, creed, physical disability, mental disability, medical condition, marital status, military service status, protected veterans, union/non-union activity, or other characteristic protected by state or federal law or local ordinance.

EEO/AA/Minority/Gender/Veteran/Disability.