Dear All， Huawei Canada seeking 4 Research Engineers with strong Haskell skills for a 12-month contract role. If you have a passion for research and innovation, we would love to hear from you! Position Details: * Contract Duration: 12 months * Location: Onsite,Markham, Ontario, Canada * Number of Positions: 4 About the job: * Engage in research projects focused on neuro-symbolic systems (NSSs) that leverage symbolic AI and formal methods to enhance and refine LLM outputs, ensuring the generation of acceptable symbolic results * Implement innovative NSS designs and validate their intended properties * Collaborate on research publications to disseminate findings About the ideal candidate: * A Ph.D. in Computer Science, Software Engineering, Mathematics, or a related field, with a preference for candidates specializing in symbolic techniques, particularly in formal methods tools * Proven experience in developing symbolic computation tools, such as programming language tools, compilers, model checkers, theorem provers, or similar applications. Familiarity with functional programming languages, especially Haskell, is an asset * A solid understanding of programming language theory, logic, and symbolic verification is an asset * A strong interest in the integration of LLMs with symbolic tools * Knowledge of Category Theory is an asset1 How to Apply: If you are interested in applying for this position, please send your resume to jing.wang9@h-partners.com We look forward to your applications! Best, Angel(Jing) Wang Senior Recruiter, Recruitment Huawei Technologies Canada Co., Ltd. 19 Allstate Parkway, 5st Floor Markham, Ontario Canada L3R 5B4 Email: jing.wang9@h-partners.com Corporate: www.huawei.com/ca [cid:image001.png@01DB7266.55736C60] You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups