Talent.com

Data engineer Jobs in Beaumont, TX

Create a job alert for this search

Data engineer • beaumont tx

Last updated: 14 hours ago

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

MercorBeaumont, Texas, US
RemoteRemote
Part-timePart-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

Senior Electrical Reliability Engineer

AmtecBeaumont, TX, Texas, USA
$145,000.00 yearly$145,000.00 yearly

Job Title: Senior Electrical Reliability Engineer.Work Experience: 10 - 25 years.Salary Rate: $145,000 - $180,000.Other Compensation: STI & LTI eligible.Perform Engineering duties by applying princ... Show more

Field Inspector 1099 Contractor

Seek NowBeaumont, Texas, United States
$32.00 hourly$32.00 hourly

Established in 2012, Seek Now captures robust property data to meet the needs of customers across the insurance and real estate industries.With more than 2 million property inspections completed to... Show more

Engineer/Facilities Maintenance

Residence Inn - Beaumont, TXBeaumont, TX, US
Full-timeFull-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

Data Entry Product Support - No Experience

GLOCPAVidor, Texas
$15.00 hourly$15.00 hourly
Temporary, Part-timeTemporary, Part-time

Product Testers are wanted to work from home nationwide in the US to fulfill upcoming contracts with national and international companies.We guarantee 15-25 hours per week with an hourly pay of bet... Show more

 • Promoted

IT Support Supervisor

Revel StaffingBeaumont, Texas, United States
RemoteRemote
Full-timeFull-time
Quick Apply

IT training, application support, systems readiness, and end-user success.This role is ideal for a hands-on leader with strong healthcare IT knowledge, training experience, and the ability to suppo... Show more

 • New!

Reliability Engineer Job

ArkemaBeaumont, TX, US

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

2026-2027 U.S. Operations Intern/Co-op – Fall Posting

DowBeaumont
$21.92 hourly$21.92 hourly
PermanentPermanent

At Dow, we believe in putting people first and we’re passionate about delivering integrity, respect and safety to our customers, our employees and the planet.Our people are at the heart of our solu... Show more

Engineer

TechServ Engineering & ConsultingBeaumont, TX, US

Engineers will be provided an opportunity to expand their technical knowledge of the distribution system.They will assist and/or lead project teams to create high-quality designs for new projects, ... Show more

Senior Geotechnical Engineer

Tolunay-Wong Engineers, Inc.Beaumont
Full-timeFull-time
Quick Apply

Our offices are in Texas and Louisiana with a staff of over 300 engineers, scientists, technicians, geologists, hydrogeologists, and associated laboratory and support personnel.We are seeking a Sen... Show more

Engineer I- Sr. (Trans)

EntergyBeaumont, Texa, Un

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, or Conroe, TX.Performs a wide var... Show more

Rotating Equipment Engineer Senior OOJ - 33202

Hatch Global SearchBeaumont, Texas, United States

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

Remote Agent Engineer - AI Trainer ($100-$500 per hour)

MercorBeaumont, Texas, US
RemoteRemote

We are looking for engineers who build and operate LLM agents in production, and who have real visibility into how agents are actually used inside a company.You have probably: - Shipped an agent th... Show more

Work from Home Data Entry Clerk

GL Inc.Vidor, Texas
$15.00 hourly$15.00 hourly
RemoteRemote
Temporary, Part-timeTemporary, Part-time

Product Testers are wanted to work from home nationwide in the US to fulfill upcoming contracts with national and international companies.We guarantee 15-25 hours per week with an hourly pay of bet... Show more

 • Promoted

GOTV Data Associate

Texas Democratic PartyBeaumont, Texas, United States, 77701
$5,000.00 monthly$5,000.00 monthly
Quick Apply

About the Texas Democratic Party.Founded in 1846, Texas Democrats continue the march towards a state as great as its promise.A fair shot for all, that’s what drove Democrats to build this great sta... Show more

Project Engineer - Entergy

TIC companiesBeaumont, TX, US
Full-timeFull-time

Are you interested in a hands-on, real-world learning experience directly related to the skills needed in a full-time construction career in the Power market? We are seeking individuals who are ope... Show more

Engineer, Senior Environmental (Beaumont,TX)

Enterprise ProductsBeaumont, TX, US
Full-timeFull-time

Enterprise Products Partners L.North American provider of midstream energy services to producers and consumers of natural gas, NGLs, crude oil, refined products and petrochemicals.Our services incl... Show more

Reliability Engineer

Channel Personnel ServicesBeaumont, TX, US

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

Chemical Lab Technician in Beaumont TX

KellyBeaumont, Texas, US
TemporaryTemporary

Chemical Lab Technician in Beaumont TX.We are seeking a detail-oriented.This position will perform testing of incoming materials, in-process samples, final products, raw materials, and other sample... Show more

People also ask
The highest-paying jobs 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
28 days 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.