Requirements

• Currently enrolled in a Bachelor's or Master's program in Computer Science, Computer Engineering, or a related field.
• Hands-on programming experience in C and/or C++.
• Proficiency in at least one scripting language, Python strongly preferred.
• Strong analytical and problem-solving skills.
• Good written and spoken English.

Nice to Haves

• Coursework, projects, or interest in static code analysis, program analysis, or software security.
• Familiarity with large language models (LLMs) and generative-AI tooling.
• Familiarity with modern AI developer tools.
• Exposure to open-source software development tools.
• A collaborative, curious, and self-driven attitude.

What you'll be doing

• Investigate how AI, particularly large language models (LLMs), can enhance static code analysis.
• Prototype approaches, evaluate their effectiveness, and build tooling to measure and compare results.
• Experiment with different techniques to address real engineering questions.

Perks and Benefits

• Open, hands-on problem-solving experience.
• Work at the intersection of program analysis, software security, and applied AI.
• Opportunity to make a visible contribution.
• Freedom to experiment with diverse approaches.