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.

Angular and .NET Core Developer with five years of experience in specialized technologies and design patterns, including NGRX, RXJS, NGX-TRANSLATE, Lazy Loading, Angular I18n, D3.js, as well as SOLID principles, Domain-Driven Design (DDD), Facade pattern, and CQRS with Mediator.

Senior Full Stack Blockchain Developer with expertise in technology, focusing on the development sector. Proficient in the JavaScript stack, including React and Node.js, and skilled in TypeScript. Contributed to significant Web3 projects, including the development of a decentralized exchange and a digital crypto wallet supporting both Syscoin and Ethereum networks. Additionally, possesses extensive experience in various Web2 projects for prominent national firms. Dedicated to continual learning in the blockchain environment, leveraging Web3.js and ethers.js to develop applications predominantly on Syscoin, Ethereum, and Polygon networks. Actively seeking new opportunities in both Web2 and Web3 projects as a Full Stack Developer.

A professional journey characterized by a diverse range of technical skills acquired through both self-directed learning and formal education, responding effectively to complex and evolving demands across various sectors. Specialization includes system development, data pipeline creation, advanced database management, and analysis, showcasing notable adaptability and innovation in addressing professional challenges.

In Data Analysis and Data Engineering, expertise encompasses the monitoring and maintenance of data pipelines using Python and PySpark within ETL processes. This includes validating diverse data sets, ensuring information integrity, and analyzing various data attributes such as columns, rows, data types, and formats. Development of integrated data architecture spans from collection to processing, utilizing tools like Airflow, Jupyter Notebook, Portainer, Postgres, MySQL, and enabling comprehensive analysis through visualization tools such as Metabase, Excel, and Power BI. Additional experience includes creating data extraction bots using technologies like Selenium, Java, and Excel VBA, coupled with a robust knowledge of SQL data modeling and structuring, demonstrating versatility in information analysis and manipulation.

Web Development capabilities include proficiency in HTML, JavaScript, PHP, MySQL, and Postgres, with substantial experience in developing and managing web systems and websites along with their hosting and domain management.

In IT Infrastructure Management, there is expertise in managing Dell servers and VMware ESXi environments, overseeing complex on-premises infrastructure comprising multiple Docker containers running on Linux CentOS. These containers support a wide variety of services, with critical proficiency in ensuring secure and uninterrupted system operations through rigorous backup and maintenance practices utilizing technologies such as Acronis, TrueNAS, and Kerio firewall with VPN.

Additionally, extensive experience in providing comprehensive technical support and maintenance covers general computer upkeep, broadband, telephony, and TV installations and repairs in both corporate and freelance contexts. This breadth of experience underscores an ability to offer effective solutions across diverse technology domains, ensuring user satisfaction through ongoing support.

The overall career is marked by a blend of technical expertise, project leadership, and a collaborative approach, all sustained by a continuous pursuit of knowledge.

Holder of a degree in Systems Analysis and Development with two years of professional experience specializing in front-end development. Proficient in leveraging technologies such as React and Next.js, I have contributed to innovative projects involving experimentation and brand engagement. As a freelancer, I am able to address diverse challenges, which fosters continual growth and adaptability. My commitment to professional development is evidenced by my ongoing efforts to master additional technologies, including Angular and React Native, thereby continuously expanding my skill set to stay aligned with evolving market requirements.

Graduated in Computer Science from Universidade Federal do Maranhão in 2011, subsequently earning a Master's in Computer Science from the same institution in 2016. Currently pursuing an MBA in IT Management at the Instituto de Gestão e Tecnologia da Informação, with an anticipated completion date of 2018. Presently holds the position of Deputy Secretary of Information Technology and also serves as a Master Lecturer. Professional experience encompasses roles such as IT Systems Analyst, Java developer, and positions in IT Management and Project Management.

Back-end Programmer with over four years of experience in system development and data manipulation, proficient in GO, SQL and NoSQL databases, .NET, and C#. Demonstrates a strong enthusiasm for technology and its potential to transform the digital landscape. Recognized for a deep passion for science, a proactive approach, and exceptional self-teaching capabilities.

Commenced a professional career as an intern during the pursuit of a degree in Technology in Systems Analysis and Development. Initial responsibilities included maintaining and customizing an ERP system tailored for the furniture industry, as well as creating and managing reports. Following graduation, transitioned to the role of Junior Developer, where tasks involved migrating a trademark and patent management system from a desktop to a web version. Subsequently worked with clients across different sectors on the development and maintenance of web platforms. Experience includes working as a consultant handling development-related tasks for an ERP platform, contributing as a developer at a leading digital pharmacy startup where responsibilities encompassed developing technology solutions in pricing reports and technical sales analysis charts.

Advanced to a developer role for an education platform, later promoted to Technical Coordinator with duties encompassing the management of development tasks, client infrastructure, and environment migration. Clientele included notable companies in various industries. Currently responsible for overseeing the development and maintenance of ERP system interfaces that support municipalities and city councils, serving over 50 municipalities in the São Paulo and ABC Paulista regions.

Abstract State Machine Language (AsmL) is a high-level programming language used for modeling and specifying abstract state machines. It allows precise definition of system behavior through states and transitions, enabling formal verification and validation of system properties.

An Abstract State Machine Language expert must have skills in formal methods, system modeling, and state machine theory. They should be proficient in AsmL syntax and semantics, understand verification and validation techniques, and possess strong problem-solving abilities in abstract system design.

How to hire a Abstract State Machine Language expert

Abstract State Machine Language (AsmL) was created in the early 2000s by Microsoft Research. It was developed to provide a formal method for specifying and simulating the behavior of abstract state machines, aiming to improve software design, verification, and validation processes.

About Abstract State Machine Language

Strengths of Abstract State Machine Language include its precision in modeling system behavior, ease of formal verification, and ability to handle complex systems. Weaknesses involve its steep learning curve and limited adoption outside academic and research contexts. Competitors include Unified Modeling Language (UML), Z notation, and Alloy.

Abstract State Machine Language

Top 5*

Programming Languages

About Abstract State Machine Language

How to hire a Abstract State Machine Language expert

The Best of the Best Optimized for Your Budget