Graduated from Gediz University in 2015. Proficient in Android development with a mid-senior level of expertise. Skilled in various programming languages and technologies, including Java, Python, C, and x86 Assembly. Competent in using tools and platforms such as Photoshop, Linux, Windows, and MySQL. Experienced in web development with knowledge of HTML, PHP, and CSS.

A professional in Systems Analysis and Development with six years of experience in software development, characterized by a commitment to continuous improvement through meticulous planning, dedicated effort, and rigorous study. Proficient in implementing Agile methodologies such as Scrum and Kanban, possessing adeptness in code versioning using GitFlow. Distinguished by resilience and proactive problem-solving, consistently proposing solutions and delving into new specializations as required. Demonstrates robust critical thinking, creativity, effective communication, emotional intelligence, time management, and teamwork skills.

Currently, a full-stack developer specializing in customized software solutions. Recent projects over the past two years include the development of an e-commerce platform for B2B and B2C sales, where significant contributions were made to user interfaces, messaging systems, product listings, and shopping cart functionalities. Instrumental in developing the order feature, encompassing requirement gathering, data modeling, backend development, prototyping, and integrations. Enhanced technical expertise through interactions with payment gateways, cloud services (Cloudinary/AWS S3), shipping APIs (Correios and Jadlog), IBGE APIs, Google APIs, Meta Inc., and Comtele.

The professional journey began at age 16 as a delivery person for a pharmacy, subsequently transitioning to an internship during university studies in Systems Analysis where initial programming skills were honed. Experience spans roles in e-commerce for a cosmetics company and cost analysis in manufacturing, where early programming projects utilizing VBA ignited a passion for software development. Initial coding endeavors involved HTML and CSS, progressing to PHP and MySQL during university, which facilitated the development of proficiency in ReactJS, React Native, Node.js, and MongoDB. Contributions to system development projects, including a project management tool, led to securing a scholarship in a specialized program and pursuing postgraduate studies focused on web development.

A Quality Assurance Engineer with 5 years of experience in the field, specializing in identifying, analyzing, and troubleshooting complex systems. Proven expertise in carrying out comprehensive testing processes to ensure high-quality deliverables. 

Notable achievements include the development of automation scripts for a web service supporting over 60,000 customers, enabling efficient invoice generation alongside a team of developers. Demonstrated proficiency in all phases of the testing lifecycle, from test plan preparation and creation of test cases to application of various test types and use of tracking tools for continuous integration, thereby optimizing project development workflows. Recent professional experience includes working with US-based companies for 1.5 years. Emphasizes clear and structured communication in all professional interactions.

Possessing over six years of experience in the IT sector with a focus on web development and Robotic Process Automation (RPA), the candidate has acquired extensive knowledge of diverse methodologies and work environments. The current objective is to collaborate in an analytical and dynamic setting, driven by a commitment to achieving goals and resolving complex problems using advanced web technologies and contemporary management practices. Recently, there has been a concentrated effort to study and implement technologies such as Python, AWS, and Cloud Computing to enhance their optimization and practical application.

A developer with over two years of expertise in web development, specializing in Python and JavaScript, demonstrating leadership capabilities through experience as a Scrum Master. Adept in managing developer teams, ensuring the successful completion of projects, and fostering productive client relationships. Additional experience includes customer support, project management, and active involvement in client meetings, aimed at attaining client satisfaction and project success. Possesses a fervent commitment to devising innovative and efficient solutions, delivering high-quality outcomes that propel business success. Knowledgeable in frameworks such as Django, React, and Node.js.

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.

Software Developer possessing 5 years of experience in software development, with 3 years dedicated to C# and .NET technologies. Expertise includes enhancing financial process queries and developing report pages. Actively pursuing advanced knowledge and specialization in C# and .NET technologies.

A seasoned expert in UI/UX and Low-Code Development, this professional brings over eight years of expertise in Technology and Design. Their career has been defined by a commitment to creating exceptional digital experiences that drive business success and enhance customer satisfaction. With a focus on self-directed learning, they continuously stay at the forefront of innovation. Their skill set includes developing interfaces, applications, SAAS systems, websites, and on-demand landing pages using low-code technologies such as FlutterFlow, Bubble, and Wordpress with Elementor. Open to collaborative projects and opportunities that align with a vision of constant improvement, this individual is keen to contribute to teams and help organizations achieve their objectives.

The Mizar System is a software tool designed for the formalization and verification of mathematical proofs. It allows users to write mathematical definitions, theorems, and proofs in a structured language, ensuring correctness through automated proof checking.

A Mizar System expert must have strong skills in formal logic, mathematical proof writing, and familiarity with the Mizar language syntax. Proficiency in using proof assistants and understanding of formal verification techniques are also essential.

How to hire a Mizar System expert

The Mizar System was created in 1973 by Andrzej Trybulec. It was developed to facilitate the formalization and verification of mathematical proofs, aiming to ensure their correctness through automated proof checking.

About Mizar System

Strengths of the Mizar System include its rigorous proof verification and extensive mathematical library. Weaknesses involve a steep learning curve and limited user base. Competitors include Coq, Isabelle, and HOL Light.

Mizar System

Top 5*

Programming Languages

About Mizar System

How to hire a Mizar System expert

The Best of the Best Optimized for Your Budget