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.

Software Engineer specializing in backend development demonstrates extensive expertise in technology and innovation. The role involves developing, researching, and implementing new features within the technological domain. Demonstrates strong knowledge in design patterns, code quality assurance, and collaboration with product teams to ensure projects surpass end-user expectations.

Proficiency spans across technologies such as NodeJS, TypeScript, PostgreSQL, and messaging systems like BullMQ, with substantial experience in blockchain integrations. Contributions include maintaining Continuous Integration/Continuous Deployment (CI/CD) practices using GitHub Actions and facilitating deployments through Kubernetes and Docker. Additional experience encompasses event-driven architecture and working with a suite of AWS services such as Lambda, SNS, SQS, EventBridge, and DynamoDB.

Committed to continuous skill enhancement and pursuing new opportunities in the technology landscape.

A full-stack developer based in Santa Maria, RS, with expertise in React and Node.js, currently focuses on further specialization in Node.js. Demonstrates a strong passion for back-end programming and holds a keen interest in machine learning and artificial intelligence.

Possessing a degree in Superior Technology in Telematics, with expertise as a back-end developer specializing in Golang, JavaScript/TypeScript, and Python. Experienced in conducting research and developing solutions in the field of information security. Demonstrates a strong enthusiasm for technology and development, with a particular focus on application scalability, optimal programming practices, Test-Driven Development (TDD), and maintaining clean code.

A seasoned professional with a dual academic foundation in Computer Science (since 1999) and Marketing Management (since 2005), supplemented by specialized training in people and project management, development methodologies, and industry best practices. Over a span of more than 20 years, extensive experience has been accumulated in both front-end and back-end development. Proficient in programming languages including PHP and JavaScript, and familiar with libraries like jQuery. Possesses advanced knowledge in handling various database systems, such as MySQL, PostgreSQL, and SQL Server, as well as expertise in using version control tools like Git. Well-versed in Agile methodologies, specifically in implementing Scrum and Kanban frameworks.

A seasoned .Net Developer with three years of experience, recognized for contributions to significant projects within diverse environments. Experience encompasses key roles in the development of extensive medical clinic systems and engagement with major Indian multinational corporation initiatives. Project involvement includes work with prominent financial institutions, showcasing proficiency in technologies such as Apnet MVC, JavaScript, Entity Framework, SQL Server, HTML5, CSS3, and Bootstrap. Currently pursuing advanced studies in .NET Core and Angular to expand expertise further. Committed to continuous learning and professional development in the programming domain.

Senior Front-End Developer with over five years of experience specializing in large-scale corporate environments. Possesses extensive expertise in React, Next.js, React Native, and Node.js. Skilled at delivering high-quality, efficient, and robust web and mobile solutions, aiming to contribute significantly to organizational success.

Fullstack Developer with a recent Postgraduate Degree in Software Engineering and comprehensive skills in HTML, CSS, JavaScript, Node, MySQL, MongoDB, and Python. Secured second place in hackathons and contributed significantly to peer support initiatives.

Possesses two years of professional experience in a diverse femtech environment, contributing to significant goal achievements within the Operational Excellence squad through application development and maintenance. Leveraged technologies such as Angular, React, Node, TypeScript, and PostgreSQL within Agile methodologies to drive project success.

Led a software engineering team on a challenging project for solar plant monitoring and service provision, developing crucial functionalities using React with TypeScript, Styled Components, Prisma PostgreSQL, and Node. Managed AWS infrastructure with Lambda Functions, SQS, SNS, CloudWatch, and S3, while adhering to Clean Architecture, SOLID principles, and Clean Code standards, ensuring system quality and scalability.

Authored technical articles, demonstrating the capacity to communicate complex concepts effectively. Publications include topics like Using Redis with TypeScript and Understanding Different Types of SQL Joins for the Revelo Brasil blog.

Actively seeking opportunities as a Fullstack Developer, Back End, or Front End Developer. Known for strong problem-solving and teamwork abilities, adaptability, proactive collaboration, and a calm, determined demeanor.

Maude System is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming. It is used for formal modeling, simulation, and analysis of systems, allowing users to specify, execute, and verify complex systems through formal methods.

A Maude System expert must have strong knowledge of equational and rewriting logic, proficiency in formal methods for system specification and verification, experience with Maude's syntax and semantics, and the ability to model complex systems. Familiarity with related tools and languages for formal verification is also essential.

How to hire a Maude System expert

Maude System was developed in the 1990s by researchers at SRI International. It was created to provide a high-performance tool for formal specification and verification of complex systems, leveraging equational and rewriting logic to model, simulate, and analyze these systems effectively.

About Maude System

Strengths of Maude System include high performance, strong formal verification capabilities, and support for both equational and rewriting logic. Weaknesses involve a steep learning curve and limited mainstream adoption. Competitors include Isabelle/HOL, Coq, and PVS.

Maude System

Top 5*

Programming Languages

About Maude System

How to hire a Maude System expert

The Best of the Best Optimized for Your Budget