Flight Dynamics Engineer providing expertise for cislunar domain, optimizing trajectories for space systems. Collaborating to solve critical flight mechanics needs for defense and civil organizations.
About the role
- Arithmetic Formal Verification Engineer at Intel focusing on validation of arithmetic hardware. Collaborating on complex designs like ALUs and FPUs for next-gen architectures.
Responsibilities
- Develop and execute formal verification strategies specifically targeting arithmetic logic units (ALUs), floating-point units (FPUs), dividers, multipliers, and custom math blocks
- Develop formal verification testbenches and properties for arithmetic hardware designs
- Collaborate with RTL designers to understand microarchitectural details and identify verification targets
- Write and debug formal arithmetic specifications
- Use formal tools (e.g., JasperGold, VC Formal, OneSpin) to prove correctness or find corner-case bugs
- Analyze counterexamples and work with design teams to resolve issues
- Contribute to the development of verification methodologies and best practices
- Document verification plans, results, and coverage metrics
Requirements
- B.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ years of experience, OR a M.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 4+ years of experience, OR a PhD in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ months of experience
- Strong understanding of digital design fundamentals, especially arithmetic circuits (adders, multipliers, dividers, floating-point units)
- Hands on experience with industry standard formal verification tools such as JasperGold, Questa Formal, VC Formal
- Experience with formal abstractions and other complexity reduction techniques
- Experience with a hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools
- Experience in assertion writing, checker development, coverage analysis, failure debug, root cause analysis
Benefits
- competitive pay
- stock
- bonuses
- health
- retirement
- vacation
Job title
Job type
Experience level
Salary
Degree requirement
Location requirements
(Junior) Requirements Engineer supporting software development in a hybrid role at Agrarmarkt Austria. Responsibilities include documentation and quality assurance in agile settings.
Ingénieur Méthodes Data Center chez SALUTE Mission Critical pour développer et améliorer la planification et la maintenance des infrastructures. Rôle clé dans l'optimisation des performances et le respect des procédures opérationnelles.
Plan Check Engineer responsible for reviewing building plans for compliance with codes in Los Angeles, CA. Collaborating with public agencies and assisting with permit issuances.
Forensic Engineer providing forensic engineering consulting services at Aviva. Investigating losses, determining origins and causes of fires and failures for insurance claims.
Senior Engineer in Cyber Hunt & Respond at Truist, focusing on proactive Threat Hunting and Incident Response. Engaging in mentorship and collaboration across IT/Cyber functions in a dynamic environment.
Functional Safety Engineer designing innovative functional safety systems for embedded applications at embeX. Engage with clients to create tailored safety concepts and improve development processes.
Projects Engineer designing and implementing hardware database solutions for various energy applications. Collaborating with teams to deliver comprehensive solutions in power plant processes.
Project Proposal Engineer responsible for delivering Technical & Commercial Project Proposals across Europe. Collaborating with sales teams in various process industries including Life Sciences and Chemical.
Project Water Engineer at Arcadis focusing on drinking water planning, design, and construction. Collaborating locally and nationally on various water treatment projects.