Talent.com

Machine learning engineer Jobs in Beaumont, TX

Create a job alert for this search

Machine learning engineer • beaumont tx

Last updated: 16 hours ago

Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

MercorBeaumont, Texas, US
Remote
Part-time

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean.Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help ... Show more

Remote Mechanical Engineer

Micro1Vidor, Texas, US
Remote
Full-time

AI data lab for training frontier models and evaluating AI agents.Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more.AI... Show more

 • Promoted

Senior Electrical Reliability Engineer

AmtecBeaumont, TX, Texas, USA
$145,000.00 yearly
Full-time

Georgia,serif;"><strong>Job Title: Senior Electrical Reliability Engineer<br /> <br /> Work Experience: 10 - 25 years<br /> <br /> Location: Beaumont, TX<br... Show more

Sales Engineer

FlowserveBeaumont, TX, United States
Full-time

As a Sales Engineer, you are responsible for maintaining and developing relationships with key customers and trade organizations, understanding and solidifying purchase agreements, customer allianc... Show more

Engineer/Facilities Maintenance

Residence Inn - Beaumont, TXBeaumont, TX, US
Full-time

Grow Your Career with Flynn Hospitality.At Flynn Hospitality, we’re not just in the hotel business — we’re in the.Our mission? To become the premier hotel franchise operator in the world.To us, bei... Show more

Field Engineer

Southland HoldingsBeaumont, TX, US
Full-time
Quick Apply

Southland Holdings is currently accepting resumes for experienced heavy highway Field Engineers for our  Southeast Texas/Louisiana  division.For more than 100 years, hard-working, honest,... Show more

Project Engineer - Power

KiewitBeaumont, TX, United States
Full-time

Locations: Lenexa, KS, US Beaumont, TX, US Vicksburg, MS, US Little Rock, AR, US Monroe, LA, US Hobbs, NM, US Coleman, TX, US Harrah, OK, US Clarksdale, MS, US Vicksburg, MS, US Greenville, MS, US ... Show more

Sr. Production Engineer

Water TechnologiesBeaumont, Texas, United States
Full-time

Production Engineer to direct operations and set technical strategy at our water chemical treatment facility across Production and Logistics.This role requires a strategic engineering leader who wi... Show more

Data Platform Engineer

Syms Strategic Group, LLC (SSG)Beaumont, TX, US
$85,389.00–$116,975.00 yearly
Full-time
Quick Apply

Syms Strategic Group (SSG)  is seeking a talented Data Platform Engineer Location:.Remote Department: Veterans Affairs (VA) Type:  Full Time Min.Experienced Security Clearance Level:&#160... Show more

Staff Reliability Engineer Job

ArkemaBeaumont, TX, US
Full-time

Arkema’s Beaumont Plant is seeking a knowledgeable Staff Reliability Engineer to support rotating equipment performance, strengthen predictive maintenance programs, and contribute to long‑term equi... Show more

Remote Machine Learning Expert - AI Trainer ($70-$120 per hour)

MercorBeaumont, Texas, US
$70.00–$120.00 hourly
Remote
Part-time

The research teams behind the best-known AI models come to Mercor for machine learning judgment they can't generate on their own.Your standards and expertise become the rubric that frontier AI is g... Show more

Remote Mechanical Engineer

Micro1Beaumont, Texas, US
Remote
Full-time

AI data lab for training frontier models and evaluating AI agents.Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more.AI... Show more

 • Promoted

Engineer I- Sr. (Trans)

EntergyBeaumont, Texa, Un
Full-time

This position can be filled as an Engineer I - Sr  based on the qualifications and experience of the selected candidate.This position can be filled in Beaumont, TX, Conroe, TX or Metairie, LA.Perfo... Show more

Rotating Equipment Engineer Senior OOJ - 33202

Hatch Global SearchBeaumont, Texas, United States
Full-time

A senior rotating equipment engineer is responsible for the technical integrity and reliability of rotating equipment in production units.They work with a variety of equipment, including pumps, com... Show more

ITM Agent

Education First FCUBeaumont, TX, US
Full-time
Quick Apply

Job Summary Responsible for accurately processing financial transactions and being an effective source of information for our members through many channels.Interacts with members through the variou... Show more

