Bernardo Borges Email & Phone Number

State Of Minas Gerais, Brazil

Belo Horizonte, Minas Gerais, Brazil

Engaging in the mastery of Lean 4 Programming Language, an advanced tool for Formal Theorem Proving and also Rust for checking proof certificates. I contribute to ensuring correctness and employing tactics facilitating proof closure for SMT Solvers like cvc5, by leveraging Pseudo-Boolean Solvers. My efforts are applied to the carcara project, led by Haniel.

Belo Horizonte, Minas Gerais, Brazil

As the current Business Director at iJunior Solucoes Digitais, I have been able to utilize my experience and decision-making abilities to shape the company's direction. My role as Business Director has allowed me to work closely with our clients and analyze their needs to structure our software sales accordingly. Additionally, I have implemented active.

Belo Horizonte, Minas Gerais, Brazil

As a Front End developer I could apply many skills learned in Mobile development, and then directly apply it, firstly in a intern project and then in Par Digital, one of our biggest projects in the company, using Typescript, React.js and SCRUM Agile Methods

Belo Horizonte, Minas Gerais, Brasilien

Dr. Juliana Barbi approached our team at iJunior with an idea for an app that would allow her to take pictures of patients who had a procedure on their eyes. At the time, we didn't have much experience with app development, so we decided to practice with an Instagram clone called "iFofoca" to validate our React Native knowledge.Afterwards, we started the.

Belo Horizonte, Minas Gerais, Brasil

I began my journey at iJunior in the business sector, where I was trained by Gabriel Torres in the art of selling. We were introduced to the company's culture and learned how to deal with leads. Soon, I started attending online meetings with customers who were looking for web applications and websites. I promptly presented the products that iJunior.

Belo Horizonte, Minas Gerais, Brazil

Python Flask - Projeto Montanhas As an apprentice back-end developer at Projeto Montanhas, I developed my skills in Python Flask, working on the development of web applications. I collaborated with other developers, testing and debugging code, and learning about back-end architecture and deployment.