Our team has an im m edi ate 4-month contract opening for anIntern Researcher Responsibilities: Research and apply state-of-the-art tec hnologi es to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods Researchand 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 Research 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-TL1 What you'll bring to the team: Ph.D. student 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 #J-18808-Ljbffr