Researcher, Software Development, AI Engineer (Applied​/Software)

Adecco is currently hiring a Researcher for a full-time temporary opportunity in Burnaby, BC. This role is ideal for an experienced research professional with a strong academic background in computer science, software engineering, mathematics, or a related field and expertise in symbolic AI and formal methods.
In this position, you will 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.

• Pay Rate: $66.00 per hour
• Location: Burnaby, BC
• Employment Type: Full-Time | Temporary

Responsibilities

• 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.

Qualifications

• Must be legally eligible to work and reside in Canada.
• 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 asset.

Interested in this position? Apply now! Our dynamic recruitment team looks forward to helping you take the next step in your career.
At Adecco, our purpose is simple: to make the future work for everyone. We live our values, Passion, Collaboration, Inclusion, Courage, and Customer-Centricity, by fostering a workplace where diversity is celebrated and every voice matters. We encourage applications from people of all backgrounds and identities. Together, we are shaping a future that works for everyone.
If you would like to learn more about Aspire Academy to enhance your skills for your next role, feel free to ask!