## Qualifications
* Experience with Lean or Coq
* Strong foundation in proof writing
* Master's degree or higher in Mathematics or a closely related field
## Benefits
* We offer a competitive salary of up to $150 an hour and an innovative work environment focused on precision in mathematical arguments
## Responsibilities
* Translate informal mathematical proofs into structured formalizations
* Collaborate with top-tier researchers on cutting-edge AI research projects

## Full Description
Formalization Engineer – Lean/Coq for AI

A leading company in formal verification seeks professionals with a Master's degree or higher in Mathematics or a closely related field.

Key Responsibilities:

• Translate informal mathematical proofs into structured formalizations

• Collaborate with top-tier researchers on cutting-edge AI research projects

Requirements:

• Experience with Lean or Coq

• Strong foundation in proof writing

• Master's degree or higher in Mathematics or a closely related field

About Us:

We offer a competitive salary of up to $150 an hour and an innovative work environment focused on precision in mathematical arguments.



Job description
Position: AI Growth and Community Analyst )

AI Growth and Community Analyst (Dubai)

Nonceblox's Edtech Unit - Educity builds AI-first learning experiences for founders, operators, and ambitious professionals across the GCC.

• We design workshops, labs, and curated rooms where AI meets business execution.

• We’re looking for a Dubai-based student who wants real startup exposure — not a routine in...ternship.

• Leverage AI tools (ChatGPT, Canva, automation platforms) to build high-impact marketing assets

• Drive registrations and revenue for paid AI workshops

• Grow and engage our Linked In, Meetup, and community ecosystem

• Support and co-manage on-ground AI events across Dubai

• Initiate partnerships with university clubs and founder networks

• Track and optimise weekly KPIs (leads, conversions, revenue contribution)

• Implement simple marketing automations to improve efficiency

And beyond the checklist — you’ll step into fast-moving, high-exposure work that can’t always be predefined.

• You won’t just “assist.”

• You’ll operate, execute, and help build.

Who This Is For

• Dubai-based university student

• Comfortable using AI tools

• Energetic, proactive, reliable

• Interested in AI, startups, or business building

Compensation Structure

• Basic monthly retainer

• Commission on paid registrations generated

• Performance bonuses tied to event revenue

• Direct exposure to AI startup building

High performance = higher earning potential.

Why This Role Is Different

This isn’t a passive internship. It’s a launchpad into AI, business, and community building. If you want to understand how businesses scale, how revenue is generated, and how AI tools can accelerate growth — apply.

This is a performance-driven, commission-first role.

A modest fixed stipend will be provided. Please apply only if you’re comfortable working in a results-oriented, incentive-based structure.

#J-18808-Ljbffr
Show full description
Report this listing
Loading...

Job highlights
Identified by Google from the original job post
Qualifications
• Variables include years of work experience, industry-specific experience, education level, etc
Benefits
• The firm offers up to $139,000 plus a comprehensive benefits package
Responsibilities
• This role will help develop and execute the change management and communications strategy for AI initiatives, collaborate on RFP responses and client questionnaires, support outside counsel guidelines related to AI and technology, establish communication processes, partner with subject matter experts to build AI-focused plans and content, and work closely with Marketing to create impactful materials
More job highlights
Job description
An internationally recognized law firm is launching an exciting new role: AI Change Management Analyst. Based in Boston in a hybrid environment, this newly created position offers the opportunity to drive firmwide adoption of Artificial Intelligence and play a key role in shaping innovation strategy.

This role will help develop and execute the change management and communications strategy for AI ...initiatives, collaborate on RFP responses and client questionnaires, support outside counsel guidelines related to AI and technology, establish communication processes, partner with subject matter experts to build AI-focused plans and content, and work closely with Marketing to create impactful materials.

Candidates should have five or more years of experience in change management or communications development, prior IT experience preferred, a strong track record running successful change communications programs, expertise in AI and change management best practices, and proficiency with IT service lifecycle frameworks such as ITIL, Six Sigma, or TQM.

This is a high-visibility opportunity to step into a brand-new role and make a significant impact. The firm offers up to $139,000 plus a comprehensive benefits package. Submit your resume today.

Job Code: 18802

• Please note that quoted salary ranges are not guarantees of what the final salary offers might be. Variables include years of work experience, industry-specific experience, education level, etc. to be considered!
Show full description
Report this listing
Loading...

Job description
Join our team and what we'll accomplish together

Join our team to transform TELUS Health with the power of AI

The Chief AI Office (CAIO) team empowers TELUS to become a world-class AI-driven organization. Our AI Accelerator team drives this transformation by partnering with business units to unlock exponential value through data and insights.

