- Meta (Springfield, IL)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal ... Chip (SoC) for data center applications. As a Formal Verification Engineer , you will be part of...verification of complex compute blocks such as DSP, CPU , GPU or HW accelerators 20. Experience with complex… more
- Caterpillar, Inc. (Decatur, IL)
- …abilities in roles including (but not limited to): + **Product Design:** Engineer components & systems for Caterpillar products to meet our customers' needs. ... [Sensors and actuators], speed calculation, injection/spark timing, memory management, CPU optimization, multi core design and implementation etc. In addition,… more
- Caterpillar, Inc. (Champaign, IL)
- …of Caterpillar product development in the following areas: + **Product Design:** Engineer components & systems for Caterpillar products to meet our customers' needs. ... [Sensors and actuators], speed calculation, Injection/spark timing, memory management, CPU optimization, multi core design and implementation etc. In addition,… more