Senior EUC Engineer overseeing Laptop rollout project for Severn Trent Water. Engaging in compliance, support, operations, and improving IT systems and processes.
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
Electrical PLC Engineer designing and developing PLC programs for battery technologies. Involves troubleshooting and optimizing control systems, collaborating with engineering teams.
Guidance Navigation and Control Engineer developing and analyzing systems for Boeing's Defense and Space Systems. Engaging in valuable sustainment projects like the Minuteman III program.
Experienced Product Lifecycle Process Engineer at Boeing supporting installation and validation of loadable software on aircraft. Collaborating on procedures ensuring hardware/software meet safety standards and requirements.
Ingénieur Avant Vente Mobilité Electrique chez TSG, leader des services techniques pour la transition énergétique. Analyser les appels d’offres et comprendre les besoins des clients.
Energy efficiency engineer at NEPSEN managing energy performance and renovation projects. Analyzing, assisting, and piloting energy contracts with a commitment to promoting energy transition.
Energy efficiency engineer involved in building performance throughout project lifecycle. Conducting audits, assisting in contract management, and on - site project analysis.
Water Engineer Co - op/Intern at Arcadis focused on water/wastewater treatment projects. Gaining hands - on experience and collaborating in sustainability and resilience initiatives.
Commissioning Engineer responsible for installing and commissioning biochar production equipment in the UK. Collaborating with project partners and supporting fabrication efforts for biochar equipment.
IT support role providing a range of services from desktop support to proactive maintenance for Heartland customers. Responsibilities include ticket management, client interaction, and collaboration with engineering teams.