Formal Verification Engineer
We are a fast-growing group of ASIC design and verification engineers, involved in the development of key components of Intel chips. Our team works on the most advanced solutions and future Intel products. Within the team, we have very experienced engineers covering most of the ASIC design and verification topics (from a microarchitecture definition, through design, silicon implementation, formal verification up to an advanced pre-silicon functional validation). Thanks to that our new joiners can develop their skills in different areas and learn a lot of different methodology aspects.
We work remotely, but our team has a coworking space in Katowice (Poland), where everyone can meet other team members, discuss technical problems, brainstorm at a whiteboard, and feel the common goal atmosphere.
The candidate for this position will be responsible for using formal verification for validation of particular parts of the design, for accelerating the RTL design process, as well as for constant development of our formal verification skills and know how, for analysis and elaboration of new formal verification techniques and for applying of formal verification to new project areas.
Master's degree in Electronics, Electrical engineering, Computer Science, or similar
Deep understanding of digital electronics
Knowledge of FPGA/ASIC platforms
Extensive knowledge of Verilog, System Verilog and System Verilog Assertions
Experience with formal verification (used for either validation purposes or for RTL design acceleration)
Experience with the Cadence Jasper tools
Experience with a selection of blocks and strategies for formal verification
Experience with creating formal verification test plans
Experience with writing constraints and checks for formal verification
Excellent written and verbal communication skills in English
Nice to have:
Experience with using and analyzing assertions in functional verification
Knowledge of signal, image and audio processing algorithms
Knowledge of standard interfaces, e.g. AMBA-AXI/AHB/APB
Knowledge of neural network algorithms
Experience with applying AI to the formal verification process
Scripting proficiency in at least one scripting language (e.g. python, perl, bash, tcl)
Familiarity with Git or GitHub revision control system
Fluency in Polish
What we offer:
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?
We guarantee you will be working in a safe environment, in an organization which profoundly understands the current health situation worldwide. Either at your own home or in our premises if needed, the security and wellbeing of you and your family stands as our utmost responsibility.
You will have constant opportunities to develop your professional career through technical and soft skills training, taking part in innovation projects or rotational programs
Flexible working hours are important to us
And our Amazing Benefits to make life easier and more enjoyable are waiting for you: Stock Program, Annual and Quarterly Bonuses, Employee Pension Plan, Medical Plan and life insurance for you and your Family, Peer to peer recognition, Ticket restaurant Card, Multisport Card / Holiday card, Groups of enthusiasts, Exclusive employee discounts, (online) events and many more.
Rewards Experience @ Intel Poland: https://intel.ly/3ftPwog