PHP solutions specialist with over 15 years of experience, adept in addressing complex issues spanning financial systems, server installation, and configuration. Expertise includes programming and infrastructure, with a strong emphasis on information security and disaster investigation. Currently engaged in postgraduate studies to further enhance security skills.

A Computer Science graduate specializing in Software Development, with extensive experience in employing the Flutter framework. Demonstrates a robust portfolio comprising completed and in-progress projects. Possesses a proven ability to quickly adapt to new programming languages and technologies. Exhibits dedication and swift learning capabilities, and remains open to opportunities involving travel or relocation.

With extensive expertise spanning 23 years in the IT sector, the professional background includes a robust foundation of 8 years focusing on hardware and network management, complemented by 15 years dedicated to software development. Proficient in Dot.net C#, VB.net, Java, and JavaScript, the experience also encompasses working on projects involving Python, Dart, Node.js, .NET Core, WordPress, and React Native. The last 8 years were marked by a strong adherence to Agile methodologies, with a specialization in requirement gathering, architecture support, API engineering, messaging services, and the development of web applications and systems. The primary focus has consistently been on delivering solutions that enhance value and quality within technology-driven environments.

Initiated a career in Business Intelligence as an intern in a healthcare management setting, gaining proficiency in BI and SQL Server. Subsequently transitioned to the financial sector, focusing on Quality Assurance with Ruby. Advanced into a full-stack development role with an emphasis on Front-End technologies using Angular and Low Code solutions with Outsystems for BackOffice operations. Presently engaged in overseeing small projects and monitoring activities, specializing in Front-End development. Demonstrates a keen interest in exploring Mobile Development with Swift.

A Technology Manager with nearly ten years of expertise in leading and delivering intricate technical projects within the Telecom, Education, and Marketplace sectors. Specializes in blending technology and business strategy to drive innovation and cultivate high-performance teams, supported by a strong background in software programming which informs a deep understanding of architecture and implementation.

Experienced in spearheading eCommerce projects, particularly in implementing marketplace solutions for financial institutions using Vtex and PIM solutions for the healthcare industry with Stibo. Managed Telecom projects addressing IVR solutions, Telephone Number Portability, and Intelligent Network Services. Also led an Educational project that involved the development of a comprehensive Electronic Agenda platform for schools and universities, which was accessible via mobile applications.

Skilled in fostering creative and productive environments through influence-based leadership, effectively guiding multifunctional teams using both agile and waterfall methodologies. Proficient in overseeing global teams across Argentina, Chile, Colombia, and Mexico.

Co-founded and served as CTO of a technology enterprise from 2016 to 2019, during which time developed the SmartNote Digital Agenda platform. This mobile application, designed to enhance communication between schools, parents, and students, was built using Spring Boot, Angular, jHipster Ionic, and MySQL.

Educational credentials include a Bachelor’s degree in Computer Science from PUC-RJ (2010), a Postgraduate degree in Information Systems with an Emphasis on Internet from UFRJ (2012), and a Project Management extension course at Project Lab (2014). Currently pursuing an MBA in Artificial Intelligence for Business (2024).

Holds certifications as a Technology Architect, Scrum Foundation Certified, Vtex IO certified, Vtex Implementation certified, and Vtex Sales certified.

Software Engineer specializing in back-end technologies with a focus on Python Django, utilizing Django Rest Framework (DRF) and Django-CMS. Demonstrates a strong ability to thrive in team environments comprising diverse individuals. Assumes responsibility, leadership, and ownership of the product. Committed to continual learning and professional development.

Specialized in full-stack web and mobile development since 2017, contributing to the integration of online payment systems for approximately 5 million users across 5000 stores and restaurants. Committed to continuous improvement, with a focus on positively impacting product team dynamics and enhancing end-user experiences. Proficient in Javascript, Typescript, PHP, Dart, Flutter, Object-Oriented Programming, functional programming, and SQL.

An accomplished Interface Designer (UI) and Web Developer known for effectively managing low-complexity projects. Demonstrates expertise in using Angular from version 5 onwards and has substantial experience with Wordpress and WooCommerce. Possesses strong skills in requirements analysis and testing to ensure high-quality outcomes.

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 Coq, Isabelle/HOL, and Z3.

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