Formal Verification Scientist
Salve esta vaga e mantenha sua pesquisa organizada
Crie uma conta gratuita para salvar vagas, criar alertas e retornar a esta listagem a partir do seu painel.
Ao continuar, você concorda com nossos Termos & Política de Privacidade.
About The Role
What if your deep mathematical training could directly shape how AI understands and reasons about rigorous proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable Lean 4 formalizations — working at the very frontier of what proof assistants can express, capture, and automate. This is a fully remote, flexible contract role built for mathematicians who love precision, structural elegance, and the challenge of pushing formal verification beyond its current limits.
• Organization: Alignerr
• Type: Hourly Contract
•
Location:
Remote
• Commitment: 10–40 hours/week
What You'll Do
• Translate informal mathematical proofs into clean, structured Lean 4 formalizations with an emphasis on clarity, correctness, and reproducibility
• Analyze both generic and domain-specific proofs to identify gaps, hidden assumptions, and formalizable sub-structures
• Construct formalizations that test the limits of existing proof assistants — especially in areas where automated tools struggle or fail
• Collaborate with AI researchers to design, refine, and evaluate strategies for improving formal verification pipelines
• Decompose complex arguments into well-structured lemmas and proof scripts aligned with mathematical best practices
• Investigate where automated provers break down and articulate the underlying reasons — missing libraries, complexity barriers, insufficient scaffolding
• Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics Who You Are
• Holds a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
• Has a strong foundation in rigorous proof writing across areas such as algebra, analysis, topology, logic, or discrete mathematics
• Has hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or a comparable proof assistant — Lean strongly preferred
• Deeply enthusiastic about formal verification, proof assistants, and the future of mechanized mathematics
• Able to translate dense, informal arguments into precise, machine-verifiable form with structural clarity Nice to Have
• Familiarity with type theory, the Curry-Howard correspondence, and proof automation tools
• Experience contributing to large-scale formalization projects such as Mathlib
• Exposure to theorem provers where automated reasoning frequently fails or requires significant manual scaffolding
• Prior experience with data annotation, data quality evaluation, or AI training workflows
• Strong communication skills for explaining formalization decisions, edge cases, and reasoning strategies Why Join Us
• Work on cutting-edge AI projects alongside leading research labs and AI teams
• Fully remote and flexible — work when and where it suits you
• Freelance autonomy with the structure of meaningful, intellectually demanding work
• Contribute to pushing the boundaries of what formal verification and AI can achieve together
• Potential for ongoing work and contract extension as new projects launch
-
Intern: Application Engineering
Há 1 semana
Belo Horizonte, Brasil Cadence Systems Meio períodoAt Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Cadence Design Systems Inc. is looking for a motivated Intern: Application Engineering - Formal Verification to work with us in Belo Horizonte, Brazil.As an Application Engineer Intern, you will be trained to become an expert in Formal Verification...
-
Applied Formal Methods Researcher
Há 2 dias
Brasil Alignerr Remoto Tempo integralAbout The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate complex human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can achieve. This is a fully remote, flexible...
-
Brasil Alignerr Remoto Tempo integralResearcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your expertise in rigorous mathematical proof could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations — working at the...
-
Mathematician – Formal Proof
Há 3 dias
São Paulo, São Paulo, Brasil Alignerr Remoto Tempo integral US$ 170 - US$ 200 EfetivoAbout The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract...
-
Lead Product Engineer: SoC Verification
Há 19 horas
Belo Horizonte, Brasil Cadence Systems Tempo integralAt Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Cadence Design Systems Inc. is looking for a motivated Lead Product Engineer: SoC Verification to work with us in Belo Horizonte, Brazil for Perspec Team. Perspec is Cadence’s Portable Stimulus solution used by leading semiconductor companies to...
-
Intern: Application Engineering
Há 1 semana
Belo Horizonte, Minas Gerais, Brasil Cadence Tempo integral R$ 12.000 - R$ 20.000 ContratoAt Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Cadence Design Systems Inc. is looking for a motivated Intern: Application Engineering - Formal Verification to work with us in Belo Horizonte, Brazil. As an Application Engineer Intern, you will be trained to become an expert in Formal Verification...
-
Senior Data Scientist
Há 19 horas
Brazil Jobgether Remoto Tempo integral R$ 150 TemporárioThis position is listed on behalf of a partner company, who manages all applications and next steps. Our partner is looking for a Senior Data Scientist based in Brazil. As a Senior Data Scientist, you will shape product strategy through rigorous analytics, experimentation, and data-informed decision-making.You’ll work as a senior individual contributor...
-
Brasil Alignerr Corp. Remoto Tempo integral R$ 110.000 - R$ 193.000 ContratoResearcher - Lean 4 & Formal Proof Systems (AI Training) What if your expertise in rigorous mathematical proof could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations - working at the very frontier of...
-
Belo Horizonte, Brasil Cadence Systems Tempo integralAt Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Cadence Design Systems Inc. is looking for a motivated Software Engineer II: Hardware Verification Compiler to work with us in Belo Horizonte, Brazil.At Cadence, we hire and develop leaders and innovators who want to impact the world of technology....
-
Senior Data Scientist II
Há 19 horas
São Paulo, Sao Paulo, Brasil LexisNexis Risk Solutions Tempo integralLexisNexis Risk Solutions is seeking a strategic and business-oriented Senior Data Scientist to drive Fraud Prevention Score initiatives across Brazil, LATAM, EMEA, and APAC.This role is responsible for advancing analytical capabilities, accelerating fraud prevention innovation, and delivering scalable, governance-driven solutions that support digital...
