812 Php Engineer jobs in Menlo Park,CA

Competitive financial compensation, including various compensation plans

Solid benefits package

Medical, Dental, Vision Insurance

401k, With Matching Contributions

Short-Term/Long-Term Disability Insurance

Health Savings Account (HSA)/Health Reimbursement Account (HRA) Options

Paid Time Off

Tuition Reimbursement

Growth Opportunities

Full time

At-least **6+ years of experience** in **System Verilog HVL and C++/C**

At-least 6+ year of experience in **UVM.**

Experience in complete verification cycle which includes development of test plan, BFM/Driver/Monitor/Scoreboard component development and integration in test bench, stress/corner testing, failure debug, gate level simulations, assertions, and coverage closure.

Proficient in **SVTB/UVM, C++ testbench**

**Proficient in debug** and assertions coding

**Make/Perl/Python / any script**

**Any protocol experiace is fine**

Understand DSP is a plus

Subversion for Repository and Bugzilla is also a Plus

Sign-on payments

Restricted stock units (RSUs)

USA, CA, Cupertino - 176,600.00 - 247,300.00 USD annually

USA, TX, Austin - 153,600.00 - 215,000.00 USD annually

Health insurance (medical, dental, vision, prescription, Basic Life & AD&D; insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)

401(k) matching

Paid time off

Parental leave

Experience scripting or coding

BS + 6yrs or MS + 4yrs or PhD + 2yr in EE/CS

Expertise in timing analysis fundamentals

1+ years doing Static Timing Analysis

1+ years with timing constraint development

Timing Analysis using EDA tools (examples: PrimeTime, Tempus, or others)

Understanding of ASIC Physical Design from RTL-to-GDSII

Understanding of other sign-off activities (ir/em, physical verification, DFT)

1+ years of scripting experience with Tcl, Perl or Python

Expertise developing flows using STA tools (examples: PrimeTime, Tempus or others)

Expertise in ECO flows (examples: PT-DMSA, Tempus-ECO, Tweaker or others)

Experience in advanced nodes - 16nm or below

Expertise in parasitic extraction tools (examples: STAR-RC, Quantus or others)

Expertise on circuit level analysis using tools like SPICE / SPECTRE

Experience with timing of IO interfaces like DDR, HBM, PCIe, Die-to-Die etc.

The salary will vary depending on your job-related skills, experience and location.

Pay increment and frequency of pay will be in accordance with employment classification and applicable laws.

Healthcare benefits including medical & prescription drug coverage, dental, vision, and mental health & well being

Financial programs such as 401(k), cash balance pension plan, the IBM Employee Stock Purchase Plan, financial counseling, life insurance, short & long- term disability coverage, and opportunities for performance based salary incentive programs

Generous paid time off including 12 holidays, minimum 56 hours sick time, 120 hours vacation, 12 weeks parental bonding leave in accordance with IBM Policy, and other Paid Care Leave programs. IBM also offers paid family leave benefits to eligible employees where required by applicable law

Training and educational resources on our personalized, AI-driven learning platform where IBMers can grow skills and obtain industry-recognized certifications to achieve their career goals

Diverse and inclusive employee resource groups, giving & volunteer opportunities, and discounts on retail products, services & experiences

You'll be on-call for all of it.

5+ years industry experience designing, building, scaling and supporting backend systems in production

Proficiency in a major programming language, e.g. Java, Go, C / C++, Python, etc

Experience in driving operational excellence for large production services

Proven track record of delivering large-scale, highly available, high quality systems

Hands-on technical expertise in large scale systems engineering or distributed systems

On-call experience handling critical systems

$147,900.00 - $221,900.00

Competitive annual discretionary bonus program

Opportunity for annual RSU grants

Our highly competitive benefits package is designed to support your success at work, at home, and at play.

BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software

Strong model checking or theorem proving background/experience in verification of complex systems

Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods

Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field and 2+ years of Hardware Engineering, Software Engineering, Electrical Engineering, Systems Engineering, or related work experience. OR Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field and 1+ year of Hardware Engineering, Software Engineering, Electrical Engineering, Systems Engineering, or related work experience. OR PhD in Electrical Engineering, Computer Engineering, Computer Science, or related field.

MS/PhD degree in CS/EE; 4+ years of practical experience

Strong foundation in formal methods and in their application to hardware specifications and/or implementations

Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures

Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)