Intern Researcher - LLMs Formal Methods

Intern Researcher - LLMs Formal Methods

Our team has an immediate 4-month contract opening for an Intern Researcher

Responsibilities:

- Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLMs/AI and Formal methods
- Research and develop comprehensive testing strategies for LLMs-based AI systems, e.g., white box testing (examining internal components) and black box testing (evaluating system behaviour from an external perspective; assessing the coverage/activation patterns to understand the AI system, and improving performance
- Research and develop formal modelling, analysis,





and verification techniques to integrate symbolic information and reasoning within neural networks; ensure accurate interpretation and generation of LLMs-based AI system outputs
- Work closely with researchers and engineers to apply advanced technologies into practical AI development lifecycle, and publish findings in relevant conferences and journals

#LI-TL1

What you’ll bring to the team:

- Ph.D. student in Formal Methods, Software Engineering, LLMs/AI, or a closely related field
- Proven experience in research and development in related fields
- Knowledge of formal reasoning and testing techniques
- Understanding of LLMs/AI techniques and their limitations
- Strong programming skills
- Ability to collaborate effectively with interdisciplinary teams
- Adept at identifying and solving complex technical challenges

▶️ Intern Researcher - LLMs Formal Methods
🖊️ Huawei Technologies Canada Co.
📍 Unionville