ZipRecruiter

Log In

1

Automated Reasoning Jobs in Florida (NOW HIRING)

Pwc

AI Engineer

Miami, FL · 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 ...

ServiceNow

Senior Staff Database Engineer

West Palm Beach, FL · On-site +1

$102K - $139K/yr

Company Description It all started when engineer Fred Luddy wrote code that automated a tedious ... You bring strong logical reasoning, adapt quickly to new problems, and are comfortable owning high ...

Pwc

AI Engineer

Boca Raton, FL · 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 ...

ServiceNow

Senior Staff Database Engineer

West Palm Beach, FL · On-site +1

$102K - $139K/yr

Company Description It all started when engineer Fred Luddy wrote code that automated a tedious ... You bring strong logical reasoning, adapt quickly to new problems, and are comfortable owning high ...

Pwc

AI Engineer

Tampa, FL · 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 ...

SP+

Customer Service Representative - Driving

West Palm Beach, FL · On-site

$15.50 - $21/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Boats Group

AI Software Engineer

Miami, FL · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

... reasoning-based systems that perform tasks end-to-end. * Architect and develop scalable backend ... Collaborate with cross-functional stakeholders to translate business operations into automated, AI ...

Boats Group

AI Software Engineer

Miami, FL · On-site +1

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

... reasoning-based systems that perform tasks end-to-end. * Architect and develop scalable backend ... Collaborate with cross-functional stakeholders to translate business operations into automated, AI ...

previous pagenext page

Showing results 21-40

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Florida

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

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

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:

Automated Reasoning jobs near you

Electrical and Controls Technician - Nights

MITER Brands

Nokomis, FL • On-site

$32 - $38/hr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 9 days ago

MITER Brands rating

6.9

Company rating: 6.9 out of 10

Based on 18 frontline employees who took The Breakroom Quiz

Job description

Job Description
We are currently seeking a skilled electrical and controls tech to join our team in Venice, FL. A successful candidate will bring a strong mechanical and electrical background, excellent communication skills, eagerness to move into a higher-level position, and experience in a manufacturing plant. Our company offers a competitive hourly rate and overtime, favorable benefits, opportunities for advancement, great culture, and strong leadership.
POSITION - Electrical and Controls Tech - Manufacturing Plant
LOCATION - Venice, Florida
HOURLY RATE - $32 -38 per hour - Hourly rate is based on experience and mechanical/electrical testing scores.
SHIFT - 5pm to 5am - Friday - Sunday - Paid for 40 hours - Plus .50 for SD
ESSENTIAL DUTIES AND RESPONSIBILITIES include the following. Other duties may be assigned.
  • Provide direct front-line support of site process automation and data collection systems for manufacturing and utilities systems
  • Support Process Automation Engineering system owners for exclusive process automation systems (e.g. SCADA, data backups, etc.)
  • Follow site procedures and technical standards for the automation function
  • Execute continuous improvement and upgrade projects for process automation systems
  • Conduct and analyze condition-based predictive maintenance activities (e.g. infrared thermography, vibration monitoring, etc.) to detect early onset of equipment failures
  • Ability to perform mid-level mechanical and electrical troubleshooting and maintenance activities

QUALIFICATIONS
To perform this job successfully, an individual must be able to perform each essential duty satisfactorily. 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.
EDUCATION and/or EXPERIENCE
  • Associate of Science Degree in Electrical Engineering Technology or 4 -5 years extensive experience in a similar role.
  • Minimum 10 years manufacturing experience: automation, controls, electrical/mechanical craft, IT
  • Experience in electrical and mechanical maintenance work

LANGUAGE / COMMUNICATION SKILLS
  • Language Requirement - English
  • Strong communication and networking skills
  • Knowledge of manufacturing safety requirements for automated and electrical systems

REASONING ABILITY
  • Ability to execute physical and logical troubleshooting sequences
  • Ability to read/understand controller ladder logic, programming code
  • Ability to read/understand electrical wiring diagrams and schematics

CERTIFICATES, LICENSES, REGISTRATIONS - Preferred; not required
  • Certificates in programming and troubleshooting process automation systems including common PLC, HMI, and SCADA platforms
  • Level I certification in multiple predictive technologies (e.g. infrared thermography, vibration monitoring, etc.)
  • Software proficiency in Microsoft Office Suite Software
  • Proficiency in Computerized Maintenance Management Systems (CMMS)

PHYSICAL DEMANDS / WORK ENVIRONMENT
The physical demands described here are representative of those that must be met by an employee to successfully perform the essential functions of this job. Reasonable accommodations may be made to enable individuals with disabilities to perform the essential functions.
  • Usual office environment with frequent sitting, walking, and standing, and occasional climbing, stooping, kneeling, crouching, crawling, and balancing.
  • Frequent use of eye, hand, and finger coordination enabling the use of manufacturing machinery.
  • Oral and auditory capacity enabling interpersonal communication as well as communication through automated devices such as the telephone.

TRAVEL REQUIREMENTS
Ability to travel occasionally for equipment acceptance testing and training
MITER#Venice
What We Offer
At MITER Brands, we invest in your health, wealth, and wellness. Our comprehensive benefits package supports you and your eligible spouse/dependents while helping you achieve your personal and professional goals.
We offer competitive pay, a 401(k) with company match, and generous paid time off to help you maintain a healthy work-life balance.
Health & Wellness
  • Three comprehensive medical plan options
  • Prescription drug coverage
  • Dental insurance
  • Vision insurance
  • Teladoc virtual healthcare services
  • Employee Assistance Program (EAP)
  • Annual Wellness Clinic

Financial Protection
  • Company-paid Life Insurance
  • Voluntary Life Insurance
  • Company-paid Short-Term Disability
  • Company-paid Long-Term Disability
  • Supplemental Hospital Indemnity Insurance
  • Critical Illness Insurance
  • Accident Insurance

Additional Benefits
  • Paid Time Off (PTO) and paid holidays
  • 401(k) retirement plan with company match
  • Tuition Reimbursement Program
  • Legal Insurance
  • Identity Theft Protection
  • Pet Insurance
  • Team Member Discount Program

MITER Brands, including MI Windows and Doors, Milgard, and PGT Innovations, is an Equal Opportunity Employer. We are committed to fostering an inclusive workplace and do not discriminate based on race, color, religion, sex, national origin, age, disability, veteran status, genetic information, sexual orientation, or any other protected status under applicable law.
Work Authorization and Sponsorship Disclosure:
The Company does not offer employer sponsorship at this time. Therefore, candidates must provide truthful and complete information regarding their eligibility to work in the U.S. and any current or future need for employment sponsorship. Misrepresentation regarding work authorization or sponsorship need at any stage of the hiring process will result in disqualification from consideration, rescission of an employment offer, or termination of employment.

What MITER Brands employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply