Search the 4 jobs at Untether AI

Formal Verification Engineer at Untether AI responsible for driving formal verification methodology on multiple components inside Custom AI Inference IP. Requires knowledge of SystemVerilog Assertion, HDL languages, formal verification technologies, and experience in Design Verification with a Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.

The Hardware Systems Verification Engineer at Untether AI is responsible for driving test and verification efforts of AI accelerator circuit board and system products, integrating hardware products into datacentre systems, and providing solutions at the system level. Responsibilities include writing and executing verification plans, leading certification efforts, and performing continuous integration testing. Preferred skills include experience in automotive, medical, or aerospace industries, hardware design, automating tests with Teamcity and Python, and manufacturing test environment.

Seeking an experienced Compiler Engineer to develop software that maps neural nets onto hardware, implement data layout strategies, and work on efficient mappings for accelerator hardware. Collaborate with algorithm design and architecture teams to evaluate hardware architecture for future products.

Join Untether AI as an RTL Designer to contribute to developing IP for ASICs and FPGAs. Design hardware architectures, code RTL modules, simulate and test hardware, and apply Agile methodologies. Requires 5+ years of experience, B.S, M.S, or Ph.D in related fields, and expertise in FPGA/ASIC development tools and RTL programming languages.