Research Engineer – LLM Formal Methods

Job title: Research Engineer – LLM Formal Methods

Company: Huawei

Job description: Our team has an immediate 12-month contract opening for a Research EngineerResponsibilities:

• Research and apply state-of-the-art technologies to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods
• Design and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing (examining internal components) and black box testing (evaluating system behavior from an external perspective; assessing the coverage/activation patterns to understand the AI system, and improving performance
• Design and develop formal modeling, analysis, and verification techniques to integrate symbolic information and reasoning within neural networks; ensure accurate interpretation and generation of LLM-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-TL1What you’ll bring to the team:

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

Expected salary:

Location: Markham, ON

Job date: Fri, 27 Sep 2024 07:34:27 GMT

Apply for the job now!