1 data normalization opportunities in Bremerton updated today
job offer found
Data Visualization Analyst The Opportunity: To transform in today’s evolving digital world, organizations must harness data to resolve emerging problems at scale. As an analytics professional, you thrive on using your critical-thinking skills to dig deep into complex data and mining solutions, and y
Mathematical Formalization Specialist (Lean / Formal Proof Systems) Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization,
AlignerrMathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,
A leading AI research firm in Seattle is looking for a Mathematical Formalization Specialist to translate informal mathematical proofs into rigorous formal systems, particularly using Lean. The ideal candidate holds a Master's degree in Mathematics and has hands-on experience with proof tools. You w
Researcher - Lean 4 & Formal Proof Systems Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Organization: Alignerr Position: Lean 4 Proof Engineer - Mathematical Formalization Type: Hourly Contract Compensation: $
A technology and research organization is looking for a Researcher specializing in Lean 4 and formal proof systems to work on cutting-edge AI projects. The ideal candidate will have a strong mathematical background, with a Master's degree or higher, and experience with formal verification tools. Thi
Researcher - Lean 4 & Formal Proof Systems - Location: Remote About the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathemat
Researcher – Lean 4 & Formal Proof Systems Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionat
Tata Consultancy ServicesMust Have Technical/Functional Skills • Awareness of IBM Data Stage ETL/ELT data integration tool to understand existing code. • Develop , Test , Deploy ,Optimize, and monitor large-scale data processing workloads in Azure Data Bricks ETL. • Ensure and lead the efforts to review Legacy Data Stage le
$25,000 – $39,000/year
Estimation confidence: Low
Estimate based on market data for Bremerton. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for data normalization jobs in other cities in United States
Explore other job opportunities in Bremerton