- US Customs and Border Protection (Cheney, KS)
- …and maintain composure in stressful situations; to learn regulations, methods , and techniques through classroom training and/or on-the-job instruction; and ... Appointment (VRA). The age restriction does not apply if you are Veterans' Preference eligible. Formal Training : After you are hired, you will be detailed to the US… more
- Deer Valley Resort (Sandy, UT)
- …moderate fabrication projects and custom modifications Improvise and pioneer efficient methods for service and repairs Assist with some administrative duties; ... QUALIFICATIONS: 5+ years of related experience High school education, formal automotive training, or equivalent Automotive Service Excellence (ASE) Certifications… more
- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research. The position will be based out of our Arlington, VA office, ... and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools. - Integrate and adapt formal … more
- NVIDIA (Santa Clara, CA)
- …This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware-firmware ... Formal Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and safety properties of critical firmware… more
- Amazon (Cupertino, CA)
- …Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and ... formal verification as IP/Block owner, or equivalent academic experience in formal methods . - 7+ years of experience with formal verification techniques… more
- Bosch (Pittsburgh, PA)
- …team in developing solutions that apply machine learning/deep learning algorithms and formal methods to security and privacy problems. Example applications ... include, but are not limited to, utilizing AI and formal methods to analyze software vulnerabilities, modeling of secure systems, automation of security… more
- NVIDIA (Santa Clara, CA)
- …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... of a team that is revolutionizing the industry. We are making extensive use of formal methods to automate our work flow and increase the quality of our SW. We… more
- Microsoft Corporation (Redmond, WA)
- **Overview** Research Intern - RiSE group ( Formal Methods , High-Performance Computing, ML Systems, Programming Languages, Software Engineering) Research ... to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, Macine Learning (ML) systems, programming… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and… more
- Microsoft Corporation (Redmond, WA)
- …Reliability - Microsoft Research** areas such as distributed systems and reliability, formal methods and verification, machine learning for system reliability, ... of the following core areas of research: datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems,… more
- Maritime Administration (Kings Point, NY)
- …process, treat, form, or shape metal. Teaching - Help others learn through formal or informal methods ; identify training needs; provide constructive feedback; ... Demonstrate knowledge of welding technology and welding instruction, welding methods in a classroom/laboratory environment. Be responsible for the operation,… more
- KBR (Chevy Chase, MD)
- …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... current verification and validation paradigms, including model testing, simulation, and formal methods . + Experience developing with machine learning frameworks… more
- MIT Lincoln Laboratory (Lexington, MA)
- …Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. We bring ... programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including guiding… more
- Battelle Energy Alliance dba Idaho National Laboratory (Idaho Falls, ID)
- …Apply and/or evaluate security protocols, firewalls, intrusion detection systems, cryptography, formal methods , or security models to protect government systems. ... operating systems, network protocols, cryptographic protocols, and modeling, application of formal logic, and algorithmic analysis and design. You will report to… more
- Commonwealth of Pennsylvania (PA)
- …BEHAVIOR 3 - EVALUATE STUDENT PROGRESS Evaluate student progress using both formal and informal methods such as administering competency based, standardized, ... A. I have experience evaluating student progress using both formal and informal testing methods ; correcting and...progress using both formal and informal testing methods ; correcting and grading tests and homework assignments; AND… more
- Amazon (Austin, TX)
- …stimulus of a custom Machine Learning Accelerator Chip. Content creation is built using formal methods that model legal behavior of the design and then solving ... constructed. Create coverage metrics to ensure solution space coverage. Use novel methods like machine learning to automate content creation. About the team Utility… 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
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Formal Methods Research Intern,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Engineer Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods