- Leidos (San Diego, CA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
- NVIDIA (Santa Clara, CA)
- … software that meets automotive safety and security standards, and apply formal methods (ie TLA+) to improve software integrity. What we need to see: + ... vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into...world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and… more
- Sacramento Municipal Utility District (Sacramento, CA)
- …research and resolution; safety policies, practices and procedures; office procedures, methods , and equipment including computers and applicable software ... two levels: Level E is the entry-level where incumbents are provided formal training and/or certification for progression to the journey-level of the classification.… more
- Air National Guard Units (Eielson AFB, AK)
- …all personnel and determines method to accomplish training to include Formal Training Schools, Career Development Course (CDC), Professional Military Education ... determines the means by which such training can be attained; ie, formal off base training, Field Training Detachments, Mobile Training Detachments, classroom, etc.… more
- Belcan (Dublin, GA)
- …excellence. ⦁ Develops advanced manufacturing techniques, testing new systems and methods for efficiency, and planning assembly layouts to optimize production, ... studying product requirements, researching, designing, modifying, and testing manufacturing methods and equipment; and conferring with equipment suppliers. Prepares… more
- Belcan (Dublin, GA)
- …excellence. ⦁ Develops advanced manufacturing techniques, testing new systems and methods for efficiency, and planning assembly layouts to optimize production, ... studying product requirements, researching, designing, modifying, and testing manufacturing methods and equipment; and conferring with equipment suppliers. Prepares… more
- Air Force Civilian Career Training (Lackland AFB, TX)
- …The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal ... with change, complexity, and problem solving. The program offers a 3-year formal training plan with yearly salary increases. Promotions and salary increases are… more
- System One (Bellevue, WA)
- …experiments and analysis + Create formal documentation of nuclear fuels methods software requirements, design, implementation, and testing in support of ... meet their overall objectives + Develop fuel and material models and analysis methods + Compose and review technical documents to support core/reactor plant design,… more
- Newegg Inc. (Ontario, CA)
- …+ Ensure all products and software comply with government standards through formal verification methods . + Recommend hardware and software improvements ... all products and software comply with government standards through formal verification methods . + Recommend hardware and software improvements to lower… 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