Mobile Developer with four years of experience, specializing in Android development utilizing Kotlin and Java. Expertise includes using Retrofit for API consumption and proficiency in employing architectural patterns such as MVVM with Clean Architecture, MVP, and MVC. Demonstrates advanced skills in data persistence through Room, automated testing via JUnit and Mockito, and code versioning with Git. Experienced in implementing dependency injection frameworks such as Koin and Dagger Hilt, along with knowledge in mobile development using Ionic, React, and Flutter frameworks. In the realm of iOS development, proficient in Swift language, UIkit for layout design, SwiftUI for contemporary app development practices, and familiar with package management tools including CocoaPods and Swift Package Manager. Possesses comprehensive experience in the App Store publishing process and adept at MVVM architectural designs. Certified in basic Scrum fundamentals, focusing exclusively on opportunities in Android and iOS development.

Accomplished professional with a dedicated focus on system development. Demonstrates a strong commitment to achieving excellence in the creation and optimization of systems.

Postgraduate in Agile Product Management with certifications as Product Owner and Scrum Master, currently holding the position of Agile Coach. Proficient in steering multifunctional team efforts in product development, consistently achieving substantial value deliveries. Possesses strong expertise in comprehending user experiences and overseeing the full product lifecycle from conception to delivery across various industries, including Fintech, Healthcare, Services, and Logistics/Transport. Dedicated to advancing a career in product development with a focus on excellence in end-user experience.

A Full Stack Web Developer proficient in PHP, Symfony, Swagger, Vue.js, MySQL, and various Google Platform resources such as Storage, PubSub, and Cloud Functions. Responsible for both the development of new features and the maintenance of existing systems. Significant contributions include the development of features in compliance with the General Data Protection Law (LGPD). Currently, a member of the innovation team, focusing on the development of new products.

An experienced educator and developer with a primary focus on web systems and Android application development, supplemented by a solid background in general development. Expertise extends to digital game development across platforms such as Android, iOS, Windows, Mac, Linux, and Xbox One. Demonstrates risk-taking abilities, a strong commitment to effort and sacrifice, and effective management of people and resources. Possesses excellent communication and public speaking skills, motivational capabilities, and strong organizational and planning abilities. Known for perseverance, consistency, and effective team collaboration and leadership. Additionally, holds the personal role of being a parent.

Full-Stack Developer specializing in back-end development, with a keen dedication to mastering emerging technologies and tackling intricate challenges. Actively seeking new remote work opportunities.

Full-stack developer proficient in NodeJS, React, and MongoDB.

A seasoned Game Developer with over seven years of expertise in the game development industry, demonstrating proficiency in creating projects using Unity with C#, Phaser 2 with JavaScript, and Godot with GDScript. Equipped with an extensive understanding of Game Design, encompassing mechanics development, storytelling, difficulty balancing, internal economy, and level design. Notable released titles include Side Quest for PC, available on Steam, and Blobs Tap for web and Android platforms. A comprehensive portfolio that highlights a diverse range of works is available for viewing.

Fact is a declarative, logic-based programming language designed for writing and verifying formal proofs. It allows users to define logical assertions and relationships, enabling automated reasoning and verification within specified domains.

A Fact expert must possess strong skills in formal logic, automated reasoning, and proof verification. They should be proficient in writing and interpreting logical assertions and have a deep understanding of declarative programming principles. Knowledge of related tools and languages like Coq, Isabelle, or HOL is also beneficial.

How to hire a Fact expert

Fact was a declarative, logic-based programming language developed for formal proof verification. It emerged in the early 2000s as part of efforts to enhance automated reasoning and ensure the correctness of logical assertions within specific domains. The language aimed to streamline the process of writing and verifying formal proofs through a structured, logic-driven approach.

About Fact

Fact's strengths included its declarative nature, which facilitated clear and concise formal proof definitions, and its strong support for automated reasoning. Its weaknesses were limited adoption and a steep learning curve for new users. Competitors included other formal proof languages like Coq, Isabelle, and HOL.

Fact

Top 5*

Programming Languages

About Fact

How to hire a Fact expert

The Best of the Best Optimized for Your Budget