A seasoned software engineer with eight years of programming experience, currently dedicated to addressing real-world technological challenges through innovative solutions. Professional journey includes founding a software development company, driven by a passion for problem-solving. Additionally, engaged in game development, utilizing advanced platforms such as Unreal Engine 5 and Unity.

Tech Lead boasting five years of developer experience and nearly two years heading frontend-focused teams. Expertise spans Angular, React, Nest, and Express, complemented by in-depth knowledge of vital AWS services such as EC2, S3, SQS, SNS, Lambda, and Amplify. Committed to overcoming challenges and relentlessly pursuing technical excellence in every project. Merges robust technical proficiency with strategic foresight to steer teams towards successful outcomes. A driven and innovative leader equipped to enhance team performance.

A dedicated professional with certifications in CTFL Foundation Level and CTFL Mobile Application Tester, demonstrating a profound commitment to the field of testing. Fluent in English and enthusiastic about language communication, this individual is committed to continuous learning and the enhancement of technological proficiency to expand professional expertise.

A technology professional specializing as a Computer Technician and presently pursuing Systems Analysis and Development exhibits robust capabilities in database modeling, programming, and software development. Expertise spans across Node.js, React.js, SASS, RESTful APIs, UML, TypeScript, Docker, Clean Code principles, SOLID principles, SQL technologies including Prisma and TypeORM, and Scrum methodologies. Engages as a speaker on technology-related topics and travels extensively across Brazil to provide technical guidance to the Brazilian Army. Dedicated to embracing challenges and leveraging opportunities to refine and expand technical proficiencies.

A Full-Stack Developer with over seven years of experience in designing and building web and mobile systems using Dart (Flutter), Javascript (NodeJS, React, React Native), and Python (Django). Possesses a degree in Digital Systems and Media from the Federal University of Ceará, encompassing a strong foundation in design, programming, multimedia, and interaction. Additionally holds a technical qualification in computer science from the Federal Institute of Education, Science, and Technology of Ceará, with proficiency in logic, algorithms, data structures, and various programming languages. Demonstrates expertise in utilizing diverse tools and programs to deliver effective, functional, and visually appealing applications. Passionate about technology, innovation, and continuous learning, consistently striving for professional development and advancements in the field. Fluent in English, French, and Spanish, with interests in music, reading, and language acquisition.

Full-stack web developer with over four years of experience, marked by significant contributions to the development of large-scale e-commerce platforms. Proficient in application development using Ionic and currently undertaking projects with React and NodeJS. Exhibits a dedication to staying current with emerging technologies and displays a relentless pursuit of new challenges and learning opportunities.

Developer with over five years of experience, demonstrating a consistent enthusiasm for learning and self-improvement. Proficient in developing systems for project management, quality control, and event scheduling. Experience includes contributing to open-source systems by creating components for collaborative projects using the Dorothy framework. Responsibilities have included the creation of a training platform capable of certificate issuance and the development of various tools to facilitate system integration. Expertise primarily lies in JavaScript and C#.

Bachelor in Computer Science from UFCG with over six years of experience in developing systems for the Brazilian financial market, particularly focusing on acquirers and banking applications. Holds the position of Software Specialist within three squads, responsible for modeling and developing a Payment Gateway using multiple microservices designed for cloud environments, predominantly AWS, with a Spring Boot-based stack. Professional experience includes maintaining, evolving, and decomposing monolithic applications, utilizing various architectural patterns such as Domain-Driven Design (DDD), Ports and Adapters, Command Query Responsibility Segregation (CQRS), and Model-View-Controller (MVC), along with technologies widely used in modern software development. Regarded as a key reference for other developers and serves as a vital connection between business and technical realms.

Coq is an interactive theorem prover and functional programming language that allows the development of mathematical proofs and the formal verification of software. It provides a formal language to write mathematical definitions, executable algorithms, and theorems, along with an environment for semi-automated proof development.

A Coq expert must have strong skills in formal logic, proof theory, and functional programming. Proficiency in the Coq language and its tactics for interactive proof development is essential. Knowledge of type theory, particularly the Calculus of Inductive Constructions, is crucial. Familiarity with related tools and libraries within the Coq ecosystem is also important.

How to hire a Coq expert

Coq was developed in the late 1980s by researchers at INRIA in France. It evolved from earlier proof assistants like the Calculus of Constructions and aimed to provide a robust platform for formalizing mathematical proofs and verifying software correctness. The project aimed to enhance the reliability and security of software systems through formal verification techniques.

About Coq

Coq's strengths include its powerful type system, support for interactive proof development, and ability to extract executable code from verified proofs. Its weaknesses are its steep learning curve and the significant time investment required for complex proofs. Competitors include Isabelle/HOL, Lean, and Agda.

Coq

Top 5*

Programming Languages

About Coq

How to hire a Coq expert

The Best of the Best Optimized for Your Budget