categories - Category Theory list
 help / color / mirror / Atom feed
* 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).