Senior Formal Verification Engineer
Location
Brazil
Posted
88 days ago
Salary
0
Seniority
Senior
Job Description
Senior Formal Verification Engineer
NVIDIA
• Identify key behaviors for verification to write clear testplans for complex designs. • Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties. • Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage. • Drive tools to realize their best performance. • Debug RTL to identify causes of failure scenarios. • Contribute to flow and script development to improve team efficiency. • Articulate formal verification coverage of the design to partners.
Job Requirements
- BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
- Solid understanding of GPU/CPU architectures and designs.
- Strong analytical skills to solve complex problems.
- Knowledge of formal verification methodologies and techniques.
- Able to implement abstraction techniques for effective verification.
- Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
- Excellent command of scripting using TCL, Perl, and Python.
- Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal)
- Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
Related Guides
Related Categories
Related Job Pages
More Engineer Jobs
• Build Customer Intelligence Workflows • Design and deploy account-level Slack summaries for CSMs and leadership. • Translate product usage and contract data into operational signals. • Build or extend data pipelines in partnership with Analytics Engineering. • Develop Python-based automation to operationalize insights at scale. • Improve Health & Renewal Predictability • Contribute to Seeq’s customer health scoring framework. • Develop usage-to-renewal correlation models. • Identify leading indicators of risk, expansion, and adoption. • Iterate based on measurable predictive lift and CS feedback. • Apply AI and Modern Tooling • Leverage AI-first coding workflows to accelerate development. • Build lightweight LLM-driven synthesis workflows where valuable. • Help elevate development practices across Customer Success. • Partner Cross-Functionally • Work directly with CSMs to understand real decision workflows. • Collaborate with Analytics Engineers on modeling and data structure. • Feed product insights back into Engineering through internal dogfooding.
• Build and maintain automated tests, including unit tests, integration tests, end-to-end (E2E) tests, performance tests, and others. • Explore and propose the best approaches for software validation, covering both functional and non-functional testing. • Contribute to the creation of development support tools, such as context generators, mocks, makefiles, and more. • Monitor and analyze application health, assessing metrics such as code coverage and the proportion of tests in the test pyramid. • Implement automated tests in CI/CD pipelines, promoting Continuous Testing practices: test early, test often, test everywhere. • Optimize the deployment flow (e.g., Staging > Pre-Prod > Prod), increasing confidence and stability in releases. • Plan, design, and execute tests based on technical specifications and functional requirements to ensure system compliance. • Perform structured exploratory testing (manual and automated) to identify unexpected behaviors and failures. • Define, implement, and evolve test strategies according to technical and product needs. • Collaborate on the design and planning of test projects, ensuring thorough and efficient validation. • Work with teams to improve the quality of processes and testing practices, promoting a quality-first culture. • Create test scenarios and test data that accelerate the approval and validation process. • Inspect source code and suggest improvements related to quality, architecture, and maintainability. • Record and track non-conformities, whether related to architecture, modeling, or implementation. • Assess risks and impacts related to tests and their execution. • Validate environment configurations to ensure accurate and reproducible tests. • Support continuous improvement initiatives in development processes through research and the adoption of new methodologies, trends, and best practices.
Lead Field Services Engineer, PWR
Switzerland Global EnterpriseWe support Swiss SMEs in their international business and help innovative foreign companies to establish in Switzerland.
• Perform fuel move activities at PWR and BWR customer sites • Hold a position on the GVH Fuel Movement Council and act as Subject Matter Expert for internal MCO-Fuel Movement Training • Lead field project delivery including technical direction, work coordination, and supervision of mixed teams (GE employees, contractors, and craft labor) at customer sites • Establish and maintain effective relationships with customers and suppliers on commercial, technical, and compliance matters • Work collaboratively within integrated services teams • Support PWR product line operations as primary responsibility • Provide BWR product line support as needed • Interface with Customer Service, Commercial Operations, Planning & Staffing, and Training departments • Provide expertise on tooling and equipment requirements • Meet internal and external customer expectations and requirements • Gather first-hand customer feedback to drive product and service improvements • Maintain strict adherence to integrity, safety, and quality metrics and processes • Support Product Line Leaders as required • During non-outage periods, serve in training leadership roles at the San Jose Training Facility as needed
Senior Engineer – NI Support Systems
Switzerland Global EnterpriseWe support Swiss SMEs in their international business and help innovative foreign companies to establish in Switzerland.
• Responsible for Mechanical Nuclear Island Support Systems (MNISS) engineering activities that support the BWRX-300 Small Modular Reactor (SMR) design • Activities focus on the Containment System (T10), including containment function and associated fluid sub-systems • Develop and maintain the System Design Description, Process Flow Calculations/Diagrams, Piping & Instrumentation Diagrams (P&IDs), and other engineering deliverable documents associated with the system • Responsible for development of specifications/component data sheets for fluid system in-line components • Work with adjacent teams, disciplines, project management, and contractors to ensure high quality and on time deliverables in support of BWRX-300 engineering milestones • Provide support to the Licensing organization for regulatory related deliverables • Responsible for analysis and design work supporting requirements specifications • Improve areas of project execution and department management through Six Sigma methodology • Support development efforts for both new products and new technology • Responsible for necessary corrective and preventive actions resulting from Quality non-compliance monitoring and audit programs • Responsible for driving continuous improvement initiatives, such as Lean Action Work Outs (LAWO)



