Internship
Formal Verification Research Intern
Posted on 3/22/2023
Computer chip manufacturer
Hillsboro, OR, USA
- Formal verification of the hardware implementation of the accelerator
- Formal verification of the compiler/runtime of the accelerator
- Modeling and verification tool enhancements to support the verification tasks
- Strong software engineering skills
- 1+ years of experience of hardware/software formal verification tool development and practice
- Experience and knowledge of computer architecture/micro-architecture, and domain-specific applications such as machine learning, security, etc
Intel's mission is to create world-changing technology that improves the life of every person on the planet. The company is the world's largest manufacturer by revenue of semiconductor chips for computing.
Company Stage
Series C
Total Funding
$82.2M
Headquarters
Santa Clara, California
Founded
1999
6 month growth
↑ 2%1 year growth
↓ -1%2 year growth
↓ -8%Benefits
We Invest in Your Life and Career: Intel offers a complete and competitive package of benefits1 that demonstrates how much we care for employees and their families through every stage of life.
Great Minds Deserve Great Rewards: We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, and benefit programs.
Intel Fuels Career Acceleration: Curiosity drives us to change the world. We provide employees opportunities to expand their knowledge, leadership abilities, and skill set.
Vacation, Holidays, and More: We offer opportunities for employees to refresh and recharge—from paid vacation time and holidays to flexible time off programs.
Health Benefits for the Whole You: We provide multiple benefits and resources to help employees take care of themselves and their families.