A Software Engineer with over five years of experience specializing in both front-end and back-end development. Consistently delivers superior software solutions to a global clientele, ensuring alignment with their strategic objectives. Demonstrates exceptional communication and teamwork abilities, thriving in diverse environments and driving projects to meet and surpass business requirements. Motivated by a passion for technology and efficient Agile methodologies, this professional continually seeks opportunities for growth and innovation within the dynamic realm of software development.

A Java FullStack DevOps professional with a Bachelor of Science in Information Systems and over 12 years of experience in software development. My career has been enriched by international experience, enhancing both personal and professional cultural awareness. Additionally, I am passionate about the dynamic nature of software engineering and have gained valuable insights from my recent endeavors in digital marketing. This experience has endowed me with essential non-technical skills, including improved financial management, a deeper understanding of human behavior, clearer definition of life values, and enhanced resilience.

A dedicated Software Developer with a robust interest in programming and a commitment to continuous improvement. Experience includes developing and publishing several personal projects on the Play Store. Actively seeks new opportunities in Java or Flutter development, consistently demonstrating a high level of dedication to all tasks undertaken.

As a professional in Software Testing and Quality Assurance, the primary focus is on achieving results with adaptability and an ongoing commitment to learning. With a strong Agile Mindset centered on continuous delivery, there is a dedicated effort to improve application quality throughout software development projects. Effective interpersonal and communication skills enhance workplace collaboration.

A certified expert in Agile Methodologies and the SCRUM Framework, the role involves cultivating a culture of teamwork and transparent, efficient communication within development teams.

Proficiency encompasses Behavior-Driven Development (BDD) using Gherkin, along with tools such as JUnit, Cucumber, Selenium WebDriver, Eclipse IDE, and IntelliJ IDEA. Experience includes working with MySQL, Postman, Swagger Editor, RestAssured, and Appium, as well as utilizing mobile emulators like Genymotion and software like TestComplete and Apache JMeter.

Expertise spans a QA mindset emphasizing the identification of testing needs through Business Rules, Equivalence Partitioning Techniques, Decision Table Techniques, and Boundary Value Techniques. This includes Exploratory Testing (using Test Heuristics and Risk-Based approaches), Risk-Based Testing (involving Identification, Classification, Priority setting, and Mitigation), and Code-Based Testing (covering Sentence and Decision Coverage). Testing experience covers both the Waterfall Model ( encompassing Requirements Analysis, Design Phase, Coding Phase, Test Phase, Acceptance, and Metrics) and Agile Context Testing (including Refinement, Planning, Coding, Test, Acceptance, Test-Driven Development (TDD), Behavior-Driven Development (BDD), Acceptance Test-Driven Development (ATDD), and Metrics).

Knowledge extends to Software Architecture for Testers, including Frontend & Backend technologies, Web & Application Servers, Relational & Non-relational Databases, Code Versioning, Containers, Cloud Computing, and Asynchronous Processes. Technical leveling in Java and Object-Oriented Programming, as well as SQL, is also a key area of expertise.

Proficient in reviewing business rule requirements and testing REST APIs using tools like Swagger, alongside heuristic testing. Web testing capabilities include UI isolation, visual regression tests, and front-end performance assessment. Mobile Android testing is performed using emulators such as Genymotion, focusing on visual regression and API integration.

With a strong sense of Ownership and a proactive approach to ensuring quality throughout the Software Development Life Cycle (SDLC), there is a commitment to promoting Shift Left Testing concepts and advocating for DevOps principles within teams to enhance application maturity.

With a background in Internet Systems and a postgraduate qualification in Data Science, this professional brings extensive experience in problem-solving across diverse scenarios. Their career, primarily rooted in system support, has afforded them exposure to a broad spectrum of both contemporary and legacy technologies. They demonstrate a consistent commitment to tackling new challenges and maintaining high standards in their work.

A seasoned Full Stack Developer specializing in Front End and Design, with a robust command of Javascript and Typescript, and approximately five years of experience with the ReactJS and NodeJS stack. Proficient with various libraries and frameworks, including NestJS, NextJS, Express, Tailwind, and Styled Components. Experienced in Help Desk roles, involving direct client interactions and incident management, and possesses considerable expertise in implementing databases using MongoDB and MySQL. Additionally skilled in utilizing Python for automation, scripting, and web scraping tasks. Currently pursuing advanced studies in Java and a degree in Software Engineering to further develop technical acumen. Driven by a strong passion for technology and design, consistently eager to embrace new challenges and stay abreast of market trends. Actively seeking opportunities to leverage extensive experience and expertise in innovative and demanding projects.

Full Stack Developer with a focus on Backend, Data Engineering, and DevOps, transitioning from Infrastructure to Programming in 2018. Specialized in Python for Data Science and Analysis, demonstrating proficiency in data extraction and manipulation from SQL, NoSQL, and web sources. Expertise includes utilizing MS Excel, PowerBI, Numpy, Pandas, Seaborn, Sci-kit learn, Matplotlib, and Apache for data treatment and visualization. Expanded competencies into Web Development in 2019, achieving full stack development proficiency by 2020 with a command of languages and frameworks such as Python Django, Flask, ReactJS, React Native, NodeJS, Angular8+, Golang, and Microservices. Possesses a DevOps certification, with comprehensive knowledge of Docker, Kubernetes, Jenkins, Terraform, Istio, Prometheus, Grafana, RabbitMQ, CloudMQ, Kafka, Redis, AWS, GCP, and Azure. Holds a postgraduate degree in Information Security, complemented by a pentest certification from DESEC Security. Driven by continuous learning and an unrelenting curiosity.

Bachelor's degree in Information Systems with intermediate proficiency in JavaScript, concentrating on development using React and Node.js. Previously acquired knowledge encompasses Java, C#, Ionic, Angular, PHP, and MySQL. Proficient in constructing UML diagrams, including Object Diagrams, Use Case Diagrams, Flow Diagrams, and Navigation Diagrams.

Dependent ML (DML) is a functional programming language that extends ML with dependent types. It allows types to depend on values, enabling more precise type checking and verification of program properties at compile time, thereby reducing runtime errors and improving program correctness.

A Dependent ML expert must have strong proficiency in functional programming, deep understanding of type theory and dependent types, experience with the ML family of languages, and skills in formal verification and theorem proving. Knowledge of compiler construction and type inference algorithms is also essential.

How to hire a Dependent Ml expert

Dependent ML was developed to enhance the ML programming language with dependent types, allowing types to depend on values for more precise type checking and verification. It aimed to reduce runtime errors and improve program correctness. The language emerged in the early 2000s as part of research efforts in type theory and functional programming.

About Dependent Ml

Strengths of Dependent ML included enhanced type safety and the ability to verify program properties at compile time. Weaknesses involved increased complexity in type definitions and potential performance overhead. Competitors included other functional languages with strong type systems, such as Haskell and Coq.

Dependent Ml

Top 5*

Programming Languages

About Dependent Ml

How to hire a Dependent Ml expert

The Best of the Best Optimized for Your Budget