Internship - Software Engineering - AI-Augmented Static Code Analysis

Descrizione del lavoro:

Static analysis helps engineers find software defects early - and there's a real opportunity to push it further with modern AI. As a Software Engineering Intern with the Wireless Technologies \u0026 Ecosystems team, you'll explore how the latest large language models can be combined with established static analysis techniques to improve how issues in code are detected.\\n\\nIt's an open, hands-on problem at the intersection of program analysis, software security, and applied AI - with plenty of room to experiment and make a visible contribution. If you enjoy reasoning about code and applying AI to practical engineering problems, we'd like to meet you.\",\"description\":\"The Wireless Technologies \u0026 Ecosystems team builds tools and infrastructure that help engineers develop high-quality software. In this internship, you'll investigate how AI - in particular large language models (LLMs) - can enhance static code analysis, working alongside experienced engineers in static analysis and applied AI.\\n\\nYou'll help prototype approaches, evaluate how well they work, and build tooling to measure and compare results. Because this is an open problem with no established playbook, you'll have the freedom to experiment with different techniques and see your ideas tested against real engineering questions.\",\"responsibilities\":\"Prototype and evaluate approaches that combine AI with static code analysis.\\nBuild tooling to measure and compare the quality of analysis results in a consistent, repeatable way.\\nReason about individual findings - for example, distinguishing true positives from false positives, and understanding where deterministic checks fit versus AI-based reasoning.\\nExperiment with large language models - including prompt design and model selection - for code-analysis tasks.\\nCollaborate closely with engineers on the team and clearly document your design, experiments, and results.\",\"preferredQualifications\":\"Coursework, projects, or interest in static code analysis, program analysis, or software security.\\nFamiliarity with large language models (LLMs) and generative-AI tooling, and an intuition for where AI-based approaches help and where they don't.\\nFamiliarity with modern AI developer tools (e.g. LLM-assisted coding assistants).\\nExposure to open-source software development tools.\\nA collaborative, curious, and self-driven attitude - comfortable working on an open problem where the right answer is not known in advance.\",\"minimumQualifications\":\"Currently enrolled in a Bachelor's or Master's program in Computer Science, Computer Engineering, or a related field.\\nHands-on programming experience in C and/or C++ - you have actively written, debugged, or analyzed C/C++ code (e.g. in a university project or thesis) and are comfortable with the fundamentals: pointers, memory allocation, and structs. (You do not need to be a C++ expert.)\\nProficiency in at least one scripting language, Python strongly preferred.\\nStrong analytical and problem-solving skills, and the ability to reason clearly about unfamiliar code - we care more about how you think through a problem than about a memorized answer.\\nGood written and spoken English