Soc Analyst (Luján De Cuyo)

in **** by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound... infrastructure, or securing a DeFi primitive, Certora helps you prove correctness, accelerate your development speed, and embed...

Lugar: Luján de Cuyo, Mendoza | 03/06/2026 17:06:00 PM | Salario: S/. No Especificado | Empresa: Certora

Soc Analyst (Santiago Del Estero)

in **** by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound..., upgrading core infrastructure, or securing a DeFi primitive, Certora helps you prove correctness, accelerate your development...

Lugar: Santiago del Estero | 03/06/2026 17:06:07 PM | Salario: S/. No Especificado | Empresa: Certora

Soc Analyst (La Rioja)

in **** by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound... infrastructure, or securing a DeFi primitive, Certora helps you prove correctness, accelerate your development speed, and embed...

Lugar: La Rioja | 03/06/2026 17:06:48 PM | Salario: S/. No Especificado | Empresa: Certora

Soc Analyst (Tandil)

in by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound..., upgrading core infrastructure, or securing a DeFi primitive, Certora helps you prove correctness, accelerate your development...

Lugar: Tandil, Provincia de Buenos Aires | 03/06/2026 17:06:43 PM | Salario: S/. No Especificado | Empresa: Certora

Soc Analyst (Buenos Aires)

in by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound..., upgrading core infrastructure, or securing a DeFi primitive, Certora helps you prove correctness, accelerate your development...

Lugar: Buenos Aires | 03/06/2026 17:06:15 PM | Salario: S/. No Especificado | Empresa: Certora