Senior/Staff Formal Verification Engineer at Untether AI

Toronto, Ontario, Canada

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

AI, HardwareIndustries

Skills

Key technologies and capabilities for this role

Formal VerificationCadence JasperGoldSynopsys VC FormalSystemVerilog AssertionsVerilogVHDLRTL DesignPythonCompute Architecture

Questions & Answers

Common questions about this position

What experience is required for the Senior/Staff Formal Verification Engineer role?

Candidates need 3+ years of proven experience in formal verification, along with hands-on experience with tools like Cadence JasperGold or Synopsys VC Formal.

What key technical skills are needed for this position?

Expertise in SystemVerilog Assertions (SVAs), solid experience with RTL design in Verilog or VHDL, proficiency in Python scripting, and understanding of compute architecture are required.

What is the location or remote work policy for this role?

This information is not specified in the job description.

What is the salary or compensation for this position?

This information is not specified in the job description.

What education is required for this role?

A Bachelor’s or Master’s degree in Electrical Engineering or Computer Engineering is required.

Untether AI

Enhances AI inference with at-memory computing

About Untether AI

Untether AI enhances the speed and efficiency of AI inference workloads using at-memory computing. This method places the compute element next to memory cells, which boosts compute density and accelerates AI inference for various neural networks, such as those used in vision, natural language processing, and recommendation systems. The company targets businesses that rely on AI technologies and need high-performance computing for inference tasks. Their products, including the runAI200® devices and tsunAImi® accelerator cards, are designed to deliver exceptional performance, with the tsunAImi® card offering over 2 PetaOps. This allows businesses to optimize their AI workloads while maintaining a compact PCI-Express form factor. Untether AI's goal is to provide efficient and cost-effective solutions for companies looking to enhance their AI applications.

Toronto, CanadaHeadquarters

2018Year Founded

$144.6MTotal Funding

SERIES_BCompany Stage

Hardware, AI & Machine LearningIndustries

51-200Employees

Benefits

Paid Vacation

Health Insurance

Unlimited Paid Time Off

Stock Options

Risks

Emerging competition in energy-efficient AI hardware could threaten market position.

Rapid AI model evolution may require frequent hardware updates and innovations.

Supply chain vulnerabilities in semiconductor components could impact production timelines.

Differentiation

Untether AI's at-memory computing maximizes AI inference efficiency and speed.

The tsunAImi® accelerator card delivers over 2 PetaOps per card, optimizing AI workloads.

Untether AI's imAIgine SDK allows rapid deployment of neural networks with flexible kernels.

Upsides

Collaboration with Arm enhances solutions for ADAS and AV applications in the automotive sector.

$20 million funding supports ongoing development of machine learning inferencing hardware.

Partnership with J-Squared opens new opportunities in defense and commercial sectors.

Land your dream remote job 3x faster with AI

Try Jobo Free