- Loyola University Chicago (Chicago, IL)
- …software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any phase of the ... including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors research, and mixed methods approaches.… more
- Penske (Duluth, GA)
- …in place at all locations. * Measures associate's progress and performance through both formal methods (PCM, reports and metrics) and informal methods ... (management by walking around). * Interview and hire salaried associates up to Operation Manager level. * Involve team members in business planning and decision making to develop their skills in this area. * Identify issues with the operating metrics and P&L… more
- Leonardo DRS, Inc. (Burnsville, MN)
- …services, operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using ... to solve software issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software engineering activities in… more
- Oracle (Salt Lake City, UT)
- …Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building ... services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification, compilers, or new language development for high-assurance systems. + Knowledge… more
- 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