Performance Engineer developing tests, tools, and frameworks for Salesforce's Automation Platform, ensuring high performance, scalability, and reliability across cloud features.
About the role
- Formal Verification Engineer at NVIDIA verifying GPU micro-architecture and implementing formal verification techniques. Collaborating with multi-functional teams to ensure high-quality outcomes on project cycles.
Responsibilities
- Verify the build and implementation of the industry's leading GPUs
- Verify the micro-architecture using formal verification tools
- Define the verification scope and ensure correctness
- Employ sophisticated formal techniques to acquire proofs
- Work with architects, designers, and verification teams
- Complete formal verification effort for the project cycle
Requirements
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 6+ years of experience
- Understanding of GPU/CPU architectures and engineering work flows
- Experience with Verilog / System Verilog HDLs
- Experience with formal tools and knowledge of formal verification methodologies
- Strong analytical skills to tackle sophisticated problems
- Excellent command of scripting using TCL, Perl, and/or Python
- Excellent written and verbal communication
- Able to optimally collaborate and work in a distributed team
Benefits
- Health insurance
- Retirement plans
- Paid time off
- Flexible work arrangements
- Professional development
- Bonuses
- Stock options
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Principal Metering Engineer providing end to end technical leadership in renewable energy development at NextEra Energy. Focused on metering programming, configuration, testing, and troubleshooting.
Systems & Safety Assurance Engineer enhancing safety and performance in Queensland Rail’s Major Projects team. Providing expert analysis and assurance for the Logan and Gold Coast Fast rail project.
Senior Reservoir Engineer at Deep Sky specializing in CO2 storage solutions across Canada. Leading dynamic reservoir modeling and regulatory applications in a hybrid work setting.
Junior Technical Engineer at Trade Nation providing technical support and troubleshooting for staff issues. Involving hands - on coordination and administration of IT infrastructure and services.
Manufacturing Engineer producing engineering outputs for aerospace projects. Collaborating with teams to ensure quality and efficiency within the production processes.
Junior Engineer Approvals at GROHE managing product certifications for water systems. Engaging with internal and external partners to ensure compliance with standards and norms.
Forward Deployed Engineer embedded with enterprise clients at WRITER, optimizing AI deployment while serving as a technical liaison. Requires in - depth AI expertise and software development skills.
MES Engineer developing and delivering solutions based on Rockwell Automation MES system. Designing modules and troubleshooting according to customer requirements.
Release Train Engineer facilitating Agile Release Train processes for a global technology leader in automation. Leading execution, transparency, and continuous improvement across multiple Agile teams.