As an AI Product Manager, you will bridge the gap be...tween cutting-edge AI capabilities and tangible business impact within the TELUS Health portfolio. You will act as a consultant and change agent, championing AI adoption and ensuring its effective application to revolutionize decision-making.

What you will do

• Partner with TELUS Health stakeholders to identify and prioritize high-impact opportunities to leverage AI within their business processes and operations

• Lead workshops and discovery sessions to understand current challenges and translate business needs into well-defined AI solution requirements

• Collaborate with data scientists and engineers, acting as the voice of the business to shape the development and delivery of AI solutions

• Develop and execute change management strategies to ensure successful adoption of AI solutions

• Define key performance indicators (KPIs) and track the impact of AI solutions on business outcomes

• Continuously assess the evolving AI landscape and identify new opportunities to drive innovation

What you bring

• Proven track record of delivering data-driven solutions and driving business impact

• Strong analytical, problem-solving, and consulting skills, with the ability to understand business needs and translate them into technical requirements

• Excellent communication, influencing, and facilitation skills to build rapport, manage stakeholders, and explain complex concepts clearly

• Demonstrated ability to collaborate effectively with technical teams

• Familiarity with AI/ML concepts and their application in business settings

• Cloud computing platform experience (GCP, AWS, Azure) a plus

• Passion for innovation, a results-oriented mindset, and a change agent mentality

Great-to-haves

• Management Consulting experience driving business transformation

• Product Management experience, especially with data-driven products

• Healthcare experience or background

• Active participation in AI communities of practice or professional networks

• Hands on using latest AI tools and building prototypes

Advanced knowledge of English is required because you will most of the time interact in English with external parties (clients, suppliers, candidates, external partners, etc.) as part of this position's main responsibilities given its national scope.
Show full description
Report this listing
Loading...

Job description
AI Lead - Operate (Hybrid, UK)

Westcon‑Comstor

Westcon‑Comstor is accelerating its use of AI and advanced analytics to drive measurable business value. We're hiring an AI Lead - Operate, a senior, high‑visibility role responsible for turning AI solutions into scalable, real‑world operational capabilities across our global organisation.

About the role

You'll own the Operate workstream within the... Analytics & AI function, working closely with the Generate (AI products) and Integrate (applications) teams. Your mission: ensure AI solutions are adopted, compliant, embedded into daily workflows, and delivering clear business outcomes.

A core part of this role is establishing a robust orchestration layer using UiPath, supported by a governed data foundation in Snowflake and enterprise AI capabilities across Azure AI.

• *************************************

Location: Office/Hybrid - preferably based near Bracknell or London

Competitive package and benefits

• *************************************

Key Responsibilities

AI Adoption & Value Realisation

• Drive organisation‑wide adoption of AI solutions to maximise ROI.

• Measure and communicate performance, usage, and business impact.

• Identify adoption risks and implement mitigation and enablement plans.

Operationalisation & Change Management

• Build and run the operating model for AI deployment, adoption, and lifecycle management.

• Lead change management activities: stakeholder engagement, comms, training, and readiness.

• Translate complex AI/ML concepts into simple, practical user experiences.

Orchestration Backbone (UiPath + Enterprise Execution)

• Own the execution layer for AI workflows, ensuring stable, repeatable production operation.

• Implement human‑in‑the‑loop steps, SLA processing, monitoring, and operational controls.

• Drive workflow reliability through incident management, RCA, and continuous improvement.

• Align orchestration patterns with enterprise governance and security standards.

• Use Snowflake, Azure AI, and connected enterprise systems to enable adoption, measurement, and closed‑loop outcomes.

Stakeholder Engagement

• Build strong relationships across Sales, Marketing, Operations, Finance, IT, HR, and global teams.

• Act as a trusted advisor to leaders seeking measurable AI value.

• Collaborate with Generate and Integrate teams to deliver high‑impact AI outcomes.

Governance, Compliance & Responsible AI

• Ensure secure, compliant, and ethical use of AI across the business.

• Work with Legal, InfoSec, and IT on policies, risk management, and user guidance.

• Proactively identify risks around data, privacy, and operational misuse.

Communication & Enablement

• Develop clear communications, training, onboarding, and success stories to drive engagement.

• Build communities of practice and user support models across regions.

About You

Required Skills & Experience

• 8+ years in business transformation, digital adoption, analytics, AI enablement, or enterprise automation.

• Proven track record of scaling AI/analytics adoption in a complex, global organisation.

• Strong change management experience (ADKAR/PROSCI a plus).

• Excellent communication skills, able to simplify technical content for broad audiences.

• Influence without authority; comfortable leading cross‑functional workstreams.

• High ownership, creativity, and collaboration.

• Experience in tech, distribution, or channel ecosystems preferred.

• Comfortable operating as an individual contributor at senior level.

Preferred (Operate & Platform Experience)

• Experience operating/scaling UiPath in production (Orchestrator queues, triggers, logs, governance).

• Exposure to enterprise AI and data platforms including:

• * Snowflake (data governance, metrics, AI enablement)

• Azure AI (enterprise AI services, security, responsible AI)

• Familiarity with global lifecycle practices (release readiness, adoption tracking, operational stability).

Why Westcon-Comstor?

We're a $5bn global technology distributor with ambitious digital growth plans. You'll join at a point where digital is a strategic priority - with real opportunity to shape how partners engage with us at scale.

Career progression opportunities exist across Digital Sales, Partner Experience, and Global Enablement.

Our Values

Our core values - ambition, integrity, partnership, and accountability - guide how we work and inspire everything we do. We believe diversity drives creativity and innovation, which is why we're dedicated to creating an inclusive environment where every voice is heard, every perspective matters, and every team member can thrive.

Join us and be part of a team that's shaping the future of technology across the channel. If you want ownership, impact, and the chance to build something meaningful - we'd like to hear from you.

What we offer

• An inclusive and supportive work environment where diversity is celebrated.

• Opportunities for professional growth, learning, and career development.

• Flexible working arrangements, health insurance, and other benefits to support your wellbeing.

• A culture of collaboration, innovation, and accountability.

Commitment to Diversity & Inclusion

We are an equal opportunity employer and value diversity in our workforce. We welcome applications from individuals of all backgrounds, regardless of race, ethnicity, gender, age, disability, sexual orientation, or any other protected characteristic. Equity is at the heart of all our departments and roles.

If you want ownership, impact, and the chance to build something meaningful - we'd like to hear from you.

If you need reasonable adjustments during the recruitment process, please let us know.

IND1
Show full description
Report this listing
Loading...

Job highlights
Identified by Google from the original job post
Qualifications
• The ideal candidate will have a strong background in machine learning, with skills in data science and algorithms
Benefits
• #J-18808-Ljbffr
Responsibilities
• This role involves developing, deploying, and testing AI software tools, utilizing programming languages such as Python and JavaScript
More job highlights
Job description
A leading technology company in Austin is seeking a Technical Expert for Machine Learning and AI tool development. This role involves developing, deploying, and testing AI software tools, utilizing programming languages such as Python and JavaScript. The ideal candidate will have a strong background in machine learning, with skills in data science and algorithms. Benefits include a hybrid working ...model and a collaborative environment focused on innovation.

#J-18808-Ljbffr
Show full description
Report this listing
Loading...

Job highlights
Identified by Google from the original job post
Qualifications
• Experience applying Generative AI or LLM tools in professional analytical or investment research workflows
• Strong understanding of the investment research process, including company analysis, financial modeling, market sizing, and earnings analysis
• Programming proficiency in Python, including familiarity with data collection and basic web scraping concepts
• Data science background with hedge fund or investment management experience
• Ability to translate complex technical concepts into clear, practical guidance for investment professionals
• Excellent written, verbal, and presentation skills, with experience conducting training sessions or workshops
• Strong analytical judgment and understanding of AI limitations, including when outputs require manual validation or additional sourcing
• 4 more items(s)
Responsibilities
• This role will focus on identifying high-impact AI use cases, developing best practices, and delivering training to help analysts and portfolio managers effectively apply AI to tasks such as company analysis, financial modeling, market research, data synthesis, and information gathering
• The position will also involve creating AI playbooks, templates, and reusable workflows, and guiding teams on AI-assisted data science, Python-based data collection, and web scraping, while establishing standards for validating AI-generated outputs
More job highlights
Job description
Seeking an AI Enablement Lead to support investment teams in adopting and scaling the use of artificial intelligence and large language models (LLMs) within their research and analytical workflows. This role will focus on identifying high-impact AI use cases, developing best practices, and delivering training to help analysts and portfolio managers effectively apply AI to tasks such as company ana...lysis, financial modeling, market research, data synthesis, and information gathering. The position will also involve creating AI playbooks, templates, and reusable workflows, and guiding teams on AI-assisted data science, Python-based data collection, and web scraping, while establishing standards for validating AI-generated outputs.

Key Requirements:

• Post-graduate degree preferred in Finance, Computer Science, Data Science, or a related field.

• Experience applying Generative AI or LLM tools in professional analytical or investment research workflows.

