Tamzid Morshed Rubab

Tamzid Morshed Rubab is a PhD student at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, researching logic and verification, specifically data-driven verification of almost-sure reachability in stochastic systems. He holds a BSc in Data Science and Technology from HKUST (2019-2023), where he did theoretical-computer-science research (parameterized algorithms, type theory, clustering). He previously worked at Eclipse Trading, a Hong Kong proprietary trading firm, as a Graduate Software Engineer (2023-2024) and a Software Developer Intern on the Low Latency Options team (2022). He represented Bangladesh at the IMO in 2017 and 2018.

Notes8

• Quant employment verification: CONFIRMED. Tamzid Morshed Rubab held two actual roles at Eclipse Trading (Hong Kong) - Software Developer Intern on the Low Latency Options team (Jun-Aug 2022) and Graduate Software Engineer (Aug 2023-Jul 2024). Identity is supported independently: his IMO record (Bangladesh, 2017/2018), Notre Dame College, HKUST BSc (2019-2023) and current MPI-SWS PhD all match. Employer classification: Eclipse Trading is a proprietary equity-options market-making/trading firm that trades its own capital using quantitative analysis and technology, so the roles are genuine quantitative-trading-sector software roles rather than student programmes. Caveat: the employment itself is sourced from his LinkedIn profile (index-sourced) plus the caller lead; his own public personal site confirms his identity and PhD but does not restate the Eclipse Trading roles, so no independent non-LinkedIn source was found for the employment dates.2024
• PhD student at MPI-SWS (Kaiserslautern, Germany) in the Rigorous Software Engineering group (Dr. Rupak Majumdar) and HyCoDeV group (Dr. Sadegh Soudjani), working on data-driven verification of almost-sure reachability in stochastic systems - his first non-Hong-Kong role after Eclipse Trading, marking a shift from industry to academia.2025
• Employed at Eclipse Trading (Hong Kong) as a Graduate Software Engineer, August 2023 to July 2024.2024
• Employed at Eclipse Trading (Hong Kong) as a Software Developer Intern on the Low Latency Options team, June-August 2022.2022
• Eclipse Trading is a proprietary equity-derivatives trading firm (founded 2007) that uses technology and quantitative analysis to provide liquidity and trades its own capital, with 120+ staff across Hong Kong, Sydney, Shanghai and Chicago - his roles there therefore sit at a genuine quantitative/options market-making firm, not a company merely named 'quant'.2026
• Bangladesh's IMO 2018 gold medal went to team-mate Ahmed Zawad Chowdhury, not to Rubab - press coverage names Rubab as one of three bronze medallists from Notre Dame College, so he was a multiple-bronze IMO contestant, not a gold medallist.Jul 25, 2018
• Represented Bangladesh at the IMO in 2017 (17 points) and 2018 (18 points), winning a bronze medal in each edition while a student at Notre Dame College, Dhaka.2018
• Research interests lie in theoretical computer science, particularly logic and verification.2025
• Public contact email [contact omitted] listed on his personal site.2025
• Primary-source confirmation of the Eclipse Trading roles is limited: his personal site and public profiles describe only his PhD and HKUST history, so the trading employment rests on his LinkedIn profile (index-sourced) and the caller-supplied lead, not on an independent published source.2025
• BSc in Data Science and Technology, HKUST, 2019-2023, then went straight into the Eclipse Trading graduate role - the degree and the Hong Kong-based trading job overlap, indicating he stayed in Hong Kong after graduation.2023
• Final-year thesis (Summer 2022-Spring 2023) under Prof. Amir Goharshady designed 3 novel parameterized algorithms for enumerating prime implicants of CNF Boolean expressions plus hardness results for parameterizations.2023