A .Net Developer with over five years of expertise in web system development, specializing in large-scale projects that prioritize best practices. Current professional interests encompass the application of SOLID principles, Test-Driven Development (TDD), Design Patterns, and the implementation of Microservices.

A seasoned Full-Stack Developer with eight years of extensive experience in web development. Adept in various programming languages and frameworks, demonstrating a strong ability to handle both front-end and back-end tasks seamlessly. Proficient in designing and implementing scalable, efficient, and reliable code, with a proven track record of delivering high-quality web applications.

Possesses a degree in Systems Analysis and Development Technology from UNIPAR, supplemented by an MBA in Data Science from IGTI. Brings over 15 years of experience in technology, specializing in web application development for the last 12 years. Professional background includes significant contributions to projects in various sectors such as e-commerce, telecommunications, banking, the public sector, and startups. Held leadership positions such as Tech Lead in product squads and managed development and management teams as Head of Technology. Provided mentorship and instruction, offering consultancy on projects and training for development teams and students.

Proficient in several programming languages and technologies including Javascript, Typescript, .NET and .NET Core, Java and Scala, Python, and PHP. Demonstrates extensive experience with databases like MySQL, Postgres, SQL Server, Oracle, and MongoDB, and utilizes frameworks such as Angular, React, Vue, Node, Django, ASP.NET Core, Laravel, and JSF. Additionally, skilled in using libraries like JQuery, Bootstrap, Chakra UI, Angular Material, and Primefaces.

Developer with 14 years of experience in engineering diverse solutions. Proficiencies include primary programming languages such as C#, VB.NET, JavaScript, AJAX, HTML, PLSQL, and T-SQL, as well as secondary languages like PHP, Node.js, Delphi7, VB6, Blazor, Centura, and ABAP. Adept in technologies including .Net Core 8 and .Net Framework 4.8. Expertise extends to database modeling and administration, particularly with SQL Server, MySQL, and Oracle. Experience includes IT coordination and a commitment to agile methodologies, demonstrating adaptability and maintaining professional relationships.

Software development professional with over 16 years of experience, adept in all stages of the development cycle, encompassing the identification of customer needs, designing development scopes, leading teams, managing project baselines, and overseeing post-deployment activities. Actively engaged as an evaluator in MPS.BR Level F and CMMI Level 2 maturity model certifications, with practical application of these principles to various projects. Recently expanded expertise to include a range of programming languages such as Java, JavaScript, Angular, Ionic, React JS, and Flutter.

Backend developer with over three years of experience specializing in Node.js-based applications, focused on delivering highly testable and maintainable software solutions to address real-world challenges. Demonstrated expertise in crafting backend applications within a microservices architecture, utilizing technologies such as NestJS, MySQL, Docker, and AWS.

Experience includes collaborating within multidisciplinary teams and employing agile methodologies such as Kanban to effectively manage workflow, prioritize tasks, and ensure continuous value delivery to the business. Strong in both written and verbal English communication skills, coupled with a proactive approach to learning and professional development.

Web Developer with a diverse background in design and creative fields, with a career initiation as a designer motivated by the process of conceptualizing and materializing ideas. Experienced in visual arts creation, including web design, and storytelling through photography. Proven ability to manage e-commerce platforms and develop internal solutions to enhance customer service, as well as in programming websites, blogs, online stores, and automation tools for business applications, with an enduring focus on innovative solutions.

Full Stack Developer with six years of experience focusing on the development and maintenance of comprehensive web applications, utilizing a diverse range of technologies including JavaScript, TypeScript, Node.js, various relational databases, and cloud services. Expertise includes both front-end and back-end development, leveraging frameworks and libraries such as React.js, React Native, Vue.js, and PHP. Proficient in the entire software development lifecycle, from requirement gathering to documentation updates, activity refinement, and conceptualizing web system functionalities. Skilled in the development of websites and web systems, including API integration, and adept at executing version control deployment in production environments. Conducts thorough code reviews through pull requests and adheres to best development practices, such as unit and integration testing, clean coding standards, and design patterns to ensure high-quality deliveries.

Key competencies include proficiency in English, autonomy in development tasks, strong communication skills, teamwork, knowledge sharing, problem-solving aptitude, and effective time management. Demonstrates a commitment to self-learning, emotional intelligence, and overall dedication to excellence.

Technical proficiencies include programming languages like JavaScript, TypeScript, and PHP. Familiar with front-end development tools and technologies including React, Vue.js, Next.js, React Native, Angular.js, Laravel, Svelte, HTML5, CSS3, SASS, JQuery, and SEO strategies. Backend development competencies encompass Node.js, Microservices, AWS Cloud, Object-Oriented Programming, algorithms, data structures, and messaging services such as RabbitMQ. Proficient in Event-Driven Architecture, System Design, and web development with PHP systems, along with a deep knowledge of databases like MySQL, MariaDB, SQL, and PostgreSQL. Exemplifies expertise in code quality assurance through rigorous code reviews, unit and integration testing, A/B testing, Feature Flag, design patterns, and SOLID principles. Experience with CI/CD environments and tools such as Docker, GitHub Actions, and Jenkins, and skilled in mobile front-end application development on the Android platform using Android Studio.

Twelf is a software tool for specifying, implementing, and proving properties of deductive systems. It supports the development of formal systems such as programming languages and logics through the use of logical frameworks and provides facilities for type-checking, proof checking, and meta-theoretic reasoning.

A Twelf expert must have strong skills in formal logic, type theory, and deductive systems. Proficiency in the LF logical framework and experience with proof assistants are essential. Familiarity with functional programming concepts and experience in specifying and verifying formal systems are also crucial.

How to hire a Twelf expert

Twelf was developed in the late 1990s as a successor to the Elf language. It was created to facilitate the specification, implementation, and verification of deductive systems. The tool aimed to provide a framework for formalizing programming languages and logics, leveraging type theory to ensure correctness and consistency in formal proofs.

About Twelf

Twelf's strengths include its robust support for formal proofs, type-checking, and meta-theoretic reasoning. Its weaknesses lie in a steep learning curve and limited documentation. Competitors include Coq, Agda, and Isabelle, which offer similar functionalities with varying degrees of usability and community support.

Twelf

Top 5*

Programming Languages

About Twelf

How to hire a Twelf expert

The Best of the Best Optimized for Your Budget