/AI and Formal methods Design and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing... bring to the team: A Ph.D. degree in Formal Methods, Software Engineering, LLM/AI, or a closely related field Proven......
Job Location: Markham, ON, Canada