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.

Front-end developer specializing in creating web and mobile applications utilizing JavaScript, TypeScript, and associated libraries and frameworks such as React, React Native, and Next. Demonstrates proficiency in managing both small and large-scale projects, collaborating with various teams, and leading initiatives focused on enhancing user experience. Committed to continuous professional development and acquiring new technical skills.

Full-stack developer with over eight years of experience in web development, demonstrating expertise in web frameworks, object-oriented programming, HTML, PHP, Java, and JavaScript. Recent interests include Microservices, DevOps, Machine Learning, and Data Science.

A strategist with dual citizenship in the European Union and Brazil, holding a degree in Computer Sciences. Experience includes several international assignments in the USA and corporate English instruction. High school education was completed in California, and recent professional residence includes Europe. Positions have included roles at major technology firms and a current appointment as a research professor in BPM Methodologies and Change Management at the University of Granada, Spain, since 2018. Presently, the role includes serving as a Business Process Solutions Integrator for multinational customers in the Americas and EMEA regions. Proficient in English, Spanish, and Portuguese.

Web developer with over two decades of experience, focusing on Laravel and React, with occasional applications of Vue, for the past six years. Extensive experience primarily encompasses the European market. Recently, functioned as a Full Stack Engineer for a period of three years at a Belgian enterprise catering to over 400,000 users.

As a software engineer, I specialize in the development of web applications that support consulting services in Distributed Ledger Technology (DLT) and Blockchain solutions. My role encompasses full-stack development, leveraging technologies such as Go, MongoDB, ReactJS, NextJS, TypeScript, and D3.js to construct both backend and frontend components. Collaboration with other developers and clients is integral to my work to ensure the delivery of high-quality and functional products.

With over six years of experience in software engineering, my expertise lies particularly in complex API services. My technical repertoire includes C# .NET, Golang, JavaScript, and C++. My experience extends to monitoring tools like Kibana and Grafana, and I have utilized GitHub Actions for streamlined deployment to GCP applications. My database management proficiency covers MongoDB and Postgres.

Previous projects have seen me engage with React, TypeScript, JavaScript, and NodeJS. I have also conducted research and development in technological initiatives, such as designing a data control system for IoT devices.

I hold a bachelor's degree in computer engineering, during which I developed projects combining hardware and software, specifically working with Arduino processors. 

Driven by a passion for learning and applying new technologies to address real-world challenges, I continuously seek opportunities to enhance my skills and broaden my knowledge. I am committed to teamwork, innovation, and maintaining high standards of quality in all my endeavors.

A Full-stack Developer with more than five years of experience specializing in both development and infrastructure. Demonstrates proficiency in the creation, maintenance, refactoring, and testing of diverse applications, employing JAVA as the principal technology. Expertise encompasses object-oriented programming, Linux system administration, and relational database management. Focused on application scalability, adherence to best development practices, and the implementation of agile methodologies.

A graduate in Analysis and Systems Development with six years of experience in data management. Possesses advanced expertise in SQL and PL/pgSQL, with foundational knowledge of PL/SQL. Skilled in utilizing data analysis and visualization tools including Power BI, Pentaho, and SSIS. Demonstrates proficiency in version control through GIT.

Zeno is a programming language designed for high-assurance systems, focusing on safety, security, and correctness. It provides formal verification tools to ensure that programs adhere to specified properties and constraints, making it suitable for critical applications where reliability is paramount.

A Zeno expert must have strong skills in formal verification, theorem proving, and logic-based programming. Proficiency in understanding and applying formal methods to ensure software correctness is essential. Familiarity with safety-critical system development and experience with languages like Ada or Coq can also be beneficial.

How to hire a Zeno expert

Zeno was developed to address the need for a programming language that ensured high levels of safety, security, and correctness in critical systems. It emerged as a response to the growing demand for formal verification tools in software development. The exact details of its founders or specific year of creation are not widely documented, but it played an important role in advancing reliable and verifiable programming practices.

About Zeno

Zeno's strengths included its focus on formal verification, safety, and security, making it ideal for high-assurance systems. Its weaknesses involved limited adoption and a steep learning curve due to its specialized nature. Competitors included languages like Ada, SPARK, and Coq, which also emphasized reliability and formal verification in software development.

Zeno

Top 5*

Programming Languages

About Zeno

How to hire a Zeno expert

The Best of the Best Optimized for Your Budget