Autopilot Engineer developing and customizing firmware for autonomous systems at STARK. Collaborating on testing/debugging and integrating with AI systems.
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
Controls Engineer III designing and supporting industrial control systems for manufacturing at SP Industries. Leading complex projects from concept through commissioning while ensuring compliance with industry standards.
Process Engineer specializing in biogas projects, leading technical decisions and analyses. Involved from preliminary studies to basic project development in São Paulo, Brasil.
Engineer enhancing and supporting critical business recovery infrastructure at Lloyds Banking Group. Collaborating with a dedicated team to ensure operational resilience and recovery for business services during crises.
Leading the Planning Department with responsibilities in network and facility planning. Driving asset management development and project planning in the energy sector.
VoIP Engineer managing Aircall’s telephony infrastructure and ensuring secure, high - quality voice connectivity. Responsible for deploying cloud telephony technologies and collaborating with cross - functional teams.
Associate Enterprise Networks and Security Engineer maintaining network infrastructure and security for TalkTalk. Delivering stable network solutions and ensuring compliance with security standards.
Full - Stack Developer enhancing conversational AI products used by sales teams. Working student role in a scaling startup environment, with potential transition to full - time.
IT Systems Administrator responsible for administering IT infrastructure at Paylocity. Installing and configuring hardware, managing networks, and troubleshooting systems.
Project Geotechnical Engineer managing diverse geotechnical engineering projects in public and private sectors. The role involves design, investigation, analysis, and project management in Louisville, KY.