1

Automated Reasoning Jobs in Texas (NOW HIRING)

Develop, test, implement, and optimize automated laboratory assays and workflows to improve ... Mechanical aptitude and understanding of laboratory automation systems; strong spatial reasoning ...

Senior Controls & Robotics Engineer

Austin, TX · On-site

$96K - $126K/yr

Design and architect PLC/HMI-based control systems for automated and semi-automated manufacturing ... Strong communication skills to convey technical reasoning and mission-critical messaging clearly ...

Strong understanding of CI/CD pipelines and automated quality gates. Experience with AWS services ... Solid understanding of LLM reasoning patterns, retrieval-augmented generation (RAG), function ...

... reasoning system to boost actionable insights and optimize resources of machine learning process ... for automated building, testing, and deployment of machine learning models. - Monitors and ...

... reasoning system to boost actionable insights and optimize resources of machine learning process ... for automated building, testing, and deployment of machine learning models. - Monitors and ...

... automated scripts Develop high quality automation test engineering best practices, test strategy ... reasoning skills, including the ability to make a strong case for technology choices Basic ...

Experience in designing automated engines for metadata-triggered schema self-repair and structural ... context-aware graph reasoning. • Policy-as-Code Compliance: Production-grade deployment ...

Showing results 41-60

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 cities in Texas are hiring for Automated Reasoning jobs?

Cities in Texas with the most Automated Reasoning job openings:

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

Full-time

Re-posted 5 hours ago


Job description

KEY RESPONSIBILITIES

  • Independently gather and translate user requirements into automated workflow solutions.
  • Develop, test, implement, and optimize automated laboratory assays and workflows to improve operational efficiency, throughput, quality, and reliability.
  • Perform verification and validation activities in accordance with regulatory and quality requirements.
  • Configure, program, troubleshoot, and maintain automated liquid handling instrument software and associated systems.
  • Collaborate with Information Technology (IT) and laboratory teams to support system integrations, data management, and Laboratory Information Management System (LIMS) interfaces.
  • Provide technical support for laboratory automation systems, including troubleshooting hardware, software, workflow, and integration issues.
  • Perform calibration, maintenance, and repair activities on laboratory automation equipment and supporting instrumentation.
  • Participate in on-call support rotation for production automation systems.
  • Train laboratory personnel on automated workflows, equipment operation, and best practices.
  • Generate, maintain, and revise SOPs, work instructions, validation documentation, and other automation-related records.
  • Track, document, and manage changes to automation methods, software configurations, and workflows.
  • Analyze operational data and identify opportunities for process improvement and increased system reliability.
  • Support automation projects from concept through deployment and operational handoff.
  • Collaborate with vendors and internal stakeholders to evaluate, implement, and support automation solutions.
  • Participate in continuous improvement initiatives and contribute technical recommendations.
  • Perform other job-related duties as assigned.
  • Adhere to the Code of Conduct as outlined in Baylor Genetics' Compliance Program.

QUALIFICATIONS

Required

  • BS in Engineering, Computer Science, Biotechnology, Biochemistry, or a related field with 2+ years of relevant experience, or
  • MS in Engineering, Computer Science, Biotechnology, Biochemistry, or a related field with 1+ years of relevant experience
  • Experience working in a biotechnology, clinical laboratory, or related environment.
  • Experience operating, supporting, and developing methods for automated liquid handling systems. Preferred platforms include Tecan, Beckman, Hamilton, or equivalent laboratory automation systems.
  • Ability to independently troubleshoot and resolve issues involving liquid handling equipment and general laboratory instrumentation.
  • Strong programming skills in Visual Basic, Python, SQL, or equivalent programming languages.
  • Good laboratory and organizational skills; the ability to work independently and efficiently is essential.
  • Strong creative thinking and problem-solving skills.
  • Strong written and verbal communication skills.
  • Ability to collect, analyze, and interpret data to support verification, validation, calibration, and troubleshooting activities.
  • Strong Microsoft Excel data manipulation and analysis skills.
  • Ability to develop algorithms, scripts, and software solutions to support automation and data analysis needs.
  • Mechanical aptitude and understanding of laboratory automation systems; strong spatial reasoning skills.
  • Understanding of basic statistical concepts, including accuracy, precision, variability, and trend analysis.
  • SQL and database knowledge.

