Possessing over two decades of experience within the Information Technology sector, and more than 12 years in Quality Assurance, the individual has a multifaceted background beginning in Hardware Analysis and Development for embedded systems. The professional foundation was established through a stringent quality process in an automotive manufacturing environment, eventually leading to a specialization in Software Quality Assurance. This transition aligned with digital transformation initiatives, enhancing quality techniques to better support Software Engineers and Quality Analysts.

Currently positioned as a Quality Manager, this professional implements industry-best practices in development processes, including agility principles, test automation, and DevOps. Engagement in the QA community is demonstrated through mentorship, public speaking, and technical article contribution. 

Continuous improvement is a central tenet, aimed at influencing both personal and professional spheres positively.

As a Software Quality instructor at a creative technology school, they disseminate expertise through various courses. Technical competencies encompass quality metrics, agile methodologies (Scrum, Kanban, Lean XP, BDD), and DevOps tools (Go-CD, Jenkins, Docker, GitHub Actions, Azure DevOps, AKS, Selenium Grid, Sonar Cloud/Qube). Proficiency includes UI & API test automation with tools (Protractor.JS, Frisby.js, C# (Specflow, NUnit, Xunit), Cypress, Capybara, Httparty, Appium, Webdriver.io, Ruby, TestComplete), database management (MongoDB, SQL, Oracle), non-functional testing (stress and performance tests using Jmeter and Blazemeter), and auditing standards (Accessibility and Usability Guidelines with tools like Axe, Wave, Lighthouse, and Cypress).

Backend Developer with a focus on Node.js and significant experience in creating applications using both SQL and NoSQL databases. Proficient in agile development methodologies, especially Scrum, and currently contributing to the Loyalty squad by addressing intricate projects related to Microservices, Messaging implementations, Docker-based application deployment, and testing for code quality assurance. Applies strategic caching techniques to optimize performance. Continuously seeks opportunities to enhance technical skills and deliver effective solutions. A GitHub portfolio is maintained to showcase recent projects and development work.

Initiating a journey in development at 15 years old in 2008, I embarked on hosting a private game server for a popular online game. Utilizing server code sourced from online forums, I successfully set up a MySQL server and a functioning database locally. This venture also involved deploying a website with PHP and managing a compiled C++ game server. By configuring my computer and router settings, I facilitated remote access for friends, incorporating customizations by manipulating .lua and .xml files. Despite not being familiar with development terminologies like .cpp files at that time, I engaged in tasks common for junior developers, such as environment setup and file experimentation to grasp system functionalities.

This early exposure eventually led me to pursue a Computer Science degree.

Entering the professional development field in 2019, I frequently encountered legacy systems that presented substantial challenges but also invaluable learning experiences. This involvement underscored the significance of writing maintainable code and developing robust test suites to mitigate future complications.

Currently, my expertise lies in designing, building, and deploying comprehensive full-stack systems, spanning front-end and back-end development, leveraging contemporary technologies as required.

Senior Software Engineer with over seven years of expertise specializing in web development, primarily focusing on TypeScript, Python, and AWS. Proficient in the development of applications utilizing microservices and REST APIs, and adept at migrating legacy systems. Experienced in software architecture design, mentoring developers, and implementing automated testing. Contributed to major projects such as ensuring compliance with the General Data Protection Law (LGPD) and developing data engineering solutions. Demonstrates a strong passion for programming and a dedication to improving the development experience within teams.

A Software Engineer proficient in developing robust and scalable APIs using Node.js with TypeScript, along with frameworks like Express and Nest, tailored for web applications in high-performance and critical environments managing sensitive data for millions of users. Expertise includes delivering solutions for telemedicine within the Unified Health System for the health department, and optimization and management solutions for major steel companies in Brazil.

Proficient in a range of technologies including JavaScript, TypeScript, Node.js, and Golang; cloud services such as AWS, GCP, and Azure; and tools like Docker, Kubernetes, Kafka, and RabbitMQ. Utilizes microservices architecture, adheres to Clean Architecture principles, SOLID principles, and design patterns. Database management skills encompass MongoDB, PostgreSQL, and MySQL, with a robust approach to unit testing.

A dedicated professional with a passion for technology and continuous learning, aiming to positively impact lives through innovative solutions. Committed to improving quality of life by selecting optimal problem-solving strategies that consider cost, well-being, time constraints, and appropriate technology use.

A seasoned web developer with 14 years of experience in the industry, specializing in website creation, e-commerce development, site optimization, and the application of SEO best practices. For the past 11 years, expertise has been concentrated on developing WordPress sites and WooCommerce online stores. Additionally proficient with various other platforms, including Vtex, Xtech, Loja Integrada, and Tray. The extensive experience brought to each project aims to foster collaboration in creating unique and remarkable web solutions.

A professional web developer with a degree in Web Development and over two years of full-stack development experience. Recognized for proactivity, dedication, attention to detail, and exceptional team communication abilities. Demonstrates a strong passion for technology and consistently seeks to stay abreast of current market trends.

A web and desktop systems developer specializing in a range of technologies, including ASP.Net Webforms, MVC, DDD, ASP.Net Core, Angular, React JS, JQuery, DevExpress, Javascript, HTML, CSS, Bootstrap, Entity Framework, Git, MSSQL Server, and Power BI. Demonstrates significant experience as a financial analyst within Controller departments, concentrating on the automation and modernization of managerial controls. Proficient in database integration and report automation through the use of Excel Macros, Access SQL Server, and Power BI. Has a comprehensive background in developing software for various sectors such as Finance, Accounting, Engineering, Logistics, Human Resources, Occupational Medicine, Health & Safety, and Quality Management. Additionally, adept at project documentation, implementation, and third-party vendor management.

TLA+ is a formal specification language designed for modeling, specifying, and verifying concurrent and distributed systems. It allows developers to describe system behaviors mathematically, ensuring correctness and identifying potential issues before implementation.

A TLA+ expert must have strong skills in formal methods, mathematical logic, and set theory. They should be proficient in writing and understanding TLA+ specifications, using the TLA+ Toolbox, and applying model checking with the TLC model checker. Knowledge of concurrent and distributed systems is also essential.

How to hire a Tla+ expert

TLA+ was created in the late 1990s by computer scientist Leslie Lamport. It was developed to address the need for a rigorous method to specify and verify the correctness of complex software systems, particularly those involving concurrency and distribution.

About Tla+

Strengths of TLA+ include its rigorous mathematical foundation, ability to model complex systems, and strong verification capabilities. Weaknesses include a steep learning curve and limited tool support compared to more mainstream programming languages. Competitors include 

Tla+

Top 5*

Programming Languages

About Tla+

How to hire a Tla+ expert

The Best of the Best Optimized for Your Budget