- Palo Alto Networks (Santa Clara, CA)
- …performance, and power targets. + **Verify** your blocks with simulation, emulation, formal methods , and silicon bring-up. + **Collaborate** with verification ... with DDR5 memory, Ethernet (IEEE 802.3), or search-algorithm accelerators. + Formal -verification ownership. + Hands-on silicon validation and lab bring-up. **The… more
- IBM (Albany, NY)
- …particularly as related to meta-complexity and foundation models * Knowledge of formal optimization methods * AI for algorithmic reasoning * Quantum-centric ... and innovation thrive. **Your role and responsibilities** Develop new mathematically grounded methods and algorithms in one or more of the following areas: numerical… more
- Houston Methodist (Houston, TX)
- …in order to exceed clients' expectations. Provides training for team members through formal and informal methods . + Fosters relationships and engages in regular ... skills. + Engages customers and elicits requirements using various methods . Negotiates priorities and resolves conflicts between customers, technologists and… more
- Solvarus (Chantilly, VA)
- …systems and enterprise capabilities comply with requirements and standards through formal verification methods . + Generates system requirement and enterprise ... + Designs, develops, and implements test and evaluation strategies, plans and methods to assure reliability of systems in conjunction with system specifications and… more
- CACI International (Chantilly, VA)
- …Bachelors focusing on data integration services + 3-5 years Data Modeling experience using formal methods such as DoDAF, SysML, UML, or equivalent + 5+ years ... of applied experience designing and maintaining SQL queries, views, stored procedures, and functions + Strong experience in optimizing SQL queries for performance, supporting ETL processes and data migrations + Familiarity with Git and/or other version control… more
- University of Colorado (Colorado Springs, CO)
- …security or device security including reverse engineering and security platform architecture + Formal methods and language based security + Human aspects of ... security including social engineering, usable security and privacy + AI/ML security and IoT/ICS security + Interdisciplinary research cutting across human security, organization security and society security The Department of Computer Science at UCCS excels in… more
- The Boeing Company (Hazelwood, MO)
- …assurance/safe languages and standards (Ada/SPARK, Rust, MISRA C/C++) + Exposure to formal methods , model checking, MBSE (SysML), or model-based verification ... tools + Experience building CI/CD and HIL test automation for embedded platforms, including trace-based observability tools (LTTng, Tracealyzer) and hardware performance counters + Background in cryptography, secure boot, TPM/SE integration, and PKI for… more
- GE Vernova (Schenectady, NY)
- …* Demonstrated expertise in energy storage controls, validation and verification, formal methods , systems integration, advanced controls or related technologies. ... * Technical project leadership experience * Ability to summarize and communicate complex technical information. * Strong problem analysis and resolution skills * Curiosity, passion for excellence, drive to deliver on-time. * Can present technical plans in… more
- Microsoft Corporation (Seattle, WA)
- …of art LLMs and/or model alignment. + Experience with reinforcement learning libraries or formal methods and verification is a plus. + Demonstrated ability and ... passion for incubating new ideas, solving problems, and building working systems. \#ASG \##W+DJOBS Applied Sciences IC4 - The typical base pay range for this role across the US is USD $119,800 - $234,700 per year. There is a different range applicable to… more
- Microsoft Corporation (Redmond, WA)
- …of art LLMs and/or model alignment. + Experience with reinforcement learning libraries or formal methods and verification is a plus. + Experience of scientific ... writing in top-tier conferences or journals (ICLR, ACL, EMLP, ICML, CVPR, ICCV, ECCV, NeurIPS, TPAMI, etc.). The base pay range for this internship is USD $6,710 - $13,270 per month. There is a different range applicable to specific work locations, within the… more