• Strong understanding of the investment research process, including company analysis, financial modeling, market sizing, and earnings analysis.

• Programming proficiency in Python, including familiarity with data collection and basic web scraping concepts.

• Data science background with hedge fund or investment management experience.

• Ability to translate complex technical concepts into clear, practical guidance for investment professionals.

• Excellent written, verbal, and presentation skills, with experience conducting training sessions or workshops.

• Strong analytical judgment and understanding of AI limitations, including when outputs require manual validation or additional sourcing.
Show full description
Report this listing
Loading...

Job description
Job Description

What is the opportunity?

Joining the Data Science & AI Solutions team in HR, you will own the end-to-end execution and operationalization of the People & AI Governance “front door” for People AI solutions. You will establish the guidelines, templates, and standardized workflows that ensure consistent, scalable onboarding of People AI use cases. In this role, you will be accountab...le for building and running a repeatable intake-to-approval workflow, standardizing evidence requirements and risk assessments, and maintaining practical guidance that helps teams move efficiently while meeting risk, compliance, and employee trust expectations.

What will you do?

• Manage the centralized intake process end-to-end, ensuring all People AI use cases are captured consistently, assessed early for risk tiering, and routed to the appropriate governance path.

• Maintain and optimize intake artifacts, including intake forms, triage criteria, risk-tiering rubrics, backlog sequencing, and reporting.

• Develop and continuously improve a risk assessment playbook and checklist to standardize evidence requirements across privacy, legal, fairness, model risk, security, and operational controls.

• Coordinate across cross-functional stakeholders to ensure the review workflow is practical, repeatable, and “audit-ready” for priority use cases, vendor solutions, and internal builds.

• Produce and maintain clear First Line of Defense (1LoD) guidelines for the responsible use of People Data in AI, defining prohibited use cases and required guardrails.

• Translate enterprise policy and risk requirements into actionable templates, "how-to" guidance, and enablement sessions for product teams and delivery squads.

• Drive program execution by managing the delivery plan, timelines, meeting cadences, and cross-functional dependencies (e.g., HR IT, vendors, change management).

• Coordinate governance submissions, ensuring the readiness of evidence packs for oversight review, and produce consistent reporting on intake volume, cycle times, and milestones.

What do you need to succeed?

Must Have

• Bachelor's degree in Business, Computer Science, Human Resources, or a related field.

• 5+ years of practical experience in Program or Project Management, specifically successfully delivering complex, cross-functional data or technology initiatives.

• Proven hands-on experience in data governance, AI governance, IT risk management, or compliance within a large, matrixed enterprise.

• Demonstrated experience designing, building, and operationalizing standardized workflows, risk assessment playbooks, or centralized intake processes from scratch.

• Experience leading and coordinating cross-functional stakeholder groups to reach consensus (Note: Direct people management of a team is not required, but experience managing programs via influence without direct authority is essential).

Nice to Have

• Previous experience working within an HR/People function or deep familiarity with HR data systems and privacy regulations.

• Working knowledge of current and emerging AI regulations, bias/fairness frameworks, and responsible AI principles.

• Relevant professional certifications in Project/Program Management (e.g., PMP, Agile) or Risk/Data Privacy (e.g., CRISC, CIPP).

• Prior experience operating within a First Line of Defense (1LoD) risk management model in a highly regulated industry.

What’s in it for you?

We thrive on the challenge to be our best, progressive thinking to keep growing, and working together to deliver trusted advice to help our clients thrive and communities prosper. We care about each other, reaching our potential, making a difference to our communities, and achieving success that is mutual.

• A comprehensive Total Rewards Program including bonuses and flexible benefits, competitive compensation, commissions, and stock where applicable

• Leaders who support your development through coaching and managing opportunities

• Ability to make a difference and lasting impact

Job Skills

Business Oriented, Communication, Decision Making, Long Term Planning, Organizational Change Management, Program Management, Project Administration, Results-Oriented, Time Management

Additional Job Details

Address:

180 WELLINGTON ST W:TORONTO

City:

Toronto

Country:

Canada

Work hours/week:

37.5

Employment Type:

Full time

Platform:

HUMAN RESOURCES & BMCC

Job Type:

Regular

Pay Type:

Salaried

Posted Date:

2026-03-03

Application Deadline:

2026-03-17

Note: Applications will be accepted until 11:59 PM on the day prior to the application deadline date above

Inclusion and Equal Opportunity Employment

