Summary
Overview
Work History
Education
Skills
Knowledge and Interests
Languages
Timeline
Generic
Nhat Anh Ngo

Nhat Anh Ngo

Hanoi

Summary

A software engineer with strong focus on the backend side of development, who has learned to appreciate both correctness and practicality, clarity and performance, high level abstractions and low level foundation, complexity and simplicity, and the subtle balance in between. Terminally curious.

Overview

10
10
years of professional experience

Work History

Software Engineer

Zen8Labs
12.2023 - 12.2024

Due to family circumstance, continued working with Zen8Labs as a partner, additionally with a new challenge:

  • Designed and developed a performant and highly optimized load absorbing backpressure system for Omega (another Zen8Labs partner) who was having trouble with spike load from third party event emitting services calling their webhooks.
  • Technologies: Rust, Kafka, Redis, Nix

Senior Backend Engineer

Zen8Labs
04.2022 - 11.2023

Employed fulltime at Zen8Labs, worked mostly as an engineer for the backend development team of a Zen8Labs partner named Nudge Inc, a payment instrument issuer based in Japan, and later as a fullstack (mostly backend) developer for 2030 Builders, a sustainability education startup in Denmark.

  • Maintained and extended microservices in Nudge’s backend system
  • Designed and implemented a new subsystem for a new business domain in Nudge's backend
  • Provided guidance and training for new member of the backend team
  • Developed the backend and a bit of the frontend of 2030 Builders's web application
  • Developed an internally used high performance load testing tool to verify performance claims with customers
  • Technologies: Golang, MySQL, Postgresql, AWS PaaS (Dynamodb, SQS, Lambda Function, Fargate, KMS, S3, CloudFront, CloudWatch, CodeBuild, CodeDeploy), Rust, Javascript/Typescript (Nestjs, React)

Backend Software Engineering Contractor

Zen8Labs
03.2019 - 03.2022

Worked on multiple projects for business partners of Zen8Labs

  • Designed and implemented an async tasks subsystem for the backend of Spores, a partner of Zen8Labs
  • Helped Spores with API development
  • Designed and implemented a currency bridge system for customer (Welups)'s own blockchain for interoperation with Ethereum
  • Technologies: Golang, NATS, Machinery, Redis, Cadence/Temporal, Ethereum

Backend Software Engineer

Cis J.s.c
04.2017 - 10.2018

Working on iParking – a car parking system providing service for multiple parking lot companies in Hanoi, using the then-state of the art microservices architecture

  • Maintained and extended microservices for the system’s backend
  • Implemented new microservices
  • Administrated and managed the dev servers
  • Implemented an in-house automated deployment solution for the testing environment using Ansible
  • Implemented an experimental then-novel Kubernetes cluster for the testing environment
  • Situational frontend development
  • Technologies: Golang, GRPC, etcd, MySQL, RocksDB (MyRocks in MySQL), in-house distributed sharding solution, Ansible, docker, Kubernetes

Backend Development Contractor

Freelancing
11.2015 - 06.2016

Outsourcing as a freelancer for another engineer, working together on a task queue for the server side of a mobile game

  • Implemented Celery wrapper for workers and producers, using RabbitMQ as the broker
  • Implemented workers and producers for async tasks
  • Technologies: Python, Celery, RabbitMQ, Postgresql

Junior Backend Developer

IWay J.s.c
09.2014 - 09.2015

Developing a video streaming system at a small scale

  • Implemented RESTful APIs
  • Maintained part of the server to client video streaming logic
  • Technologies: Nodejs, MongoDB, websocket

Education

Excellence Engineer Degree - Software Engineering

Hanoi University of Science And Technology
Hanoi, Vietnam
06-2014

Skills

    Rust

    Haskell

    Golang

    Nix

    Mysql

    Postgresql

    Linux

    DynamoDB

    Kafka

    Cadence/Temporal

    Redis/Valkey

    C

    QMK

    Unison

Knowledge and Interests

  • Distributed computing: consistency levels, fault tolerance, durable execution, consensus protocols, distributed data storage, load management, orchestration vs coordination
  • Databases: RMDBs, wide-column (Dynamo paper inspired) DB and access pattern based schema design, relational data modeling, normalization/denormalization, query optimization, storage data structures
  • Security: CVEs, classic exploitations and mitigations, hardware exploitations and side channel attacks, cryptographic protocols, cryptographic ciphers, cryptographic hashes, access control
  • Software engineering: Parnas' decomposition (separation of concerns, information hiding, loose coupling and high cohesion regarding future changes), SOLID, robustness principle, Dijkstra's semantics levels, DDD, FP software engineering practice (reify and manipulate as much as possible as values, making invalid states unrepresentable), Unix philosophy in modern context, common architectural patterns
  • High performance computing: memory management, data-oriented design, performant syscall/IO, concurrent runtimes, operating systems, parallel programming, zero-cost abstractions
  • Programming language theory: lambda calculi, type theory, dependent type, proof assistants, higher order abstractions, static transformation and optimization, algebraic effects, incremental parsing, metaprogramming
  • Reproducibility: hermetic build systems (nix, guix), deterministic simulation testing, persistent data structures
  • Embedded development: firmware development for keyboards using STM32, RP2040 and ESP32 microcontrollers
  • AI and ML: symbolic reasoning, machine learning architectures (convolution network, multihead attention transformer), LLMs as proof finding tactics for dependent type system, domain specific machine learning and LLMs as expert assistants

Languages

English
Bilingual or Proficient (C2)
Vietnamese
Bilingual or Proficient (C2)
Japanese
Beginner (A1)

Timeline

Software Engineer

Zen8Labs
12.2023 - 12.2024

Senior Backend Engineer

Zen8Labs
04.2022 - 11.2023

Backend Software Engineering Contractor

Zen8Labs
03.2019 - 03.2022

Backend Software Engineer

Cis J.s.c
04.2017 - 10.2018

Backend Development Contractor

Freelancing
11.2015 - 06.2016

Junior Backend Developer

IWay J.s.c
09.2014 - 09.2015

Excellence Engineer Degree - Software Engineering

Hanoi University of Science And Technology
Nhat Anh Ngo