A Software Developer with 16 years of experience in software development.

Front-end Developer with a degree in Systems Analysis and Development, specializing in the final quality of projects through effective communication and teamwork. Open to ideas and feedback, the goal is to produce optimized code that contributes to company growth, personal development as a programmer, and the advancement of colleagues. Possesses a robust background in C, C++, C#, Java, PHP, and SQL, along with experience in analysis and engineering tasks such as diagram creation and documentation. The primary expertise lies in web development, particularly in front-end technologies like JavaScript, React, HTML, CSS, and SASS.

A seasoned Back-end Developer with over eight years of experience in the technology sector, demonstrating proficiency in programming languages such as Java, JavaScript, PL/SQL, and XQuery. Possesses a solid background working across diverse business segments including finance and telecommunications. Expertise includes developing and managing REST and SOAP microservices APIs, as well as implementing continuous integration for mission-critical systems.

A proficient full-stack developer specializing in functional programming, Javascript, NodeJS, React, and the MERN stack.

Possess expertise in PostgreSQL and MySQL relational database management systems. Skilled in utilizing Delphi for application development, and experienced with RESTful services and JSON data interchange format. Proficient in programming languages including C++, C, JavaScript, and Python. Knowledgeable in version control systems, particularly Git and Tortoise SVN, and adhere to Clean Code principles for writing maintainable and efficient code.

Fullstack Developer with extensive experience in front-end and back-end technologies proficient in building and maintaining interactive web applications. Demonstrates a strong command of programming languages including JavaScript, HTML5, CSS3, as well as server-side languages like Node.js and Python. Exhibits strong problem-solving abilities and expertise in database management systems such as MySQL and MongoDB. Committed to employing best practices in software development to enhance user experience and streamline operations.

With experience in the IT field since 2003, the career began as a Network Administrator, gaining extensive server administration expertise across categories including Active Directory, Database Management, File Server, and Backup Management, while overseeing the support and infrastructure team. After five years in Infrastructure, a transition to database administration and development occurred as a Control Desk coordinator in a debt collection setting. Over the past decade in development, interactions have taken place with various sectors such as accounting, airport services, service sectors, and presently the financial sector. Proficiency in steel plant MES systems modules (SYS, SIM, SCO, SEU, SQM, SCH, SPG, SMS, SIT) was demonstrated as the leader of development and maintenance at a steel company, where project management skills were honed. Currently, the role involves serving as an Analyst, developing applications to provide clients with advanced technologies for financial market operations, and contributing to the vehicle rental segment by developing registration and control systems for automotive suppliers.

Junior Developer specializing in ReactJS and React Native with proficiency in JavaScript, TypeScript, styled components, React Native CLI, and Expo CLI. Previous internship involved technical support responsibilities and management of service requests using HTML, CSS, JavaScript, JQuery, and SQL Server. Professional experience encompasses website development using WordPress and application development and maintenance with React Native. Currently focused on advancing knowledge and skills in ReactJS.

Gobra is a verification tool for Go programs, designed to ensure the correctness of code by mathematically proving properties about it. It uses annotations and specifications within the Go code to check for logical consistency, absence of runtime errors, and adherence to specified behavior.

A Gobra expert must have strong proficiency in Go programming, a deep understanding of formal verification methods, and experience with writing and interpreting annotations. They should also be familiar with mathematical logic, theorem proving, and the use of verification tools.

How to hire a Gobra expert

Gobra was developed to address the need for formal verification in Go programming. It originated from academic research focused on enhancing software reliability by proving code correctness through formal methods. The tool was created to provide Go developers with a means to ensure their programs were free from logical errors and adhered to specified properties.

About Gobra

Strengths of Gobra included its ability to formally verify 

 programs, ensuring high reliability and correctness. Weaknesses involved the complexity of writing and maintaining annotations, which could be challenging for developers. Competitors included other formal verification tools such as 

, which targeted different programming languages but offered similar verification capabilities.

Gobra

Top 5*

Programming Languages

About Gobra

How to hire a Gobra expert

The Best of the Best Optimized for Your Budget