A software developer with over seven years of experience in system implementation, specializing in back-end development using Java and Spring, accompanied by expertise in C# and .NET Core. Proficient in front-end technologies including ReactJS and AngularJS, with a solid understanding of code versioning through Git and agile methodologies such as Scrum and XP. Capable in unit testing using JUnit and Mockito, and well-versed in microservices architecture, layered applications, and REST APIs. Additionally, has substantial experience in SAP/ABAP development and the automation of industrial processes integrated with production control systems (MES).

Pedro Almeida, a Computer Engineering graduate currently pursuing an MBA in Data Science & Artificial Intelligence, has over three years of professional experience and has served as a Technical Leader in a complex project. His primary focus was on solution architecture, aiming to deliver innovative and efficient solutions. Strategic technology decisions under his leadership included the adoption of NodeJs and Typescript, chosen for their efficiency and innovative potential.

In his work with Nest.js, Almeida applied methodologies such as Domain-Driven Design and Clean Architecture, underscoring the significance of well-structured problem-solving approaches. This methodology ensured easy maintenance and scalability of software projects, highlighting the importance of strategic planning in addressing technical challenges.

Within a team dedicated to refining and optimizing processes, Almeida has promoted a culture focused on quality development, scalability, and continuous delivery. By integrating practices such as Git Flow and leveraging tools like Jenkins, the team established a stable environment conducive to faster and more efficient project deliveries.

Software Developer specializing in System Analysis and Development, holding a degree from Uninter in Novo Hamburgo - RS. Developed Planning ON, a personal financial management Software as a Service (SAAS). Proficient in web technologies such as HTML, CSS, SASS, NPM, GULP, and YARN, with a focus on responsive design. Front-end skills include JavaScript, JQuery, and Vue JS. Back-end expertise encompasses PHP with Object-Oriented Programming, adhering to PSR standards and principles like SOLID and DRY. Experienced in data interchange formats including AJAX, JSON, and XML, and proficient in both MYSQL and SQL database management systems. Familiar with the MVC architectural pattern and expert in using GIT for version control. Skilled in creating and integrating RESTful and SOAP APIs, with experience in utilizing the Laravel framework for efficient software development.

ReactJS Developer with four years of experience, dedicated to continuous skill enhancement through mentorships, online coursework, and participation in professional events. Demonstrates proficiency in collaborating within teams to maintain and improve legacy applications, as well as developing new Single Page Applications (SPAs) and Micro Frontends that are modern, elegant, and well-documented.

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.

User Experience Designer specializing in utilizing design to effectively address user challenges, with a strong focus on developing metrics that cater to specific requirements. Demonstrates an adept ability to devise solutions that are seamlessly integrated into daily routines.

A seasoned Fullstack Developer with a decade of experience in web development, specializing in creating accessible, usable, responsive, and user-friendly interfaces. Proficient in applying Clean Code principles, SOLID design patterns, Test-Driven Development (TDD), Behavior-Driven Development (BDD), and Object-Oriented Programming (OOP). Expertise includes the primary front-end frameworks—Angular, Vue.js, and React—and backend frameworks such as Python, Node.js, and C# with .NET. Contributes to projects through defining migration structures, improving system architectures, mitigating vulnerabilities, verifying scalability, and creating components to reduce development effort and maintenance.

Founder of Projeto Dev since 2020, a social initiative that facilitates entry into the Software Development industry.

Bachelor in Computer Science and Software Engineering with over six years of specialized experience in native Android application development. This tenure has involved working extensively with technologies such as geolocation, beacon, Bluetooth, camera functionalities, and accessibility. Experience includes the development and maintenance of applications with a Daily Active User (DAU) base of one million, demonstrating a solid foundation in OOP programming using Kotlin and Java, alongside proficiency in SQL and Python. Dedicated to best development practices and the exploration of new technologies and methodologies to foster professional growth. Actively seeks to stay abreast of technological advancements through continuous learning and participation in professional meetups.

Agda is a dependently typed functional programming language and proof assistant that enables the development of programs with embedded proofs. It combines programming with formal verification, allowing users to write code and prove properties about it within the same framework.

An Agda expert must have strong proficiency in functional programming, deep understanding of type theory, and experience with dependently typed languages. They should be skilled in formal verification techniques, theorem proving, and using interactive development environments for proof construction.

How to hire a Agda expert

Agda was developed in the early 2000s as a dependently typed functional programming language and proof assistant. It evolved from the work on type theory and formal verification, aiming to integrate programming with rigorous proof capabilities. The language has since been used for both academic research and practical applications in software verification.

About Agda

Agda's strengths include its powerful type system, support for formal proofs, and interactive development environment. Its weaknesses involve a steep learning curve and limited library support compared to more mainstream languages. Competitors include Coq, Lean, and Idris, which also offer dependently typed programming and proof capabilities.

Agda

Top 5*

Programming Languages

About Agda

How to hire a Agda expert

The Best of the Best Optimized for Your Budget