Fullstack Developer adept at independently handling the entire development lifecycle from modeling to deployment. Demonstrates a collaborative spirit, recognizing that teamwork enhances productivity through interaction. Employs effective strategies to mitigate procrastination by setting daily development goals, leading to high productivity levels. Dedicated to continuous learning and committed to self-improvement.

Mid-level Programmer specializing in software development using .Net, with substantial experience in modifying code in JavaScript and SQL Server, as well as correcting legacy systems developed in Delphi. Initiated professional career in 2009 following the completion of an Electrician maintenance course, earning an honorable mention at the OBMEP Mathematics Olympiad and embarking on early programming ventures centered on electronics and automation.

Holds a degree in Industrial Mechatronics, beginning as an intern focused on developing systems with Programmable Logic Controllers across Brazil, including projects for major factories. Advanced to work in building automation systems, access control, and fire prevention, programming various devices in languages such as Ladder, STL, SCL, and C++. Continued to work in the same field while managing small teams and providing support until the end of 2017.

In 2018, transitioned to a role in banking system development, evolving from a Junior Programmer to a Senior level. Demonstrates proficiency in reading English and Spanish, with basic writing and speaking skills. Hobbies include football and video games.

Web Developer with a specialization in JavaScript, exhibiting proficiency in Angular and Vue.js frameworks for front-end development, alongside Nest.js and Express (Node.js) for back-end development. This role is characterized by a dedication to continuous technological advancement, adept communication skills, and an ability to collaborate efficiently in team environments. Demonstrates versatility in transitioning seamlessly between front-end and back-end tasks or managing both concurrently.

Project Manager responsible for the development and successful implementation of a satellite system currently in operational use within the organization. This project achieved a 92% user satisfaction rate, significantly reducing overtime while enhancing the efficiency and speed of operational processes, and expanding the range of service options available to external clients. Experienced in business analysis, specifically with regard to the satellite system project. Proficient in creating and maintaining dashboards using QlikView and skilled in data manipulation through DDL, DML, DQL, DTL, and DCL across SQL Server, Oracle, and PostgreSQL databases. Active participant in the innovation committee and the General Data Protection Law (LGPD) compliance committee.

Developer specializing in Ruby on Rails and Vue.js, committed to continuous learning and knowledge sharing. Proficient in various technologies such as HTML5, CSS3, JavaScript, React.js, Vue.js, Ruby on Rails, Redis, Sidekiq, PostgreSQL, and Docker. Experienced in both back-end and front-end development with a focus on delivering comprehensive solutions to improve user experience.

Experienced developer specializing in mobile and web development with a proven track record in managing large-scale projects and adhering to tight deadlines. Skilled in version management and software maintenance, with adeptness in troubleshooting application issues and resolving incidents that disrupt user-dependent services.

A Frontend Developer with extensive experience in maintaining and stabilizing legacy code using the React framework demonstrates adeptness in resolving bugs and implementing new features. Proficient in integrating frontend operations with RESTful APIs, this individual has expanded their skill set by learning Angular and Typescript to manage additional legacy codebases effectively. Skilled in converting Figma designs into functional code, they are currently enhancing their expertise in Clean Code principles, specializing in Cloud Computing with a focus on AWS tools, and initiating Backend development training. Additionally, this professional is pursuing a degree in Systems Analysis and Development.

Specializes in the development of user interfaces within the .NET Framework, as well as the creation and maintenance of databases.

Whiley is a programming language designed for safety and verification, enabling developers to write programs that are free of certain types of errors. It incorporates features such as formal specifications and automated theorem proving to ensure program correctness, particularly focusing on eliminating runtime errors like null dereferences and array bounds violations.

A Whiley expert must have strong skills in formal verification, automated theorem proving, and understanding of type systems. Proficiency in writing and interpreting formal specifications is crucial, along with experience in debugging and optimizing Whiley code. Knowledge of related tools and frameworks used for program analysis and verification is also essential.

How to hire a Whiley expert

Whiley was created in 2009 to address the need for a programming language that emphasized safety and verification. It was developed to help programmers write correct software by incorporating formal specifications and automated theorem proving, aiming to eliminate common runtime errors such as null dereferences and array bounds violations.

About Whiley

Whiley's strengths included strong emphasis on program correctness, automated theorem proving, and prevention of runtime errors. Its weaknesses involved a smaller community, less mature tooling, and limited industry adoption compared to mainstream languages. Competitors included languages like Ada, Rust, and Dafny, which also focused on safety and formal verification.

Whiley

Top 5*

Programming Languages

About Whiley

How to hire a Whiley expert

The Best of the Best Optimized for Your Budget