Lean 4 Formal Mathematics Engineer
Mercor51 – 200 Employees
Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.
Open
CaixaBank is a Spain-based financial services group operating across banking, insurance, and consulting. It provides banking services and investment solutions for individual and business customers through an extensive branch network. The company also focuses on talent development, with career opportunities and talent programs supporting professional growth across its teams.
Operational Risk Data Scientist
Build predictive models and Google Cloud data pipelines to support CaixaBank’s operational risk management. Contribute to loss estimation, reporting, and risk mitigation, with work based in Madrid or Barcelona.
Description
- Analyze large datasets to identify patterns, trends, and potential risks.
- Develop predictive models using machine learning and statistical methods.
- Recommend mitigation strategies to strengthen organizational resilience.
- Automate risk detection and management with technology solutions.
- Help design and implement the operational loss data model.
- Build and assess hybrid machine learning and advanced statistical models to estimate operational losses.
- Support process migration to Google Cloud using BigQuery, DBT, and Vertex AI.
- Design scalable pipelines with traceability, reproducibility, and efficiency.
- Automate reporting and prepare data for internal reports and the Operational Risk Committee.
- Contribute to reports and communicate with senior management, Internal Validation, Audit, and supervisors.
- Work with teams specializing in operational losses.
Requirements
- University degree in mathematics, statistics, data science, data engineering, or a related field.
- Experience analyzing advanced statistical or mathematical models, including distribution fitting, hypothesis testing, statistical validation, tail analysis and extreme distributions, Monte Carlo simulations, and time series.
- Advanced R or Python skills.
- Advanced SQL or SAS skills.
- Experience with Google Cloud services, including BigQuery and Vertex AI.
- Data engineering and optimization experience is an advantage, including SQL and DBT pipelines, GitLab, and efficient execution of SQL/DBT workflows.
- Knowledge of non-parametric models, particularly for forecasting and text mining (NLP).
- Strong critical analysis and synthesis skills.
- Results orientation and ability to work independently.
- Flexibility, foresight, and adaptability to change.
- Strong communication, interpersonal, and teamwork skills.
Benefits
- Personalized onboarding and support for professional development.
- An individual learning plan with access to an online platform and self-guided learning resources.
- Comprehensive health insurance at no cost.
- Pension plan with CaixaBank contributions.
- Flexible compensation options for transport, training, language courses, childcare, and other expenses.
- Flexible working arrangements, including remote work and flexible start times.
- Top Employer certification.
Related Jobs
Chief Engineer, Customer Service Technology
Commonwealth Bank
Set CommBank’s customer service technology strategy and lead engineering across contact centres, lending and customer assistance. Build resilient, scalable platforms and AI-enabled experiences.
Open
Principal Software Engineer, Video Coding and Streaming
The Walt Disney Company
United States
California
North Carolina$209,500 – $280,900 / year
On-siteFull-timeLeadEnglish RequiredFull-stack EngineerSoftware EngineerLead research and development in video coding, processing, and streaming, with a focus on machine learning and AI. Shape platform architecture, contribute to industry standards, and advance technical work across Disney’s global team.
Open
Software Engineer II, React and TypeScript
The Walt Disney CompanyUnited StatesCalifornia
Washington$119,200 – $175,100 / year
HybridFull-timeMiddleSeniorEnglish RequiredFull-stack EngineerSoftware EngineerBuild scalable React interfaces for Disney advertising platforms and media products. Develop accessible, well-tested user experiences across the company.
Open
Commissioning and Completions Engineer
John HollandManage system completions, handover, CCMS, punch lists and documentation for John Holland’s Kidston pumped-storage hydro project, which is transforming a disused gold mine into clean-energy storage.
Open
Senior Customer Success Manager
Zymego
Lead onboarding, retention, and account growth for Zymego’s healthtech customers. Help healthcare organizations reduce waiting times through intelligent automation.
Open
Clarity PPM Applications Administrator – Thermo Fisher Scientific, Remote India
Thermo Fisher Scientific
Administer Clarity PPM and provide Level 2 support, monitoring, access management, testing, and deployments. Support enterprise application operations across India and the Philippines.
Open
Clarity PPM Applications Administrator
Thermo Fisher ScientificProvide Level 2 Clarity PPM administration and operational support, including monitoring, access assistance, testing, and control activities. Fully remote position supporting India and Philippines schedules.
Open
Operations Coordinator – Laboratory Inventory and Shipping
AvantorUnited States
Arizona
New Mexico$22 / hour
On-siteFull-timeJuniorMiddleNo degree requiredEnglish RequiredOperationsCoordinate laboratory inventory, purchasing, shipping, and customer service for Avantor’s scientific customers. The role also supports hazardous materials shipments, reporting, and inventory systems.
Open
Property Claims Adjuster II – Intact, Mississauga
Intact
Canada$69,200 – $84,600 / year
HybridFull-timeJuniorMiddleNo degree requiredEnglish RequiredClaims SpecialistInvestigate and settle residential, condominium, and commercial property claims for Intact customers across Canada. Deliver empathetic support through digital and phone channels.
Open