1

Automated Reasoning Jobs in Indiana (NOW HIRING)

Bioprocess Engineer

South Bend, IN · On-site

$75K - $95K/yr

Functional understanding of automated bioprocessing platforms; able to navigate HMI (Human Machine ... REASONING ABILITIES: * Ability to apply logic and common sense understanding to carry out ...

We are a market leader in automated bio sample management solutions and genomic services across ... Ability to make decisions and judgements based on reasoning * Good working relations and ...

Training Coordinator

Plainfield, IN · On-site

$22 - $28/hr

We are a market leader in automated bio sample management solutions and genomic services across ... Ability to make decisions and judgements based on reasoning * Good working relations and ...

Biobank Technician I

Indianapolis, IN · On-site

$17 - $21.75/hr

We are a market leader in automated bio sample management solutions and genomic services across ... Ability to make decisions and judgements based on reasoning * Ability to perform tasks with care ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension and mechanical reasoning required. * Strong ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension and mechanical reasoning required. * Strong ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension and mechanical reasoning required. * Strong ...

PRN Pharmacist

Greenfield, IN

$56 - $67.25/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: $50.10 per hour - $71.70 ...

... in a highly automated chemical facility. In the area of maintenance, Plant Technicians are ... Working knowledge in math, reading comprehension and mechanical reasoning required. * Strong ...

CNC Cell Operator 1 DNP

Albion, IN · On-site

$18.50 - $25.25/hr

S. and Canada. Employing state-of-the-art robotics, precision welding equipment, and automated ... Reasoning Ability The ability to define problems, collect data, establish facts, and draw valid ...

PRN Pharmacist

Greenfield, IN · On-site

$56 - $67.25/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: $50.10 per hour - $71.70 ...

Showing results 21-40

Automated Reasoning information

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 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 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 job categories do people searching Automated Reasoning jobs in Indiana look for? The top searched job categories for Automated Reasoning jobs in Indiana are:

Maintenance Associate - Health and Wellness Non-Store Operations 2nd Shift (M-F 3pm-11pm)

Walmart

Crawfordsville, IN

$15.50 - $21.50/hr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 7 days ago


Walmart rating

6.0

Company rating: 6.0 out of 10

Based on 22,364 frontline employees who took The Breakroom Quiz

25th of 39 rated national retailers


Job description

Position Summary...What you'll do...Influential Communication Possess knowledge of Verbalnonverbal behaviors application and allocation of business communicationstylestechniques in ambiguous and challenging situations situational awareness communication channelsmediums interpersonal skills anduniversal relationship building with ability to connect seemingly unconnected parties influencing styles To be able to carry out the followingresponsibilities Organizes thoughts and communicates credibly and concisely within scope presents to and influences team members and businesspartners conveying messages through a basic understanding of the relevant context utilizes relevant data and factbased information to articulateresults and provides a recommendation in a structured manner seeks and provides constructive feedback and provides ideasrecommendations onprocesses proactively builds professional networkOperational Excellence Possess knowledge of regulatory and reporting requirements Standard Operating Procedure documentation key functionalroles within assigned department To be able to carry out the following responsibilities Explains operational functions and key functional roles ofassigned department of unit clarifies the role of each department and its relevance to the enterprise strategy describes the interdependence ofsupport functions and line operating functions identifies the primary operational functions of the organization understands where to locate and how toread One Best Way and Standard Operating Procedure information locates information regarding fundamental practices and policies lists commontasks and activities performed by operations functions and subfunctionsPartnership Collaboration Possess knowledge of Stakeholder identification and mapping stakeholder analysis stakeholder communicationstakeholder engagement techniques stakeholder management effectiveness tools and methods fluency in many specialized business vernacularTo be able to carry out the following responsibilities Supports the development of business cases and recommendations Owns delivery of projectactivity and tasks assigned by others Supports process updates and changes Solves simple business issues Demonstrates functional knowledge ofthe business unitorganization being supportedData Digital Literacy Possess Knowledge of Data collection modes techniques and tools data analytics visualization tools and techniquesexisting and upcoming digital applications technology innovation trends industry benchmarks data quality governance To be able to carry out thefollowing responsibilities Gather data information and content in a digital environment and interprets appropriately Ability to effectively communicatethrough data storytelling Review data across systems to ensure completeness of data and applies data quality checks Analyze and create reportsby using existing modelstemplates Apply digital techniques and tools for effective representation of the data to stakeholders Suggest tasks that canbe automated using technology Identify opportunities for improving our datadriven decisionmakingNegotiation Possess knowledge of Negotiation techniques tactics tools systems and processes methods to create WINWIN opportunities forpartners and organization relationship and stakeholder management techniques communication practices To be able to carry out the followingresponsibilities Prepare and compile relevant information and data for use in negotiations Understand negotiating position key driverslevers anddesired outcomes Make decisions based on facts weigh up the pros and cons and be able to explain the reasoning behind decisions Effectivelyengage at all levels in well thought out conversation that takes a positionVendor Management Possess Knowledge of Vendor policies vendor request processes vendor quality standards To be able to carry out thefollowing responsibilities Explains the organizational process for soliciting and selecting vendors identifies efficient means of monitoring andmeasuring vendor performance defines common terms and conditions of agreements with vendors describes programs useful for improving vendorservicesTask Delegation Possess knowledge of Task delegation techniques progress monitoring tools and processes To be able to carry out the followingresponsibilities Identifies the responsibilities of each party in a delegated activity provides examples of appropriately delegated responsibilitiesidentifies common challenges and obstacles to delegation describes the need for setting priorities and establishing milestones as part of delegationresponsibilitiesCustodial Activities Possess Knowledge of Operational requirements of floorcleaning equipment tools machines and companyapprovedchemicals used to perform routine cleaning procedures To be able to carry out the following responsibilities Uses cleaning equipment agents andtechniques for example mops vacuum cleaners pesticides to clean dirt sterilize supplies and dispose waste in assigned areas performs routinecleaning disinfecting tasks participates in deep cleaning and sanitation projects for example quarterly cleaning schedules follows checklists ofcleanliness standards and requirements in compliance with applicable environment codes and regulations reports shortages or failures of custodialfacilities and materials to senior staff for purchase or repair needsSchematics and Technical Drawings Possess Knowledge of common drafting tools procedures and processes blueprints technical drawingspecifications To be able to carry out the following responsibilities Describes common drafting conventions tools procedures and processesIdentifies basic functions and features of a design and visualization system Reads sketches and follow blueprints to determine the location of wiringand equipment Locates and interprets blueprints relevant to own organization or domain Interprets computer drawings and specifications producedby equipment vendor partnersElectrical Systems and Controls Possess Knowledge of Wiring schematics electrical inspection procedures electrician tools safety codes andregulations To be able to carry out the following responsibilities Navigates and troubleshoots control systems Identifies electrical design conceptsand techniques used in supply chain Demonstrates knowledge of wiring schematics ensuring they meet requirements and are safe and compliantExplains procedures and tools for inspecting existing electrical work Demonstrates a basic understanding of electrician services Lists applicablesafety codes and regulations
Respect the Individual:Embraces differences in people cultures ideas and experiences creates a workplace where associates feel seen supported and connected through a culture of belonging creates opportunitiesfor all associatesto thrive and perform helps to attract the best talent
Respect the Individual:Works as a team builds strong and trusting relationships communicates with impact energy and positivity to motivate and influence
Respect the Individual:Strengthens the team by helping developing and mentoring others recognizes others contributions and accomplishments
Act with Integrity: Maintains and promotes the highest standards of integrity ethics and compliance models the Walmart values to support and foster our culture holds oneself and others accountable supports Walmarts goal of becoming a regenerative company by making a positive impact for associates customers members and the world around us
Act with Integrity: Acts in a selfless manner and is consistently humble selfaware honest fair and transparent
Serve our Customers and Members Delivers results while putting the customer first
Serve our Customers and Members Makes decisions based reliable information balances short and longterm priorities and considers how own work impacts the teams ability to deliver on our purpose for all stakeholders
Strive for Excellence:Displays curiosity and a desire to learn takes calculated risks and demonstrates courage and resilience
Strive for Excellence:Drives continuous improvements is open to and uses newtechnologies and skills and supports others through change At Walmart, we offer competitive pay as well as performance-based bonus awards and other great benefits for a happier mind, body, and wallet. Health benefits include medical, vision and dental coverage. Financial benefits include 401(k), stock purchase and company-paid life insurance. Paid time off benefits include PTO (including sick leave), parental leave, family care leave, bereavement, jury duty, and voting. Other benefits include short-term and long-term disability, company discounts, Military Leave Pay, adoption and surrogacy expense reimbursement, and more. You will also receive PTO and/or PPTO that can be used for vacation, sick leave, holidays, or other purposes. The amount you receive depends on your job classification and length of employment. It will meet or exceed the requirements of paid sick leave laws, where applicable. For information about PTO, see https://one.walmart.com/notices. Live Better U is a Walmart-paid education benefit program for full-time and part-time associates in Walmart and Sam's Club facilities. Programs range from high school completion to bachelor's degrees, including English Language Learning and short-form certificates. Tuition, books, and fees are completely paid for by Walmart.
Eligibility requirements apply to some benefits and may depend on your job classification and length of employment. Benefits are subject to change and may be subject to a specific plan or program terms.
For information about benefits and eligibility, see One.Walmart.
The hourly wage range for this position is $33.80 - $37.30* *The actual hourly rate will equal or exceed the required minimum wage applicable to the job location. Additional compensation in the form of premiums may be paid in amounts ranging from $0.35 per hour to $3.00 per hour in specific circumstances. Premiums may be based on schedule, facility, season, or specific work performed. Multiple premiums may apply if applicable criteria are met.Minimum Qualifications...

Outlined below are the required minimum qualifications for this position. If none are listed, there are no minimum qualifications.

1 years of experience repairing/maintaining optical, mechanical or electrical equipment in an industrial setting.
Additional certifications may be required based on State Laws or requirements (National Certification/Registration).Preferred Qualifications...

Outlined below are the optional preferred qualifications for this position. If none are listed, there are no preferred qualifications.

ABO Certificate for Optical Lab, Industrial Maintenance Certification, OSHA 10 Certification, Trade/Vocational School Associates Degree, Working with blueprints, schematics, and equipment manualsPrimary Location...801 Corda Blvd, Crawfordsville, IN 47933-2152, United States of AmericaWalmart and its subsidiaries are committed to maintaining a drug-free workplace and has a no tolerance policy regarding the use of illegal drugs and alcohol on the job. This policy applies to all employees and aims to create a safe and productive work environment.

What Walmart employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Walmart logo

About Walmart

Sourced by ZipRecruiter

From our humble beginnings as a small discount retailer in Rogers, Ark., Walmart has opened thousands of stores in the U.S. and expanded internationally. Through innovation, we're creating a seamless experience to let customers shop anytime and anywhere online and in stores. We are creating opportunities and bringing value to customers and communities around the globe. Walmart operates approximately 10,500 stores and clubs in 19 countries and eCommerce websites. We employ 2.1 million associates around the world — nearly 1.6 million in the U.S. alone.

Industry

Retail and transportation and warehousing

Company size

10,000+ Employees

Headquarters location

Bentonville, AR, US

Social media