* Research Engineer (12-Month Contract) - Huawei Canada
[not found] <4004bac823ce451db49814c9a450f9a1@h-partners.com>
@ 2025-01-30 15:51 ` Jing Wang (A)
0 siblings, 0 replies; only message in thread
From: Jing Wang (A) @ 2025-01-30 15:51 UTC (permalink / raw)
To: categories
[-- Attachment #1.1: Type: text/plain, Size: 2634 bytes --]
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<mailto: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<mailto:jing.wang9@h-partners.com>
Corporate: www.huawei.com/ca<https://url.au.m.mimecastprotect.com/s/WgDUC3QNl1Spxp2Z4tqh9SQJbtP?domain=huawei.com>
[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<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #1.2: Type: text/html, Size: 29140 bytes --]
[-- Attachment #2: image001.png --]
[-- Type: image/png, Size: 7567 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-01-30 20:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <4004bac823ce451db49814c9a450f9a1@h-partners.com>
2025-01-30 15:51 ` Research Engineer (12-Month Contract) - Huawei Canada Jing Wang (A)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).