Work Experience Required: 8 - 12 Years Experience in programing (Python, R, SQL, NoSQL,Spark) with ML tools & Cloud Technology (AWS, Azure, GCP) Experience in Python libraries such as numpy, pandas, scikit-learn, tensor-flow, scapy, scrapy, BERT etc. Good understanding in statistics, and ability to design statistical hypothesis testing to aid formal decision making. Develops predictive models using Machine Learning algorithms (SVM, Random Forest, Neural Network, Decision Tree, Logistic Regression, K-mean Clustering, linear regression, PCA etc.) Engaging with clients, understanding complex problem statements, and offering solutions in the domains of Retail, Pharma, Banking, Insurance, etc. Contribute to internal product development initiatives related to data science. Develop data science roadmap, and guide data scientist to meet their deliverables. Handling end-to-end client AI & analytics programs. Your role will be a combination of hands-on contribution, technical team management, and client interaction. Proven ability to discover solutions hidden in large datasets and to drive business results with their data-based insights Drive excellent project management required to deliver complex projects, including effort/time estimation. Be proactive, with full ownership of the engagement. Build scalable client engagement level processes for faster turnaround & higher accuracy Define Technology/ Strategy and Roadmap for client accounts, and guides implementation of that strategy within projects Run regular project reviews and audits to ensure that projects are being executed within the guardrails agreed by all stakeholders Manage the team-members, to ensure that the project plan is being adhered to over the course of the project Manage the client stakeholders, and their expectations, with a regular cadence of weekly meetings and status updates. Build a trusted advisor relationship with the IT management at clients and internal accounts leadership. Build
Salary not disclosed
Check market pay for comparable Senior Formal Verification Engineer roles before applying.
Role overview
Job description
NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel. NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life’s work , to amplify human creativity and intelligence. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world!
As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with NVIDIA's internal FV R&D group that develops functional verification tools using formal verification technology.
What you'll be doing:
You will help decide on the best applications of formal verification techniques to various parts of the design.
Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation.
Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.
Apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.
Design and develop functional verification flows that involve both vendor and internally developed formal tools.
What we need to see:
B.Tech./ M.Tech. with 5+ years of relevant experience.
Good understanding of hardware micro-architecture and design.
Conversant with formal verification technologies, including complexity reduction techniques.
Formal property verification experience on multiple complex units.
Proficiency in creating high quality testplans, building formal testbenches, and root-causing counter-examples.
Ways to stand out from the crowd:
Good debugging and problem solving skills
Scripting knowledge (Python/Perl/shell)
Good interpersonal and communication skills and dream to work as a great team member
With competitive salaries and a generous benefits package, NVIDIA is widely considered to be one of the most desirable employers in the world. We have some of the most brilliant and talented people in the world working for us. If you are creative, autonomous and love a challenge, we want to hear from you.
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.
#LI-Hybrid
What they are looking for
Skills & requirements
Qualification
What we need to see: B.Tech./ M.Tech; with 5+ years of relevant experience
Hiring company
Nvidia
Explore this employer's active roles, salary signals and company profile on Jobiba.
Keep exploring
Similar active roles
Fresh roles matched to this title and market.
🔔 Get job alerts
New Senior Formal Verification Engineer jobs in Bengaluru, India, straight to your inbox.
No spam · Unsubscribe anytime