Holder of a Bachelor's degree in Computer Engineering from SENAI CIMATEC, possessing three years of experience in software development. Experience encompasses mobile, back-end, and front-end development. Contributions have been made in various domains, including research and development, cloud computing, augmented and virtual reality, finance, and administrative management.

Instrumental in cultivating a data-driven culture in an organization previously indifferent to data, the candidate has demonstrated a profound passion for programming and science, successfully navigating considerable challenges. The shift to a new career path has been both arduous and fulfilling. A continued commitment to learning is fueled by a deep enthusiasm for the current field of work.

Developer specializing in web technologies and frameworks, with a focused trajectory toward a Fullstack role. Holds a Bachelor's degree in Information Systems from the Instituto Federal de Educação, Ciência e Tecnologia Fluminense. Demonstrates dedication, resilience, and a commitment to continuous professional and personal growth.

Possesses expertise in version control through GIT and has experience with various databases, including MySQL, Postgres, Oracle, and SQLServer. Proficient in multiple programming languages such as C#, PHP, JavaScript, Java, and Python, with knowledge encompassing both object-oriented and structural programming paradigms. Worked with diverse frameworks including Codeigniter, NuxtJS, Entity Framework, .NET Core, and .NET Framework. Familiar with software development standards and methodologies such as MVC, UML, and SCRUM, as well as AWS services and architectures, specifically Lambda, Pipeline, Build, and ECS. Additionally, experienced in the integration of hospital systems like MV, TASY, and MEDICAL.

Certified Microsoft professional with expertise in the .Net platform, particularly within web environments. Demonstrates a strong ability to adapt to new technologies, consistently seeking continuous improvement and best practices. Prepared to tackle challenges and eager for growth in the current field.

Possessing over five years of experience in web development, expertise encompasses a diverse array of projects ranging from basic informational websites to intricate systems aimed at optimizing business operations. Proficiency includes mastery of PHP and Laravel for crafting robust web applications, alongside skilled use of JavaScript, Vue.js, HTML, and CSS to develop visually appealing and highly functional user interfaces that ensure excellent user experiences.

The career trajectory is currently directed toward seeking new professional challenges and opportunities for growth within the field. There is also a keen interest in branching into the role of Scrum Master to advance capabilities in agile project management and leadership of development teams.

IT student proficient in PHP, Laravel, JavaScript, React, HTML, and CSS, demonstrating a robust work ethic and a consistent drive to acquire new technologies while adapting to organizational requirements.

Commenced a career as a programmer focused on developing social network portals, accumulating experience in the dynamics of open source projects. Progressed to maintaining a system for nightclubs and ultimately led a team of programmers to develop a new iteration of the application. This role included implementing version control systems and participating in requirements gathering. Demonstrated management capabilities led to the oversight of multiple projects across sectors such as logistics, health, and rural credit.

With five years of experience in data analysis, expertise includes utilizing tools such as SQL, Excel, Power BI, SAP, and Google BigQuery to extract, process, and analyze data effectively. Proficient in generating comprehensive management reports, ensuring data quality, and optimizing data integration through ETL processes. Focused on enhancing knowledge in data science, specifically in Machine Learning, employing frameworks like Pandas, Numpy, Pyspark, and SKlearn.

Proven track record in advanced data analytics and performance indicator analysis, along with developing automated data extraction and analysis processes. Experience in strategic business decision support and mentoring teams in data analysis methodologies. Currently holding a VISA permitted for residency and employment in Spain.

The Prototype Verification System (PVS) is a formal verification system that combines specification, proof checking, and model checking to facilitate the development and verification of complex systems. It allows users to write formal specifications in a higher-order logic language and provides tools for proving the correctness of these specifications through automated and interactive theorem proving.

A Prototype Verification System expert must have strong skills in formal methods, higher-order logic, and theorem proving. They should be proficient in writing formal specifications, conducting interactive and automated proofs, and using PVS's specification language. Knowledge of model checking and experience with verification tools like Coq or Isabelle/HOL are also beneficial.

How to hire a Prototype Verification System expert

The Prototype Verification System (PVS) was developed in the early 1990s by researchers at SRI International. It was created to address the need for a robust tool that combined specification, proof checking, and model checking to ensure the correctness of complex systems. The system aimed to provide a practical environment for writing formal specifications and verifying them through both automated and interactive theorem proving techniques.

About Prototype Verification System

Strengths of PVS include its powerful specification language, integrated theorem proving capabilities, and support for higher-order logic. Weaknesses involve a steep learning curve and the potential complexity of proofs. Competitors include 

Prototype Verification System

Top 5*

Programming Languages

About Prototype Verification System

How to hire a Prototype Verification System expert

The Best of the Best Optimized for Your Budget