- WALGREENS (Valrico, FL)
- …pharmacy staff by overseeing training, focused coaching, and executing formal performance management initiatives. Job Responsibilities: Patient Experience * Engages ... * Performs pharmacist tasks including compounding, drug therapy reviews, verification , and medication management. * Reviews, interprets, and accurately dispenses… more
- 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
- Northrop Grumman (Melbourne, FL)
- …the product baseline under configuration control, managed and authorized for final formal verification activities by the technical community towards completion ... as a whole. The resulting product configuration baseline supports system verification and any other required system level testing. Early interface development… more
- RTX Corporation (Largo, FL)
- …System Engineering experience a plus), assessing security vulnerabilities, and formal cybersecurity verification (including vulnerability scanning). The ... Validation * Support cybersecurity requirement decomposition, allocation, implementation, and verification utilizing system engineering practices * Analyze system requirements,… more
- Oracle (Tallahassee, FL)
- …security services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification , compilers, or new language development for high-assurance systems. ... Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building… more
- Lockheed Martin (Orlando, FL)
- …especially in systems involving dense IP and algorithmic outputs\. * Perform bit\-precise formal verification of Simulink models\. * Collaborate with the systems ... team to translate high\-level algorithms into Simulink blocks and hardware implementations\. * Utilize Synopsys VCS or equivalent FPGA simulation tools to verify designs\. * Implement high\-speed data interfaces such as Ethernet within FPGA architectures\. *… more
- Northrop Grumman (Melbourne, FL)
- …programming experience in Python and/or MBSE (ie Cameo). + Familiarity with formal Systems Engineering verification and validation processes. + Experience with ... development life cycle, including requirements development, modeling and simulation, verification and validation (V&V), and presentation of results to customers.… more
- Northrop Grumman (Melbourne, FL)
- …programming experience in Python and/or MBSE (ie Cameo). + Familiarity with formal Systems Engineering verification and validation processes. + Experience with ... development life cycle, including requirements development, modeling and simulation, verification and validation (V&V), and presentation of results to customers.… more
- Northrop Grumman (Melbourne, FL)
- …operating systems and software programming languages. + Experience conducting integration and verification testing through formal test acceptance and sign off. + ... developing requirements, system integration and test. + Development and verification of system engineering requirements and technology protection capabilities. +… more
- RTX Corporation (Melbourne, FL)
- …updates using LabVIEW. Develop test procedures, perform test dry runs and formal execution. Generate new LabVIEW, Python and PyATE applications to support systems ... Engineer or related role in avionics product integration and verification . In the alternative, at least a master's degree...Engineer or related role in avionics product integration and verification . + Must possess at least 5 years of… more