Preferred

  • Experience integrating automation platforms with LIMS, databases, or other laboratory software systems.
  • Experience supporting production laboratory operations in a regulated environment.
  • Knowledge of Lean, Six Sigma, or other continuous improvement methodologies.
  • Experience participating in automation project implementation, system commissioning and deployment.

COMPETENCIES

  • Analytical--Synthesizes complex or diverse information; Collects and researches data; Uses intuition and experience to complement data; Designs workflows and procedures.
  • Problem Solving--Identifies and resolves problems in a timely manner; Gathers and analyzes information skillfully; Develops alternative solutions; Works well in group problem solving situations; Uses reason even when dealing with emotional topics.
  • Technical Skills--Assesses own strengths and weaknesses; Pursues training and development opportunities; Strives to continuously build knowledge and skills; Shares expertise with others.
  • Interpersonal Skills--Focuses on solving conflict, not blaming; Maintains confidentiality; Listens to others without interrupting; Keeps emotions under control; Remains open to others' ideas and tries new things.
  • Oral Communication--Speaks clearly and persuasively in positive or negative situations; Listens and gets clarification; Responds well to questions; Demonstrates group presentation skills; Participates in meetings.
  • Written Communication--Writes clearly and informatively; Edits work for spelling and grammar; Varies writing style to meet needs; Presents numerical data effectively; Able to read and interpret written information.
  • Teamwork--Balances team and individual responsibilities; Exhibits objectivity and openness to others' views; Gives and welcomes feedback; Contributes to building a positive team spirit; Puts success of team above own interests; Able to build morale and group commitments to goals and objectives; Supports everyone's efforts to succeed.
  • Leadership--Exhibits confidence in self and others; Inspires and motivates others to perform well; Effectively influences actions and opinions of others; Accepts feedback from others; Gives appropriate recognition to others.
  • Ethics--Treats people with respect; Keeps commitments; Inspires the trust of others; Works with integrity and ethically; Upholds organizational values.
  • Professionalism--Approaches others in a tactful manner; Reacts well under pressure; Treats others with respect and consideration regardless of their status or position; Accepts responsibility for own actions; Follows through on commitments.
  • Adaptability--Adapts to changes in the work environment; Manages competing demands; Changes approach or method to best fit the situation; Able to deal with frequent change, delays, or unexpected events.
  • Dependability--Follows instructions, responds to management direction; Takes responsibility for own actions; Keeps commitments; Commits to long hours of work when necessary to reach goals; Completes tasks on time or notifies appropriate person with an alternate plan.
  • Innovation--Displays original thinking and creativity; Meets challenges with resourcefulness; Generates suggestions for improving work; Develops innovative approaches and ideas; Presents ideas and information in a manner that gets others' attention.

PHYSICAL DEMANDS AND WORK ENVIRONMENT

  • Frequently required to sit
  • Frequently required to utilize hand and finger dexterity
  • Frequently required to talk or hear
  • Frequently required utilize visual acuity to operate equipment, read technical information, and/or use keyboard
  • Occasionally exposure to bloodborne and airborne pathogens or infectious materials

EEO STATEMENT

Baylor Genetics is proud to be an equal opportunity employer committed to fostering an inclusive and diverse workplace. We welcome and encourage applicants from all backgrounds to apply. We do not discriminate on the basis of race, color, religion, national origin, sex, sexual orientation, gender identity, age, veteran status, disability, genetic information, pregnancy, childbirth, or any other status protected by applicable federal, state, or local law. If you need an accommodation during the application process, please contact our Human Resources team.