A seasoned back-end developer with over six years of web development experience across diverse industries, such as banking, law, insurance, foreign trade, and software development. Demonstrates extensive expertise in creating high-performance applications and adhering to best programming practices. Committed to staying abreast of the latest industry technologies and emphasizes the professional development of team members.

An organized professional with a sharp logical mindset, dedicated to continuous improvement and progress through the application of technology. Emphasizing scalable and maintainable operations, there is a strong commitment to the study and application of clean code and clean architecture concepts. Core programming principles such as SOLID, DRY, and KISS are integral to the consistent coding methodology. A deep passion for programming drives a dedication to achieving high-quality code, with particular satisfaction derived from the process of refactoring to enhance results.

A highly motivated and dedicated developer, with an exceptional aptitude for rapid learning and efficient problem-solving, demonstrates a strong passion for technology and collaborative teamwork, consistently making substantial contributions to development projects.

A competent Full-stack Programmer and Data Scientist specializing in PHP, Laravel, and Python. The portfolio includes a diverse range of projects, noted for their aesthetic appeal, functionality, and market responsiveness. Proficiency extends to the development of dynamic web applications and the orchestration of data science projects tailored for business management and logistics. Key technical skills encompass Laravel, PHP, MySQL, and PostgreSQL, with additional capabilities in Docker, AWS, Eloquent ORM, Git Version Control System, and Python programming, specifically utilizing the Scikit-Learn library.

As a software engineer with over sixteen years of experience, expertise encompasses software development, technical vision, and the formulation of requirements for large-scale systems in domains such as finance, banking, and telecoms. Specialization includes microservices, design patterns, SOLID principles, event modeling, CQRS, SOA, Axon framework, DDD, and TDD, ensuring the delivery of high-quality, well-tested, and scalable software solutions. Proficiencies extend to code review, code inspection, quality assurance, performance tuning, problem-solving, troubleshooting, training, mentoring, team leadership, communication, and collaboration. Committed to the creation of well-designed and maintainable software that aligns with client and user needs, continuous learning and adaptation of new technologies and methodologies to enhance software architecture and design remain a priority.

Android Developer with over three years of experience in native languages Java and Kotlin. Expertise includes Jetpack Compose, Hilt/Koin, MVVM combined with Clean Architecture, Kotlin Coroutines, and Retrofit. Proficient in app deployment to the store and unit testing.

Web Developer with over eight years of experience specializing in web development, proficient in languages including Python, PHP, and JavaScript. Advanced through positions from junior developer to senior roles, also providing technical leadership in both educational technology and financial technology sectors. Currently focused on pre-sales as a Solutions Architect with deep expertise in Azure, Google Cloud Platform, and Amazon Web Services. Areas of specialization include software engineering, DevOps engineering, and data engineering.

Holding a degree in technology from FATEC de Rio Preto and an MBA in Project Management, along with a postgraduate qualification in Digital Transformation & Business Intelligence, this professional possesses a robust background in process and systems consulting within major ERP environments. With extensive experience in IT, including a significant period spent training technicians in web development and assisting over 100 professionals to achieve .Net certification, a role as head of IT at a leading photovoltaic company entailed comprehensive management of infrastructure, systems, and processes.

Dafny is a programming language and verification tool designed to support formal reasoning about program correctness. It includes features for writing specifications, implementing programs, and formally proving that implementations meet their specifications through automated theorem proving.

A Dafny expert must have strong skills in formal logic, automated theorem proving, and program specification. Proficiency in writing and understanding preconditions, postconditions, invariants, and lemmas is essential. Familiarity with the Dafny language syntax and its integrated development environment (IDE) is also crucial.

How to hire a Dafny expert

Dafny was created in 2009 by Microsoft Research to facilitate the development of correct software through formal verification. It was designed to integrate program specifications and automated proofs, aiming to make the process of proving program correctness more accessible and efficient.

About Dafny

Strengths of Dafny include its integrated approach to specification and verification, user-friendly syntax, and strong support for automated theorem proving. Weaknesses involve a steep learning curve for beginners and limited support for certain advanced language features. Competitors include 

, Isabelle, and Z3, which also focus on formal verification and theorem proving.

Dafny

Top 5*

Programming Languages

About Dafny

How to hire a Dafny expert

The Best of the Best Optimized for Your Budget