Full-Stack Developer with advanced academic credentials in Information Technology, including a degree, postgraduate qualification, and a master's degree. Demonstrates a proactive, curious, and studious approach to professional development, with a strong passion for continuous learning and embracing new challenges. Offers thirteen years of extensive experience across numerous internet projects, encompassing a broad range of expertise. Areas of specialization include web development, usability, accessibility, information architecture, user experience (UX), and WordPress implementation. Proficiencies extend from project conceptualization through strategic launch planning, performance analysis, and user testing.

Fullstack Web Developer with three years of experience, focused on continual enhancement of both technical and interpersonal skills. Expertise encompasses the complete lifecycle of web application development, from initial design and requirements analysis to implementation and online deployment. Possesses proficiency in a technology stack comprising Python, Django, Django Rest Framework, JavaScript, Vue.js, and AWS.

Mobile Developer with four years of experience, specializing in Android development utilizing Kotlin and Java. Expertise includes using Retrofit for API consumption and proficiency in employing architectural patterns such as MVVM with Clean Architecture, MVP, and MVC. Demonstrates advanced skills in data persistence through Room, automated testing via JUnit and Mockito, and code versioning with Git. Experienced in implementing dependency injection frameworks such as Koin and Dagger Hilt, along with knowledge in mobile development using Ionic, React, and Flutter frameworks. In the realm of iOS development, proficient in Swift language, UIkit for layout design, SwiftUI for contemporary app development practices, and familiar with package management tools including CocoaPods and Swift Package Manager. Possesses comprehensive experience in the App Store publishing process and adept at MVVM architectural designs. Certified in basic Scrum fundamentals, focusing exclusively on opportunities in Android and iOS development.

Possessing over a decade of experience in software development, the professional background includes a diverse and robust project portfolio for prominent organizations. Technical expertise spans EJB 2.1, Struts 1, 2.1, MVC, JSF, EJB3, Java versions 6 through 11, JEE, JPA, Hibernate, JasperReport, CVS/Subversion, PrimeFaces, JSF, JDBC, and JBoss EAP 6. Additional knowledge includes Spring Boot, Angular versions 7 through 11, RESTful API development, Microsoft Azure DevOps, Oracle database management, Spring, Websphere, DB2, Keycloak for Oracle security, unit and integration testing via JUnit and Mockito, container management with Docker and Kubernetes, and cloud DevOps practices through GitLab CI, GitHub Actions, and Azure DevOps.

Proficiency extends to quality assurance utilizing SonarQube, as well as tools like Portainer and TortoiseSVN. Continuously seeking new challenges and learning opportunities, the focus is on leading teams, developing innovative solutions, and tackling technical challenges. Prepared to confront future endeavors with commitment and expertise.

Web developer with five years of experience, specializing in both front-end and back-end technologies. Proficient in programming languages such as Golang, C#, and PHP, with extensive knowledge of frameworks including Laravel, CodeIgniter, Yii, NestJS, and NodeJS. Experienced in database management with Postgres and MySQL, and familiar with server technologies like Apache and Nginx.

Possesses comprehensive front-end development expertise with HTML, CSS, JavaScript, and is adept at utilizing ReactJS, AngularJS, jQuery, and Typescript. Additional skills encompass managing cloud services on AWS and Azure platforms, as well as mobile development using Android and Cordova. 

Capable of developing and customizing ServiceNow platform solutions and experienced in designing scalable and efficient software architectures. Adopts methodologies such as Test-Driven Development (TDD), Domain-Driven Design (DDD), and Behavior-Driven Development (BDD) to deliver high-quality software solutions.

A graduate of Digital Game Technology from Centro Universitário Facens, this individual possesses extensive experience in multiple programming languages and app development projects. Presently serving as a Full Stack Developer within a banking credit system, the specialization primarily lies in backend development, encompassing routes, models, database migrations, and API integration. Moreover, there is substantial experience in frontend development using React and React Native. Demonstrating effective communication skills in English, the individual is adept at collaborating seamlessly with international teams.

A Software Developer with over two years of experience, specializing in back-end development, particularly in the areas of payment processing applications, including authorizers, sub-acquiring, and recurring payment systems. Demonstrates proficiency in Java, Spring Boot, Kotlin, Lombok, and microservices architecture. Presently, emphasis is being placed on advancing skills in Docker and AWS.

A dedicated Software Engineer with approximately four years of experience specializes in Ruby on Rails, Ruby, JavaScript, Node, React, Vue, and AWS. Demonstrates comprehensive proficiency in all facets of the Systems Development Life Cycle (SDLC) and showcases an ability to thrive in both solitary and team-oriented settings. Driven by a deep passion for technology, consistently aims to develop innovative solutions to positively impact individuals, businesses, and society. Committed to continuous learning and growth, poised to leverage skills in projects that foster meaningful change.

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 Alloy, Z notation, and Event-B.

Tla+

Top 5*

Programming Languages

About Tla+

How to hire a Tla+ expert

The Best of the Best Optimized for Your Budget