- Microsoft Corporation (Redmond, WA)
- …systems that leverage general software/systems security, confidential computing, formal verification , zero-knowledge proofs, intrusion detection, anomaly ... detection, and information flow control. The Research Internship will explore new ideas and approaches to building secure and trustworthy software and cloud services. **Responsibilities** Research Interns put inquiry and theory into practice. Alongside fellow… more
- General Dynamics Information Technology (Arlington, VA)
- …and customer information assurance and cybersecurity standards and practices through formal verification methods with specific emphasis on network and ... cyber operations.** **Maintain coordination with customers and stakeholders to ensure realistic schedule milestones are achieved.** **Deliver all required documentation as directed and needed.** **Collaborate with key stakeholders to identify additional… more
- Cisco (San Jose, CA)
- …Cadence). + Experience with Spyglass CDC and glitch analysis. + Experience using Formal Verification : Synopsys Formality and Cadence LEC. + Experience with ... scripting languages such as Python, Perl, or TCL. . **Why Cisco?** At Cisco, we're revolutionizing how data and infrastructure connect and protect organizations in the AI era - and beyond. We've been innovating fearlessly for 40 years to create solutions that… more
- Huntington Ingalls Industries (Fort Meade, MD)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. Full-Scope Poly ... required at the time of application *This position is contingent upon contract award Essential Job Responsibilities + The ideal candidate will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking… more
- Huntington Ingalls Industries (Fort Meade, MD)
- …Are proficient with EDA tools (Synopsis, Altium, Modelsim) * Have experience with formal verification tools and methodologies (OneSpin 360, Questa, etc.) * Have ... experience with modifying hardware to perform non-intended tasks * Have experience bypassing encryption schemes (power glitching, side-channel attacks, etc.) Physical Requirements May require working in an office, industrial, shipboard, or laboratory… more
- Axiom Space (Houston, TX)
- …development + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification + ... Experience in software safety reviews + Track record of delivering outcomes in ambiguous, fast-moving environments + Uses good judgement to problem-solve proactively, positively impacting hard challenges + Proven to deliver high quality results under tight… more
- Lockheed Martin (Fort Worth, TX)
- …FA\-50 upgrades and new production aircraft\. This includes integration testing and formal verification in a desktop environment, lab environment, and support ... of flight test\. **What You Will Be Doing** As the Systems Engineer you will be responsible for working with your assigned agile team to conduct avionics system level testing across various F\-16 aircraft configurations for your team's assigned capabilities\.… 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
- Huntington Ingalls Industries (Roanoke, VA)
- …system analysis techniques + Microcontroller and embedded systems exploration + Formal verification tool introduction PHASE 3: INDEPENDENT PROJECT CONTRIBUTION ... (Weeks 9-12) Week 9: Project Assignment + Independent reverse engineering project assignment + Planning and documentation of approach + Initial analysis and tool selection Week 10: Implementation + Code development for assigned project + Test suite creation +… more
- GE HealthCare (Waukesha, WI)
- …Analyzer, Electronic Loads, Thermocouples, etc) to troubleshoot and execute testing. Includes formal verification testing. + Bring up and maintain electronic ... hardware testbenches to enable integration of prototype hardware (Host PC & other electronics required to test new hardware). + Own & maintain lab, including maintain and calibrating equipment assets, maintaining organization, stocking key components needed… more