Software Developer holding an Information Systems degree from Fai - Centro de Ensino Superior em Gestão, Tecnologia e Educação, with three years of software development experience. Specializes in PHP, relational databases, Docker, and testing tools. Currently positioned as a Mid-Level PHP Developer, engaging in strategic projects aimed at customer migration to primary software, while adhering to best practices in development and testing. Additional responsibilities involve maintaining legacy systems, addressing critical bugs, handling SQL routines, and implementing minor enhancements. Previous professional experience encompasses projects within the telecommunications and healthcare sectors, demonstrating adaptability across various business models. Committed to transforming ideas into technological solutions and actively enhancing skills through studying the Laravel Framework via courses and mentorship programs.

Over six years of experience in HTML/CSS, relational databases such as Oracle, MySQL, SQLServer, and UX/UI design underscores a robust front-end development and user interface design expertise. Proficiency in Adobe Creative Suite, including Photoshop, Illustrator, XD, and Figma, further enhances this skill set. Additionally, four years of experience in JavaScript programming have been complemented by three years working with TypeScript, ReactNative, ReactJS, Node.js, alongside an understanding of Scrum/Kanban methodologies, Git for version control, and Firebase for backend services, reflecting a strong commitment to contemporary web development practices. Competence in working with APIs completes the candidate's front-end qualifications. Over the past year, the candidate has also delved into PHP and Laravel for back-end development, while exploring Docker for containerization and RabbitMQ for message brokering, thus broadening their technical repertoire and enhancing application efficiency and scalability. This combination of front-end and back-end technologies is crucial for developing robust and scalable web applications.

Full Stack Programmer with a background in freelance work and startup innovation, demonstrating a commitment to continuous learning and technical excellence. Proficient in a diverse range of technologies including NextJS, ReactJS, TypeScript, JavaScript, Docker, AWS, Jest, Cypress, Spring Framework, Java, JUnit, NestJS, and NodeJS. Additionally, skilled in HTML, CSS (with TailwindCSS and SASS), as well as SQL and NoSQL databases such as PostgreSQL and MongoDB. Consistently dedicated to expanding expertise to encompass emerging technologies.

Immersed in the dynamic environment of startups, began a journey as a Frontend Developer with a specialization in building user-centric web applications and collaborating effectively to solve complex problems. Expertise lies in HTML, CSS, JavaScript, and modern frontend libraries/frameworks such as React.js and Next.js, with additional experience in Typescript, React Testing Library, and React Native. A meticulous attention to detail aids in transforming design concepts into flawless, responsive interfaces. Combined with a strong commitment to delivering high-quality code, the goal is to create exceptional user experiences.

An Android Developer with over four years of experience in native app development, demonstrating proficiency in Kotlin and Jetpack Compose. Expertise extends to cross-platform app development utilizing React Native and Flutter, coupled with web development capabilities using React.js. Actively seeking opportunities in mobile development to contribute to the creation of high-quality applications.

Specialist with extensive experience in leading teams and developing high-quality web and mobile solutions. Over a decade of experience working on governmental projects in sectors such as health, sanitation, and public safety. Proficient in object-oriented programming, clean architecture, Java stack, Kafka, SQL, and NoSQL databases. Enthusiast in microservices architecture, cloud computing, and agile development methodologies. Previously responsible for the development and maintenance of a nationwide solution in the banking sector. Currently focusing on microservices architecture and cloud-native technologies as a Java specialist. Leads development teams skilled in back-end technologies using C# and Java, as well as front-end and mobile application development for Android and iOS. Open to part-time opportunities as a legal entity.

Back-end developer with over a decade of experience in web development and infrastructure, specializing in high-traffic applications. Proficient in functional programming, Object-Oriented Programming (OOP), and DevOps methodologies. Demonstrates advanced skills in Node.js and React.js, with a particular focus on application scalability and infrastructure optimization. Exhibits a strong commitment to best development practices, including Test-Driven Development (TDD) and Behavior-Driven Development (BDD).

Front-end Developer with 3.5 years of experience in web and mobile project development, specializing in interactive web solutions using leading market technologies. Expertise in responsive design, SEO, accessibility, and integration with APIs and third-party libraries. Demonstrated proficiency in teamwork and agile methodologies, including Scrum and Kanban. Dedicated to creating attractive, functional interfaces that enhance user experience.

Gallina is the specification language used in the Coq proof assistant. It allows users to define mathematical functions, state theorems, and develop formal proofs. Gallina supports both functional programming and logic programming paradigms, enabling precise and verifiable formalizations of mathematical concepts and algorithms.

A Gallina expert must have proficiency in functional programming, a deep understanding of formal logic and type theory, and experience with the Coq proof assistant. They should also be skilled in writing formal proofs, developing mathematical specifications, and using tactics for proof automation.

How to hire a Gallina expert

Gallina was developed as part of the Coq proof assistant project, which began in the late 1980s. It was created to provide a formal language for specifying mathematical functions, stating theorems, and constructing proofs within Coq. The language aimed to facilitate rigorous formalizations and verifications of mathematical concepts and algorithms.

About Gallina

Gallina's strengths include its strong support for formal proofs, integration with the 

 proof assistant, and expressive power for both functional and logic programming. Weaknesses include a steep learning curve and potential performance issues with large proofs. Competitors of Gallina include Isabelle/HOL, 

Gallina

Top 5*

Programming Languages

About Gallina

How to hire a Gallina expert

The Best of the Best Optimized for Your Budget