Basim Khajwal

Basim Khajwal is a software engineer at Jane Street, a proprietary trading firm and market maker. He studied Mathematics and Computer Science at the University of Oxford (2018-2022). His public work history spans internships at CoreFiling (2019, financial reporting software), the startup Causal (2019-2020, part-time), Netcraft (2020, anti-phishing), and Jane Street (summer 2021), where he worked in a trading systems team on a metadata service for high-volume market-data streams and contributed DWARF debugging support to the flambda-backend OCaml compiler. He is a former competitive programmer, a bronze medallist for Team GB at the International Olympiad in Informatics 2018, and a co-author of research on probabilistic programming, gradient-based optimisation and smart-contract quality assurance.

Notes7

• Quant employment verification: CONFIRMED. Basim Khajwal worked at Jane Street - a proprietary trading firm and market maker - first as a Software Engineer Intern in summer 2021 (self-authored personal site, https://basimkhajwal.github.io/) and subsequently full-time. His own site describes the internship as 'A 3-month summer internship at a well-known proprietary trading company', working in a trading systems team building a metadata service for internal high-volume market data streams. LinkedIn-index enrichment additionally lists full-time Software Engineer roles (London 2022-2025; New York 2025-present); those full-time dates are index-only and not independently confirmed. Employer classification: Jane Street = quantitative/proprietary trading (market-making) = quantitative finance - CONFIRMED. Other employers: CoreFiling (financial reporting/XBRL software) and Netcraft (anti-phishing) are NOT quantitative trading firms.Jun 2021
• Jane Street internship, 2021: worked in a trading systems team on a metadata service for internal high-volume market data streams, and on DWARF debugging support for the flambda-backend OCaml compiler.2021
• Three-time British national finalist in informatics, representing Team GB twice at the International Olympiad in Informatics; won bronze at IOI 2018 in Tsukuba, Japan.Sep 2018
• Co-authored peer-reviewed papers connecting to the University of Oxford probabilistic-programming group: 'Fast and Correct Gradient-Based Optimisation for Probabilistic Programming with Higher-Order Automatic Differentiation' (ESOP 2023, with Ong and Wagner) and 'Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterised Stochastic Differential Equations' (AISTATS 2024, with Wagner et al.). Presence on DBLP under a distinct author id corroborates the academic identity.2024
• Personal site self-describes as a 4th-year University of Oxford student in Mathematics and Computer Science; the site's experience section documents roles from 2016 through the 2021 Jane Street internship.2022
• IOI statistics page lists him as a contestant for United Kingdom at IOI 2018, corroborating the Olympiad identity.Sep 2018
• Listed as co-author of 'Survey on Quality Assurance of Smart Contracts' (ACM Computing Surveys, 2024), indicating work spanning blockchain/smart-contract reliability beyond trading systems.2024
• Co-authored research output in probabilistic programming / gradient-based optimisation ('Fast and Correct Gradient-Based Optimisation for Probabilistic Programming', 2023) and a 'Survey on Quality Assurance of Smart Contracts' (2024).2023
• Netcraft internship, 2020: software development at an anti-phishing company, working on rule-based and machine-learning models processing thousands of fraudulent emails daily. Netcraft is a cyber-security firm, not a quant trading business.2020
• CoreFiling internship, 2019: full-stack web development at a financial-technology company, building a tool for exploring large financial dataset schemas. CoreFiling is a financial reporting software firm, not a quant trading business.2019
• Causal, 2019-2020: part-time full-stack web development at a funded startup building a numerical modelling tool focused on handling uncertainty.2019
• 2018 ACM ICPC: cleared the UK IEPC to represent Oxford, then placed 6th of over 120 teams at the North Western European regional final, winning silver.2018