Hardeep Kaur

Software Developer


+31 68404 6302 | hardkaur1632@gmail.com LinkedIn | github

About Me

I am an enthusiastic and dedicated software developer with a passion for continuous learning and problem solving. I thrive in environments where I can collaborate with like-minded people to tackle new challenges and build innovative solutions.

Experience

Da Vinci Derivatives, Amsterdam

Software Developer, Digital Assets 01.2025 - Present
  • Managed and integrated data pipelines across multiple crypto exchanges, focusing on accurate data capture, real-time position reconciliation, and low-latency order cancellation to support high-frequency trading strategies.
Software Developer, India team 07.2023 - 01.2025
  • Developed a pcap replaying framework to efficiently test trading algorithms by replaying live network traffic in a controlled environment.
  • Designed and implemented a robust limits framework to streamline portfolio transfers, ensuring regulatory compliance, adherence to risk controls, and reducing operational errors.
  • Contributed to full-stack development by building critical features for traders, enhancing both usability and functionality of the trading platform.

Google, IN-BLR-BCPC, Remote

Software Engineering Intern 05.2022 - 07.2022
  • Enhanced the VCenter Inventory Sync Service by enabling the sync operation from multiple roots in the inventory.
  • Collaborated with the Anthos for VM team towards making Attachable VMs first-class citizens of the Anthos platform.
  • Explored the feasibility of the DVfilter framework in capturing and diverting network traffic from VMs to Service VMs.

Projects

Formal verification of group messaging protocols

2022-2023
Supervisor: Prof. Sanjiva Prasad

Worked on extending the DY* framework to support complex data structures and simulated realistic executions of group messaging protocols. Also built a framework for modeling the protocol semantics in DY* & developed abstractions for specifying their security properties.

Languages

English - Fluent

Punjabi - Native

Skills

Programming Languages

  • C++, Python, Java, Go, F*, Rust, SQL, Standard ML, Prolog

    • Libraries & Frameworks

  • C++ STL, Boost, Qt, Flask, Dash

    • Web Technologies

  • HTML5, CSS3, JavaScript

    • Tools

  • Figma, Git, Docker, Kubernetes

    • Software Development Practices

  • OOP, Design patterns, Unit testing

    • Education

    B.Tech, Computer Science

    IIT Delhi
    2019-2023
    GPA: 8.7/10

    Hardeep Kaur

    Software Developer


    +31 68404 6302 | hardkaur1632@gmail.com LinkedIn | github

    Projects (Contd.)

    Digital Electoral Rolls using Hash Chains

    2022
    Supervisor: Dr. Subodh Sharma

    Implemented Digital Electoral Rolls in a privacy preserving manner by using an immutable and append-only database. Implemented a Merkle Tree representation to provide cryptographical proofs for Data & Consistency Verification queries. Used Digital Signatures and ACLs to allow only permissioned updates and an immutable ledger to record transactions.

    Experimental Kernel with Concurrency and Multi-Core Scheduling

    2022
    Supervisor: Prof. Sorav Bansal

    Implemented a kernel with a shell interface and used asymmetric stackless coroutines to improve the responsiveness. Enhanced the kernel by implementing fibers to support recursive computations as well as non-preemptive scheduling. Added pre-emptive scheduling and multi-core programming by implementing interrupt handlers and an SPSC queue.

    DRAM Request Manager for Multicore Processors

    2021
    Supervisor: Prof. Preeti Ranjan Panda

    An interpreter for a subset of the MIPS ISA, maintaining internal data structures to represent Register File,Memory and ALU. Simulated DRAM access timings,enabled Non-Blocking Memory Access and Data forwarding to increase throughput. Simulated Memory Request Manager to efficiently handle DRAM requests from different cores in Multicore Processors.

    Scholastic Achievements

    KVPY Fellow - Indian Institute of Science (IISC), Bangalore 2018

    Awarded the prestigious KVPY fellowship with National Rank 80.

    NTSE Scholarship - Government of India 2017

    Secured a scholarship by ranking among the top 100 in the state and top 1000 nationally.

    International Social Studies Olympiad - Science Olympiad Foundation 2016

    Qualified for ISSO by securing State Rank 2 and Olympiad Rank 22.

    International Social Studies Olympiad - Science Olympiad Foundation 2015

    Qualified for ISSO by securing State Rank 2 and Olympiad Rank 36.

    References

    Ms. Devanshi Khatsuriya , SWE, Google, Bangalore
    +91-77280 81897, devanshikhatsuriya18@gmail.com