Software Engineer Intern (TikTok-Generalized Arch-Code Intelligence & Quality Validation) - 2027 Summer

About the role

About the Team The Agentic Ops US team focuses on two major areas: Code Graph and Quality Validation. The code graph serves as the data foundation for validation, encompassing static relationships (function calls, experiment/instrumentation dependencies) and dynamic execution paths (reconstructed from traces). Quality validation covers static rule checking (mining soft and logical constraints) and dynamic issue detection, reproduction, and fixing. We aim to improve code reliability and R&D efficiency through systematic, data-driven approaches.

We are looking for talented individuals to join us for an internship. Our internship program offers students hands-on experience, industry exposure, and opportunities to apply their knowledge to real-world challenges while building a strong foundation for personal and professional growth. Interns will gain practical experience, explore potential career paths, and participate in social events, learning programs, and development workshops alongside industry professionals. Candidates may apply to a maximum of two positions across Our Company and its affiliates globally. Applications will be considered in the order they are submitted. Applications are reviewed on a rolling basis, so we encourage you to apply early. Please clearly state your availability in your resume, including your start and end dates.

Responsibilities 1. Participate in building and optimizing the code graph, including static relationship extraction, dynamic trace data cleansing, and aggregation. 2. Develop static validation rules (logical and soft constraints) based on the graph, and contribute to the design and implementation of dynamic validation tools (issue reproduction, root cause localization). 3. Conduct in-depth analysis of production quality issues, distill general validation patterns, and drive automation coverage. 4. Research and introduce cutting-edge academic and industrial techniques in code analysis, program slicing, anomaly detection, etc., to continuously improve validation effectiveness.

Requirements Minimum Qualifications: - Currently pursuing an Undergraduate/Master degree in Software Development, Computer Science, Computer Engineering, or a related technical discipline. - Able to commit to working for 12 weeks during the Summer of 2027. - Solid programming skills with proficiency in at least one mainstream language (Go / Python / Java / C++) and good coding practices. - Deep understanding of data structures and algorithms, capable of independently reading and implementing moderately complex algorithm modules. - Research-oriented mindset: curious about unknown problems, adept at reading papers and technical blogs, and able to design solutions from first principles rather than just making code work. - Strong learning agility: able to quickly pick up new tools and frameworks, proactively track technology evolution, and apply them to practical work.

Preferred Qualifications: - Experience with static analysis (e.g., AST, CFG, pointer analysis), dynamic tracing (e.g., eBPF, OpenTelemetry), compiler development, or automated testing. - Publications in academic conferences or journals related to code analysis, software engineering, or system reliability. - Contributions to major open-source projects, or personal tech blog/portfolio that demonstrates independent thinking and deep-dive investigation.