# Hire the best remote PROVES employees

Discover 3 remote PROVES workers who are looking for their next full-time, part-time or freelance opportunity on Himalayas.

Source: https://himalayas.app/talent/proves

## 3 remote workers

| Person | Role | Location | Salary expectations | Intro |
| --- | --- | --- | --- | --- |
| [Davi User](https://himalayas.app/@daviuser2) | Mathematics Researcher | Brazil |  | I build verified mathematical proofs and benchmark reasoning datasets for AI training. |
| [Pedro Abreu](https://himalayas.app/@pedroabreu) | Senior Formal Methods Engineer | Brazil |  | I verify cryptographic software, compilers, and hardware using proof assistants, SMT solving, C++, and Rust. |
| [Gabriel Lyro](https://himalayas.app/@gabriellyro) | Full Stack Engineer | Brazil | 75k+ USD | Senior Full Stack Engineer at Prover Servicos em TI Ltda who improved a government integration API’s performance by 50%+. |

Page 1 of 1.

To contact someone, message them from their profile with a Himalayas employer account: [Hire on Himalayas](https://himalayas.app/hire).