Quantitative Developer, Trading Infrastructure (Seoul-based)