A developer specializing in FullStack application development, beginning with foundational projects in game development using tools like Unity, AFP, and Blender. Holds an academic background in Information Systems. Proficient in ASP.NET MVC Core, .NET Core, .NET Framework, Angular, VUE, Java Spring, Flutter, SQL, MySQL, Git, and Azure DevOps, demonstrable through extensive experience in the field.

Front-end Engineer, UX Specialist, and Web Engineer with over five years of experience in the technology sector. Holds a degree in Data Science and began programming in school through participation in robotics competitions. Current focus is on leveraging technology and innovation to empower individuals and organizations.

Expertise encompasses User Experience (UX), JavaScript, CSS3, TypeScript, HTML, React.js, Vue.js, Angular.js, Micro Frontends, Flux Architecture, Atomic Design, Component Libraries UI, Mobile First Design, Python, and Django. Passionate about knowledge sharing, teaching, and encouraging the inclusion of more women in the tech industry.

With over 18 years of experience in full-stack development with a focus on back-end technologies, the individual has demonstrated proficiency in modern technologies and advanced software development practices. This extensive background has fostered a deep technical expertise and a passion for guiding teams and projects toward innovative and efficient solutions. Specializing in GoLang and Node.js, the individual possesses a strong foundation in Clean Architecture, Domain-Driven Design (DDD), and Design Patterns. This expertise has been instrumental in delivering complex projects that meet high standards for quality and performance. A notable accomplishment includes implementing solutions that surpassed stakeholder expectations through optimized processes and innovation. Committed to building cohesive, motivated teams capable of tackling challenges and achieving shared objectives, the individual's leadership style emphasizes open communication, mutual respect, and a dedication to excellence. Currently seeking a position to leverage this expertise in software architecture and team leadership.

Specialized in ERP integration, web services development utilizing REST and SOAP, and agile project methodologies. Demonstrates proficiency in report development and the design of systems for retail and wholesale sectors, with a technical skill set encompassing Java, AngularJS, Spring MVC, jQuery, JBoss, Spring Boot, Spring Security, Oracle database management, and Oracle Weblogic Server. Possesses in-depth knowledge of Service-Oriented Architecture (SOA) and microservices architecture. Experienced in deploying microservices architecture on AWS and Azure platforms, utilizing Kubernetes for efficient container management.

An experienced iOS Developer with a comprehensive background in designing, developing, and maintaining iOS applications. Demonstrates proficiency in Swift and Objective-C, along with expertise in various iOS frameworks such as UIKit, Core Data, and Core Animation. Possesses a strong understanding of the full mobile development lifecycle, including concept, design, test, release, and support. Committed to producing quality code and delivering innovative and efficient solutions, this professional is adept at problem-solving and has a strong focus on UI/UX principles to ensure high-quality user experiences.

Experienced in the technology sector with a strong emphasis on experiential learning. Demonstrates proficiency in interpersonal interactions and exhibits a strong preference for collaborative teamwork. Committed to continuous learning and contributing effectively to both the company and team dynamics, consistently striving to achieve high-quality outcomes and deliver exceptional results on all projects.

As a Software Engineer, experience is focused on full-stack development for a leading cloud-based business procurement solution. Utilizing technologies including Java, Spring Boot, HTML/CSS, TypeScript, and Angular, high-quality features and functionality are delivered. Collaboration with cross-functional teams, application of agile software development practices, and participation in design and architecture decisions are key aspects of the role.

Currently pursuing a Bachelor's degree in Computer Science, with an academic journey complementing practical experience in the software industry. This education includes fundamental concepts and principles of computer science such as data structures, algorithms, databases, and software engineering.

A lifelong learner, with a passion for innovation and creative problem-solving in the dynamic field of software engineering, there is a continuous drive to expand knowledge and skills while exploring exciting new opportunities.

A dedicated student of Analysis and Systems Development at IFSC with over three years of professional experience in Angular and Spring Boot. Proficient in Node.js and React.js, skills honed through various personal projects.

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, 

Coq

Top 5*

Programming Languages

About Coq

How to hire a Coq expert

The Best of the Best Optimized for Your Budget