1

Automated Reasoning Jobs in Florida (NOW HIRING)

... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...

Principal Software Engineer (Python)

Sunrise, FL · On-site +1

$128K - $172K/yr

  • Medical

  • Life

  • Retirement

  • PTO

Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...

Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...

Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...

Maintenance Mechanic

Miromar Lakes, FL · On-site

$23.25 - $29.75/hr

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Maintenance Mechanic

Fort Myers, FL

$23.25 - $29.75/hr

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Maintenance Mechanic

Fort Myers, FL · On-site

$23.25 - $29.75/hr

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Maintenance Mechanic - Manufacturing

Miromar Lakes, FL · On-site

$23.25 - $29.75/hr

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Maintenance Mechanic

Fort Myers, FL · On-site

$23.25 - $29.75/hr

Installs, programs and repairs automated equipment. * Checks and replaces light bulbs as needed ... Reasoning Abilities: Ability to use cognitive reasoning PHYSICAL DEMANDS While performing the ...

Be Seen First

Mechanical Assembly Technician (Machine Builder)

Apopka, FL · On-site

$20 - $25/hr

  • Medical

  • Dental

  • Vision

Assemble custom automated machinery, large-scale industrial equipment, subassemblies, and ... Strong mechanical aptitude, spatial reasoning, and critical troubleshooting skills. * High ...

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 job categories do people searching Automated Reasoning jobs in Florida look for?

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

What cities in Florida are hiring for Automated Reasoning jobs?

Cities in Florida with the most Automated Reasoning job openings:

AI Software Engineer Expert - Remote

YO AI Labs

Miami, FL • Remote

$100 - $200/hr

Part-time

Posted 7 days ago


Job description

Job Title: AI Software Engineering Domain Remote

Job Type: Contractor (Part-Time)
Location: Remote

Job Overview

We are seeking experienced AI Software Engineering Domain Experts to contribute their technical expertise to an innovative project focused on improving next-generation AI systems. In this role, you will evaluate, review, and refine AI-generated software engineering content to enhance the quality, accuracy, and reasoning of AI models. No prior AI experience is required—your software engineering expertise is what matters most.

Key Responsibilities
  • Analyze, review, and improve AI-generated software engineering content for technical accuracy and clarity.
  • Create, refine, and evaluate prompts to improve AI-generated technical outputs.
  • Conduct rubric-based evaluations of AI model responses, providing detailed quality feedback.
  • Draft and edit technical documentation, architecture documents, RFCs, design specifications, and engineering proposals.
  • Perform independent research and fact-checking to validate technical information.
  • Interpret and annotate technical data to support AI model training and evaluation.
  • Collaborate remotely with cross-functional teams to deliver high-quality project outcomes.
Required Skills
  • Critical Thinking
  • Analytical Reasoning
  • Quality Assurance
  • Prompt Engineering
  • AI Output Evaluation
  • Technical Documentation
  • Technical & Professional Writing
  • Content Review & Editing
  • Data Annotation
  • Fact Checking
  • Independent Research
  • Business Communication
  • Problem-Solving
  • Attention to Detail
Preferred Qualifications
  • 3+ years of professional experience as a Software Engineer, Senior Software Engineer, Staff Engineer, Technical Lead, Engineering Manager, Solutions Architect, or similar role.
  • Experience authoring or reviewing technical documentation, architecture documents, RFCs, design specifications, engineering proposals, postmortems, technical blogs, or code reviews.
  • Strong critical thinking, analytical reasoning, and structured problem-solving skills.
  • Excellent written communication and technical editing abilities.
  • Experience with AI coding tools or automated documentation tools is a plus but not required.
  • Advanced degree (Master's, MBA, JD, or PhD) or equivalent professional experience is preferred.