A Computer Engineering graduate with extensive experience in software development, specializing in Java and Kotlin programming languages. Expertise encompasses various architectural styles, DevOps methodologies, and key industry frameworks. Proficient in designing and optimizing automated workflows as well as maintaining and enhancing existing processes. Currently, advancing English language skills through daily coursework, demonstrating a commitment to continual learning.

Key competencies include development in Java and Kotlin, a strong command of the Spring framework (including modules such as data, boot, batch, and security), and proficiency with build tools like Maven and Gradle. Experience extends to working with SQL databases, version control using GIT, the implementation and consumption of REST APIs, and developing microservices architectures. Additionally, adept at utilizing AWS for cloud solutions.

Actively seeking Java development roles at mid to senior level proficiency, with a keen interest in exploring full-stack development opportunities.

Full Stack Web Developer specializing in Node.js, Vue.js, and the Quasar Framework. Proficient in Linux system management, particularly with Slackware, adept at containerization using Docker, and experienced with version control through Git.

A full-stack developer with over a decade of experience, holding extensive expertise in SQLServer, MySQL, and PostgreSQL for data processing. The professional journey includes significant contributions to registration web pages and internal corporate systems. Experience covers a range of applications including billing systems, securities settlement platforms, and corporate systems. Technological proficiencies encompass PHP, JavaScript, TypeScript, Node, and React, along with a solid understanding of agile methodologies.

A creative professional known for devising innovative solutions, possessing a robust knowledge of both back-end and front-end development, and demonstrating versatile skills in systems development. Proficient in agile methodology, which is deemed essential for an efficient work process, and always ready to embrace new technologies. Holding a postgraduate degree in mobile device development and an MBA in cloud engineering and architecture, this individual combines a solid academic foundation with a decade of experience in web application development, including two years focused on mobile application development. The professional journey includes the creation of APIs using Java and Node, underscoring a capacity to handle diverse technologies. Committed to delivering high-quality solutions and continually enhancing skills to meet market demands, this individual is seeking contract opportunities with availability for 40 hours per week.

A Software Developer and Mechatronics Engineering student at UFRN, dedicated to creating impactful projects that provide tangible benefits through programming.

Front-end Web Developer with expertise in utilizing modern technologies such as ReactJS and VueJS to create Single Page Applications (SPAs). Possesses a strong interest in design and is proficient in using Photoshop along with prototyping tools like Figma and Adobe XD.

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 professional with over four years of experience in various sectors, including health, fintech, and education, demonstrates a strong capability in both startups and medium to large enterprises. Expertise lies in FullStack development with a primary focus on JavaScript. Proficiency extends to ReactJS, Typescript, MySQL, NoSQL, and NodeJS. The individual possesses critical soft skills such as rapid learning, code clarity, refactoring adeptness, time management, and adaptability, refined through diverse industry experiences.

Prosa is a formal framework for the analysis of real-time scheduling algorithms and systems, developed in the Coq proof assistant. It provides a rigorous foundation for proving properties about scheduling policies, task models, and system behaviors to ensure correctness and predictability in real-time systems.

A Prosa expert must have strong proficiency in the Coq proof assistant, knowledge of formal methods and verification techniques, understanding of real-time scheduling theories, and familiarity with task models and system behaviors in real-time systems.

How to hire a Prosa expert

Prosa was developed as a formal framework for analyzing real-time scheduling algorithms and systems. It aimed to provide a rigorous foundation for proving properties about scheduling policies, task models, and system behaviors. The framework was created to ensure correctness and predictability in real-time systems, leveraging the Coq proof assistant for formal verification.

About Prosa

Strengths of Prosa include its rigorous formal verification, ability to model complex real-time systems, and use of the Coq proof assistant for precise proofs. Weaknesses involve a steep learning curve and the need for expertise in formal methods and Coq. Competitors include other formal verification tools like UPPAAL, TLA+, and model-checking frameworks such as SPIN.

Prosa

Top 5*

Programming Languages

About Prosa

How to hire a Prosa expert

The Best of the Best Optimized for Your Budget