Join Intel and build a better tomorrow!
We create world-changing technology that improves the life of every person on the planet every day in ways that you probably don’t even see from technology inside self-order kiosks at fast food outlets to the data centers and networks that support your video streaming; from AI enabling genomic sequencing and personalized healthcare to autonomous driving.
You’ll be joining a company that values every individual and strives to minimize our impact on the planet – we have just announced that we are water positive in 3 countries and use 100% green energy in our US & European facilities. We have big ambitions and a passion to work with other and address world challenges no one can tackle alone. We would love you to be part of this!
So if you’re passionate about computer graphics and working with leading graphics engineers on Intel’s latest GPU hardware designs, then our Accelerated Computing Systems and Graphics group (AXG) has opportunities for you. In AXG we are focused on delivering Best-in-Class visual experiences that enable users to immerse themselves in a new visual future. We develop graphics, media, display & imaging solutions for a range of platforms from traditional PC clients to high-end data center servers.
Currently the new AXG Graphics Design team located in Katowice, Poland is looking for Formal Verification Engineer /Tech Lead. The team will focus on a specific graphics hardware subsystem and contribute throughout the entire product lifecycle – starting from feature definition through design, development, and validation of new graphics hardware features. The team will be closely cooperating with architects and software/hardware engineering teams to drive innovation and research & development of Intel graphics products in a holistic and global approach.
The Formal Verification Engineer/Tech Lead will directly report to a Senior Manager located in Poland.
Job role involves:
Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs (Gfx IPs and SoCs). Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design, Carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI. Analyses new methodologies, evaluates new tools, and corroborate results. May work with vendors on resolving hard design and tool problems.
As an advantage:
At Intel, employees share in successes, enjoy comprehensive rewards and are inspired by an innovative & inclusive workplace.
What can you expect when there is a match between us?
High level of visibility, credibility and empowerment you can take for granted.
You will own and drive several projects and initiatives, run on various organizational levels.
Materials important for you– to prepare yourself for an interview and to learn more about Intel.
Other LocationsPL,WarsawPosting StatementAll qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.BenefitsWe offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, and benefit programs. Find more information about our Amazing Benefits here: https://www.intel.com/content/www/us/en/jobs/benefits.htmlWorking ModelThis role is available as a fully home-based and generally would require you to attend Intel sites only occasionally based on business need. This role may also be available as our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. In certain circumstances the work model may change to accommodate business needs.