Our department is responsible for providing cutting-edge tools for CPU development.
We are looking for a student, interested in the research and development of advanced algorithms in Logic.
Intractable problems emerge at various stages of Intel’s CAD flow (including formal verification and physical design).
Our team’s mission is to solve these problems in practice by developing leading SAT and SAT-based solvers and leveraging them to Intel's needs.
We are involved in the research community -- see http://www.cs.tau.ac.il/research/alexander.nadel/ for our latest published results and other public activities.
* Please be informed that Intel is proactively trying to find candidates for a Student position and that this position may not be available at this time.
BSc, MSc, or Ph.D. Student in Computer Science, Industrial Engineering with at least 1,5 year till graduation.
Availability - at least 20 hours per week.
Excellent research and engineering capabilities.
Experience in c++ or python.
Proven research capabilities (publication) – advantage.
The Infrastructure and Platform Solutions Group (IPSG) builds the silicon and platform infrastructure for Intel's silicon design teams. IPSG is comprised of a reusable pool of infrastructure IP blocks, design enabling services such as tools and automation, and a best-in-class post silicon ecosystem that ramps quickly to high volume manufacturing and validation. Our primary mission is to protect Intel's brand by providing the infrastructure necessary to enable all of Intel's products to hit the market on a dependable and predictable cadence.