Datapath Algorithm Intern (Hardware Design)

TL;DR

Datapath Algorithm Intern (Hardware Design): Developing and optimizing mathematical hardware elements for graphics chips with an accent on computer arithmetic, RTL implementation, and formal verification. Focus on transcendental function optimization, floating-point hardware verification, and using machine learning for design space exploration.

Location: Hybrid in Folsom, California, USA

Salary: $77,300 - $104,600

Company

hirify.global is a global leader in semiconductor design and manufacturing, specifically within the Data Center Group focusing on Xeon-based and custom x86 products.

What you will do

• Design and optimize mathematical hardware elements (Datapath) for graphics cores.
• Develop internal tools using formal verification technology to identify and remove arithmetically dead code.
• Implement and verify transcendental functions within polynomial datapaths.
• Innovate and formally verify new floating-point hardware implementations.
• Utilize machine learning algorithms to explore design spaces for power, performance, and area optimization.

Requirements

• Pursuing a Bachelor's degree in Mathematics, Electrical or Electronic Engineering, Computer Science, or a similar field.
• Must be eligible to work in the US and able to follow a hybrid model in Folsom, California.

Nice to have

• Software/Hardware experience with Verilog, C++, Python, Perl, or TCL.
• Understanding of floating-point arithmetic.
• Awareness of Hardware Formal Verification methodologies.

Culture & Benefits

• Competitive total compensation package including pay and stock bonuses.
• Comprehensive benefits including health, retirement, and vacation programs.
• Hybrid work model allowing split time between on-site and off-site work.