A software development professional with over four years of experience in the public and private sectors, known for leadership in impactful projects. Key achievements include implementing a strategic cost-reduction initiative that saved over R$1M annually, and managing a comprehensive remuneration process overhaul for over 200 employees using AWS SQS and a messaging architecture. Proficient in monitoring and ensuring the integrity of data integration for over 9 million insurance policyholders, covering more than 90% of the national insurance market using tools like Kibana Elasticsearch.

Skilled in developing high-performance REST APIs with C# (.NET Core) adhering to SOLID principles, and integrating databases into .NET applications with ORM frameworks such as NHibernate and Dapper. Additionally, experienced in developing and maintaining front-end applications using Angular/AngularJS and Bootstrap for a workforce exceeding 5000 employees. Advocates for efficiency and innovation, highlighted by leading eight kaizens in 2023 and conducting over 2000 pull request reviews across 20+ repositories. A certified Scrum Master with a commitment to best practices in software development.

Specialist in IT with over two decades of experience, proficient in both business and development sectors, with a robust foundation in Agile and Lean methodologies. Experienced predominantly as a full-stack developer with a strong emphasis on backend technologies, contributing to a wide array of project types and sizes, gleaning crucial insights from both successful and unsuccessful endeavors. Demonstrates strong competencies in object-oriented programming, PHP, Ruby on Rails, JavaScript, jQuery, Test-Driven Development (TDD), and Kanban, and is an advocate for the Lean Startup approach.

Recently shifted focus to the product management domain, acquiring substantial experience as a Product Owner while simultaneously fulfilling Scrum Master roles. Successfully coordinated and led multiple teams from the conceptualization phase through to product launch, along with managing ongoing support and integration with other legacy applications in production.

An optimistic and positive thinker with a keen interest in continuous learning across various subjects, this individual continually hones skills and knowledge, provides assistance and encouragement, and engages in reading and logical reasoning activities. Aspiring to excel as an expert leader, manager, and developer, the person exhibits strong interpersonal skills, facilitating excellent teamwork and fostering a light-hearted work environment. Demonstrated initiative in independently seeking solutions before consulting supervisors underlines a commitment to personal and professional growth. Extensive experience in team settings has significantly enhanced interpersonal relations and adaptive abilities to meet project or organizational requirements. As a developer, there is a strong emphasis on staying abreast of new market technologies and a zeal for learning new frameworks and programming languages, coupled with a curiosity about broader technological domains yet to be mastered.

A driven programmer with a robust skill set in .NET, SQL, and front-end technologies including HTML, CSS, JavaScript, and JQuery. Possesses a Bachelor's degree in Information Systems and exhibits a strong capacity for rapidly assimilating new technologies.

A dedicated professional with a capacity for swift learning, committed to contributing effectively to the organization. Demonstrates unwavering focus and commitment to both team collaboration and project execution.

Team-oriented professional adept at functioning within agile methodologies, recognized for participatory engagement and a willingness to assist colleagues. Known for punctuality and responsibility, this individual demonstrates a rapid learning capacity and consistently strives to stay well-informed.

Senior IT Professional with over three decades of experience in application development, utilizing technologies such as Flutter Dart, React, NextJs, Docker, and non-relational databases. Proficient in C# .Net Core, Oracle, SQLServer, MVC Web, and Backend API Services, with significant expertise in maintaining and migrating legacy systems built on older programming languages.

Demonstrated proficiency in contributing to critical projects across various sectors, including Air Traffic Management, Retail, Security, Health Care, Energy, Insurance, Foreign Trade, ERP systems, Commercial Systems, Mobility solutions, and Business Intelligence. Extensive experience within the Financial Market sector, particularly in Stocks & Shares Options and Futures Market.

Possesses a strong capability in requirement analysis, risk analysis, technology selection, cost projection, time estimation, quality control, project management, and testing. Technologically versatile, with hands-on experience in JavaScript frameworks, Ajax, JSON, CSS, HTML5, MVVM, Windows Phone, RUP, BPMN, and Visual Basic.

Utilized tools such as SVN, Tortoise, JIRA, Team System, Borland Delphi, Oracle PL/SQL Database, InterBase, SQL Server, Paradox, and DBF. Skilled in UML with EA, Enterprise Architect, Rational Rose, and Erwin for bank mainframe environments, including ASM, zOS1.7, ESA390, NATURAL, MVS, CICS, ADABAS, DB2/UDB, ASP Classic, and CGI using Delphi, JavaScript, VBScript, VBA, Centura, and Power Builder.

Worked on platforms and languages like Sybase with Oracle, MySQL on Apache/Linux servers, Palm Mobile Technology, Windows Mobile, iOS, Android, and familiar with SAP, Microsiga AP5, and Hercules simulator software for mainframes on Linux and Windows.

A fourth-semester student from Petrópolis specializing in Technology and Communication Information, with over two years of experience in the technology sector. Developed extensive expertise during participation in a Software Residency program, gaining in-depth knowledge of HTML5, CSS3, JavaScript, NodeJS, Angular, and Database technologies. Currently enrolled in an advanced training program focused on NodeJS, TypeScript, GraphQL, and React, alongside specialized e-commerce mentorship sessions for enhanced technical proficiency.

Epigram is a functional programming language and proof assistant designed for writing and verifying mathematical proofs. It integrates programming with formal verification, allowing users to construct programs alongside their correctness proofs, leveraging dependent types to ensure that programs adhere strictly to specified properties.

An Epigram expert must have a deep understanding of dependent type theory, functional programming, and formal verification. Proficiency in writing and proving mathematical proofs within a programming context is essential. Familiarity with related languages like Haskell or Agda can be beneficial for grasping Epigram's concepts and syntax.

How to hire a Epigram expert

Epigram was developed in the early 2000s by Conor McBride and James McKinna. It aimed to combine programming with formal verification, enabling the construction of programs alongside their correctness proofs using dependent types. The project sought to advance the field of type theory and functional programming by providing a robust framework for ensuring program correctness.

About Epigram

Epigram's strengths included its strong type system with dependent types, facilitating rigorous program verification. Its weaknesses were its limited adoption and lack of extensive libraries compared to more mainstream languages. Competitors included 

, which also focused on dependent types and formal verification but offered broader community support and more mature ecosystems.

Epigram

Top 5*

Programming Languages

About Epigram

How to hire a Epigram expert

The Best of the Best Optimized for Your Budget