- Meta (Tallahassee, FL)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal ... to build IP and System On Chip (SoC) for data center applications. As a Formal Verification Engineer, you will be part of a team working with the best in the… more
- Meta (Tallahassee, FL)
- …Experience in one or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in EDA tools and scripting ... **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are...with traditional simulation, you will use other approaches like Formal and Emulation to achieve a bug-free design. The… more
- GovCIO (Hurlburt Field, FL)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... network services, equipment and devices. + Generates system level requirements verification procedures and customer acceptance test procedures. + Monitors system… more
- GovCIO (Tallahassee, FL)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... network services, equipment and devices + Generates system level requirements verification procedures and customer acceptance test procedures + Monitors system… more
- GovCIO (Tampa, FL)
- …planning & design and ensures requirements are complied with through formal verification methods. Translates high-level product development strategies into ... + During the Hiring Process + Enhanced Biometrics ID verification screening + Background check, to include: + Criminal...to include: + Criminal history (past 7 years) + Verification of your highest level of education + … more
- Butler America (Orlando, FL)
- …architecture and model-based design * Experience with operational modeling tools and formal verification process * Working knowledge of industry standards and ... federal regulations, including ANSI, OSHA, and AWS standards applicable to mechanical and structural systems * Knowledge of Geometric Dimensioning & Tolerancing (GD&T) and ASME Y14.5 Benefits provided: 401K, medical, dental, and vision, sick time as applicable… more
- Butler America (Orlando, FL)
- …architecture and model-based design * Experience with operational modeling tools and formal verification process Benefits provided: 401K, medical, dental, and ... vision, sick time as applicable to state law Butler America Aerospace, LLC. is an equal opportunity employer. Butler evaluates applicants without regard to race, color, religion, sex, age, national origin, disability, veteran status, genetic information and… more
- BAE Systems (Eglin AFB, FL)
- …Experience generating Modeling and Simulation (M&S) scenarios. + Experience conducting formal requirement verification test procedures. + Experience preparing ... test reports. + Experience with C The criteria for obtaining and holding a clearance are driven by US government requirements. You must be a US citizen to obtain a security clearance. **Preferred Education, Experience, & Skills** **Preferred Qualifications** +… more
- Northrop Grumman (Eglin AFB, FL)
- … verification procedures, Python, and MATLAB + Experience conducting formal requirement verification test procedures. **Preferred Qualifications** + ... Experience with hands-on missile defense, space tracking, and/or satellite operations + Experience working as part of an Integration and Test team across multiple engineering disciplines + Experience as a member of a team integrating large, complex systems… more
- GE Vernova (FL)
- …and controls. + Demonstrated expertise in energy storage controls, validation and verification , formal methods, systems integration, advanced controls or related ... technologies. + Technical project leadership experience + A proactive approach to learning and staying updated with industry trends, technologies, and best practices in plant control systems. + Can present technical plans in voice of customer. The salary range… more