From: "Jing Wang (A)" <jing.wang9@h-partners.com>
To: "categories@mq.edu.au" <categories@mq.edu.au>
Subject: Research Engineer (12-Month Contract) - Huawei Canada
Date: Thu, 30 Jan 2025 15:51:45 +0000 [thread overview]
Message-ID: <a53b3b281a3044558410eace49b9278e@h-partners.com> (raw)
In-Reply-To: <4004bac823ce451db49814c9a450f9a1@h-partners.com>
[-- 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 --]
parent reply other threads:[~2025-01-30 20:29 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <4004bac823ce451db49814c9a450f9a1@h-partners.com>]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=a53b3b281a3044558410eace49b9278e@h-partners.com \
--to=jing.wang9@h-partners.com \
--cc=categories@mq.edu.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).