At RBC, we believe an inclusive workplace that has diverse perspectives is core to our continued growth as one of the largest and most successful banks in the world. Maintaining a workplace where our employees feel supported to perform at their best, effectively collaborate, drive innovation, and grow professionally helps to bring our Purpose to life and create value for our clients and communities. RBC strives to deliver this through policies and programs intended to foster a workplace based on respect, belonging and opportunity for all.

Join our Talent Community

Stay in-the-know about great career opportunities at RBC. Sign up and get customized info on our latest jobs, career tips and Recruitment events that matter to you.

Expand your limits and create a new future together at RBC. Find out how we use our passion and drive to enhance the well-being of our clients and communities at jobs.rbc.com.

RBC is presently inviting candidates to apply for this existing vacancy. Applying to this posting allows you to express your interest in this current career opportunity at RBC. Qualified applicants may be contacted to review their resume in more detail.
Show full description
Report this listing
Loading...

Job highlights
Identified by Google from the original job post
Responsibilities
• Integrate linguistic concepts into Responsible AI applied science efforts
• Achieve integration of linguistics and Responsible AI
• Foster an environment where data-driven insights guide decision-making
• Develop scalable frameworks to identify, measure, mitigate risks associated with artificial intelligence
• Create comprehensive guidelines for risk evaluation across diverse systems ensuring long-term success throughout your career as an Applied Scientist in Artificial Intelligence at Virtual Vocations Inc
• 2 more items(s)
More job highlights
Job description
Applied Scientist in Responsible AI

About the Role

• Integrate linguistic concepts into Responsible AI applied science efforts.

Your Responsibilities:

• Achieve integration of linguistics and Responsible AI.

Foster an environment where data-driven insights guide decision-making. Develop scalable frameworks to identify, measure, mitigate risks associated with artificial intelligence. Create compre...hensive guidelines for risk evaluation across diverse systems ensuring long-term success throughout your career as an Applied Scientist in Artificial Intelligence at Virtual Vocations Inc.
Show full description
Report this listing
Loading...

Job description
Senior Generative AI Software Developer with a strong foundation in working with large language models (LLMs) and a keen interest in building intelligent, agentic systems - RITM0169299

1 year contract, possibilities of extensions. Hybrid in office, 3 days/week in Richmond Office

Must Have:

• 5+ years of software development experience, including recent work with LLMs or AI integration.

• Profici...ency in Python and experience with AI/ML frameworks (e.g., OpenAI SDKs, LangChain, Hugging Face)

• Experience in C#, .NET Core, and object-oriented design

• Interest and understanding of agent-based design concepts and tools (AutoGen, Semantic Kernel, etc.)

• Familiarity with RAG, GraphRAG, embeddings, and vector databases such as Cosmos DB, pgvector, or Qdrant.

• Experience deploying solutions to the cloud (Azure preferred)

• Knowledge of APIs, CI/CD pipelines, Git, and Agile software development practices

• Ability to synthesize complexity and communicate AI capabilities clearly to diverse audiences

• Bachelor’s degree in Computer Science or a related STEM field

Specific Responsibilities and Deliverables:

• Design and build applications using OpenAI, Azure OpenAI, and open-source LLMs

• Develop and optimize Retrieval-Augmented Generation (RAG) pipelines

• Explore and implement foundational patterns for multi-agent AI systems using tools like AutoGen, LangChain, or Semantic Kernel

• Integrate LLMs into enterprise workflows and digital products

• Use vector databases such as Qdrant, pgvector, and Cosmos DB

• Leverage Azure AI services and models to enhance capabilities and performance

• Collaborate with product teams and data scientists to test, refine, and deliver AI use cases

• Develop prompt strategies, memory handling, and task chaining

• Maintain clear documentation of models, architecture, and decision-making

• Stay current with research and best practices in generative and agentic AI

• Collaborate with cross-functional teams to transition validated concepts to production

• Participate in Agile ceremonies, code reviews, and DevOps practices

• Maintain technical documentation and participate in system architecture decisions

• Provide mentorship to junior developers and support knowledge sharing

Deliverables:

• Prototypes and fully developed, production-grade applications that demonstrate generative and agentic AI capabilities

• Integration of LLM-based solutions into existing enterprise environments

• Documentation of models, prompts, workflows, and architectures

• Regular stakeholder updates and demo presentations

• Contributions to reusable components and AI development patterns

Disclaimer:

AI may be used in evaluating candidates.

This posting is for an existing vacancy. Apply
Show full description
Report this listing
Loading...

northbaysolutions.com
More jobs at NorthBay Solutions
See web results for NorthBay Solutions

Formalization Engineer – Lean/Coq for AI

Qualifications

Benefits

Responsibilities

Full Description

Zero to AI Engineer