Director of Teaching and Learning

TMACBeaumont, TX, United States
Full-time

The Director of Teaching and Learning's responsibilities include, but are not limited to, providing strategic leadership for faculty and staff professional development, instructional design, and ad... Show more

Automation Engineer

Optimus Steel LLCVidor, Texas, United States, 77662
Full-time
Quick Apply

This position will assist the department process engineers and supervisors, and plant management in ensuring the efficiency and effectiveness of all improvement aspects within the electrical and pr... Show more

 • Promoted • New!

Reliability Engineer

Channel Personnel ServicesBeaumont, TX, US
Full-time

Responsible for improving the safety, reliability and efficiency of plant fixed and rotating equipment by applying engineering expertise to maintenance, performance, and operational issues.Near ter... Show more

Entry Level Programmer/Coder/Developer/Data Scientist/Analyst/Engineer

SynergisticITBeaumont, TX, United States
Full-time

Since 2010 Synergisticit has helped jobseekers differentiate themselves by providing candidates the requisite skills and experience to outperform at interviews and clients.Here at SynergisticIT we ... Show more

Shipboard Network Engineering Implementation Support

CACI International IncBeaumont, TX, US
$66,400.00 yearly
Full-time +1

Job Title: Shipboard Network Engineering Implementation SupportJob Category: Information TechnologyTime Type: Part timeMinimum Clearance Required to Start: SecretEmployee Type: Part-Time On-CallPer... Show more

People also ask
The highest-paying jobs are:
The top 10 cities are:
Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

MercorBeaumont, Texas, US
1 day ago
Job type
  • Part-time
  • Remote
Job description
  • Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. # 1\. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the lab's researchers judge whether a model's proof is not just accepted by the checker but actually proves the right thing. If you enjoy writing Lean, know your way around mathlib, and can explain why a formalization is faithful or subtly wrong, this role is for you. This is a part-time commitment of at least 20 hours per week, with the option to increase to up to 40 hours per week. This is a W-2 employment position with Cincinnatus LLC (or appropriate international entity), with the opportunity to be placed at a leading AI lab as part of their extended workforce. # 2\. Key Responsibilities - Write correct, idiomatic Lean 4 statements and proofs that compile against current mathlib, across areas such as algebra, analysis, number theory, combinatorics and logic. - Formalize natural-language mathematics, from competition problems and textbook results to research-level lemmas, paying close attention to whether the formal statement matches the original. - Review AI-generated Lean statements and proofs, find where they fail or prove the wrong thing, and give clear, specific written feedback. - Help define guidelines and rubrics for proof quality, statement fidelity and mathlib conventions. - Collaborate with other Lean engineers and the lab's researchers to keep standards consistent and keep raising the quality bar. # 3\. Core Qualifications - Hands-on experience writing formal proofs in Lean 4, for example mathlib contributions, a formalization project, a Lean library or tool, or autoformalization work. - Comfort with mathlib and Lean 4 tactics, and with finding and using the right lemmas. - A strong background in proof-based mathematics, theoretical computer science or logic, through a degree or a research record. - The ability to turn a written statement and proof into a correct formal statement and a proof that checks. - Ability to engage reliably for at least 20 hours / week during weekdays. - Clear written communication and the ability to explain proof strategy and formalization choices precisely. Nice to have : experience with other proof assistants or dependently typed languages (Coq / Rocq, Isabelle, Agda, Haskell), Lean metaprogramming, or AI-for-math work such as LLM provers, Lean agent environments, or benchmarks like miniF2F, ProofNet or PutnamBench. You don't need all of these to apply. About Cincinnatus LLC : Cincinnatus LLC is an enterprise staffing company that partners with leading technology companies to source and employ highly skilled professionals for contingent and contract-based opportunities. Cincinnatus serves as the employer of record for these engagements, providing W-2 employment, payroll, benefits, and compliance, while placing employees directly within client teams to work on high-impact initiatives. Equal Employment Opportunity : Cincinnatus is proud to be an Equal Employment Opportunity employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, reproductive health decisions, or related medical conditions), sexual orientation, gender identity, gender expression, age, status as a protected veteran, status as an individual with a disability, genetic information, political views or activity, or any other legally protected characteristic.