Plan the formal verification strategy, create the properties and constraints for the digital design blocks.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
Resolve difficult to verify properties.
Contribute improvements to methodologies to enhance formal verification results.
Architect and implement reusable formal verification components.
Requirements
Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
Nice to have: Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science
Nice to have: 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and chips.
Design, develop, and maintain test procedures, hardware, and software for AI/ML, GPGPU, and hardware accelerator-based server and storage platforms in a dynamic server manufacturing environment.
Responsibilities
Design, develop, and maintain test procedures, hardware, and software in a dynamic server manufacturing environment
Conduct failure analysis to identify root causes and implement corrective actions
Diagnose and resolve hardware and software issues during testing and integration
Develop and maintain automation scripts for testing, data collection, and performance evaluation
Lead test engineering staff to deliver high-quality results
Requirements
Bachelor’s degree in Computer Science, Computer Engineering, Electronics, or Electrical Engineering (MSEE preferred)
Provide basic to intermediate analysis and documentation of business and management problems for systems and programming requirements, supporting multiple ancillary systems and their integrations.
Compensation
Actual salary commensurate with experience.
Responsibilities
Learn and provide support for multiple ancillary systems and their integrations with transactional systems
Work closely with the team to ensure seamless system operations and support
Self‑motivated with the ability to manage projects to completion with oversight
Collaborate closely with customers and stakeholders at all organizational levels to enhance their understanding and effective utilization of supported systems
Demonstrate strong troubleshooting and problem‑solving skills to resolve issues related to supported applications while effectively managing system changes and enhancements
Requirements
Bachelor’s degree equivalent
Bachelor’s degree or equivalent in Computer Science
Nice to have: Computer Science degree
Nice to have: Two years of experience working in IT
Help shape the electron-optical performance of next-generation scanning electron microscopes and focused Ion beam systems. In this role, you will turn physical principles and ambitious instrument requirements into robust, manufacturable designs—from the source to the sample.
Locations (4)
Oberkochen, Baden-Wurttemberg, Germany
United States
China
India
Responsibilities
Design and optimize electron-optical columns, including electron sources, condenser and objective lenses, apertures, deflectors, stigmators, mirrors, aberration correctors and curvilinear systems
Model electric and magnetic fields, trace electron trajectories and predict probe size, current, brightness, working distance, depth of field and attainable resolution
Assemble, install, and integrate electronic hardware, modules, and circuit boards into quantum computing systems according to technical drawings, schematics, and build procedures.
Calibrate, test, and adjust electronic instruments and systems, including continuity checks and signal path verification, to ensure integrity and meet performance specifications.
Utilize various electronic test equipment (e.g., multimeters, oscilloscopes, signal generators) to diagnose and troubleshoot issues while interpreting technical documentation and assembly instructions.
Maintain accurate records of configurations, tests, and calibrations performed throughout the assembly and testing process.
Collaborate with engineering and other technical teams to support the overall development, testing, and deployment of systems.
Requirements
Associate's degree, trade school certification, or other verifiable training in a relevant technical field, or equivalent practical experience.
The Digital Forensic Analyst will conduct research, evaluate system configuration data, and provide recommendations to enhance security posture of network and infrastructure.
Compensation
$146,000 - $234,000. This represents the typical salary range for this position. Salary is determined by various factors, including but not limited to, the scope and responsibilities of the position, the individual’s experience, education, knowledge, skills, and competencies, as well as geographic location and business and contract considerations. Depending on the position, employees may be eligible for overtime, shift differential, and a discretionary bonus in addition to base pay.
Responsibilities
Perform network traffic analysis of organizational systems to analyze raw packet data and identify anomalous behavior
Conduct computer forensics and security vulnerability analysis using commercial-off-the-shelf (COTS) and/or customer-provided tools
Evaluate cloud services, web applications, and COTS software and hardware
Identify gaps in cybersecurity systems and processes to reduce organizational risks
Offer innovative cyber defense solutions to protect systems
Design, coordinate, and execute technical solutions for distributed cloud infrastructure, leading large-scale projects and collaborating with cross-functional stakeholders.
Compensation
US: Hiring Range in USD from: $79,200 to $209,500 per annum. May be eligible for bonus and equity.
Responsibilities
Design and build scalable cloud infrastructure
Coordinate with development and operations teams
Troubleshoot performance and reliability issues
Document infrastructure designs and procedures
Lead initiatives across engineering and leadership
Analyze and balance spherical and chromatic aberration, diffraction, astigmatism, source energy spread and stability across operating conditions
Develop scanning, focusing and alignment concepts, including their interactions with sample geometry and detector integration
Translate simulation results into practical component specifications; work with mechanical, electrical, vacuum, software and application teams to resolve design trade-offs
Requirements
Master’s degree or PhD in physics, electrical engineering or a closely related field
ASIC Formal Verification EngineerGoogle · Sunnyvale, US
Applications Systems Analyst (OnBase/OnPhase, Archibus, RightFax, CobbleStone) - ITS-Enterprise PerformanceUniversity of Texas Medical Branch (UTMB) · Remote, US
Digital Forensic AnalystPeraton · Chantilly, US
Software Integration Test EngineerPACCAR · Kirkland, US
Senior Core Infrastructure EngineerOracle · Nashville, US