Research Engineer - LLM Formal Methods
Job details
Our team has an immediate permanent opening for a Research Engineer
Responsibilities:
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 improve 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 the practical AI development lifecycle, and publish findings in relevant conferences and journals.
What 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.
#J-18808-Ljbffr
Apply safely
To stay safe in your job search, information on common scams and to get free expert advice, we recommend that you visit SAFERjobs, a non-profit, joint industry and law enforcement organization working to combat job scams.
