Reverse Engineer at Teller building APIs for connecting apps to users' financial accounts. Help crack mobile banking applications for seamless bank integrations.
About the role
- Formal Verification Engineer ensuring quality and reliability of Intel's cutting-edge CPU technologies. Collaborating with teams to develop and validate high-performance CPUs.
Responsibilities
- Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs
- Develop comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications
- Create abstraction models to simplify design complexity and ensure convergence on validation
- Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency
- Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions
- Develop and document formal verification test plans and conduct technical reviews with design and architecture teams
- Maintain and innovate formal verification infrastructure and methodologies to streamline development
- Mentor junior engineers and contribute to the growth of technical expertise within the team
- Support post-silicon failure debug and resolution efforts when required
Requirements
- Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience or a Master's degree with 6+ years or a PhD with 4+ years
- Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal
- Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems
- Hands-on experience with hardware modeling languages, including System Verilog or Verilog
- Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL
- Experience in assertion writing, coverage analysis, and failure debugging
Benefits
- competitive pay
- stock bonuses
- health, retirement, and vacation benefits
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Project Engineer supporting construction project teams at Fessler & Bowman. Assisting with project planning, scheduling, and management across multiple construction sites.
Lead Engineer developing AI - powered features for FIS’s cloud - based financial platform, collaborating with teams and mentoring junior engineers for architectural excellence.
Controls Engineer designing and maintaining control systems for manufacturing equipment. Involved in troubleshooting and onsite servicing for optimal operations.
Tier III VTC Engineer providing technical expertise for AT&T at customer site in Virginia. Responsible for video teleconferencing troubleshooting, installation, and design at various locations.
Lead Knowledge Engineer at S&P Global driving data transformation initiatives. Collaborating with technology teams to implement next - generation data architecture and knowledge management solutions.
Part 21 Electrical / Avionics Engineer at Boeing responsible for compliance with regulatory requirements. Supporting certification of modifications for global airline partners and collaborating with engineering teams.
Engineer designing, developing, and testing nuclear equipment and systems for Navy ships at Newport News Shipbuilding. Collaborating on safety, efficiency, and performance improvements while conducting relevant research and analysis.
Senior Forward Deployed Engineer embedding in strategic aviation operations to drive measurable impact. Working with airlines and MROs while ensuring successful adoption of AI - driven solutions and product enhancements.
Senior Geotechnical Engineer providing technical leadership and developing engineering solutions for mining projects. Collaborating with teams to ensure compliance and excellence in geotechnical engineering.