Jobs in Ciudad Juarez, Mexico
Remote Amazon Reimbursement Specialist | Data-Driven Growth
Lago
Discover more opportunities than anywhere else. Find more jobs nowSenior Backend Developer - Node.Js (Fully Remote, Worldwide)
Bitfinex
Connect with headhunters to apply for similar jobsSr Front-End React/JS Software Developer / Engineer | 100% Remote (US timezone) | SaaS | Constr[...]
Clue Insights
Especialista en Comunicaciones Remoto 360
Aspel Servicios de Personal, S.A. de C.V.
Especialista de Comunicaciones / Remoto
Aspel Servicios de Personal, S.A. de C.V.
Remote Campaign QA & Performance Analyst
Launch Potato
Ejecutivo/a de Ventas de Servicios - Remoto
BASSET SOLUCIONES
Lean Proof Architect for Formal Verification
Job summary
A leading tech firm in Mexico seeks a Mathematical Formalization Specialist to transform informal proofs into formal verifiable structures using Lean and related systems. Ideal candidates should possess a Master’s degree or higher in Mathematics or a closely related field, with strong skills in proof writing and formal verification. This role sits at the intersection of mathematics and computer science, offering an hourly rate of $50 to $150 based on experience and skills.
Qualifications
- Master’s degree (or higher) in Mathematics, Logic, or related field.
- Strong foundation in rigorous proof writing and areas like algebra or topology.
- Hands-on experience with Lean (Lean 3 or Lean 4) preferred.
- Ability to translate informal arguments into structured formal proofs.
Responsibilities
- Translate informal mathematical proofs into Lean with clarity and correctness.
- Analyze generic and domain‑specific proofs for gaps and assumptions.
- Collaborate with researchers to improve formal verification pipelines.
Skills
Education
Tools
* The salary benchmark is based on the target salaries of market leaders in their relevant sectors. It is intended to serve as a guide to help Premium Members assess open positions and to help in salary negotiations. The salary benchmark is not provided directly by the company, which could be significantly higher or lower.