- Aitkin County (Aitkin, MN)
- …local subdivision regulations. 6. Knowledge of ArcGIS Pro or Arc GIS Desktop software and the principals, methods and techniques associated with automated ... but are free to develop their own work sequences within established procedures, methods , and policies. They are often physically removed from their supervisor and… 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
- 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
- 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
- Panasonic Avionics Corporation (North Charleston, SC)
- …+ Service, Support, Training and Troubleshooting + Provide technical guidance, formal training, and field assistance to other Panasonic personnel and airline ... customers in troubleshooting and resolving system hardware, network, and software issues. Provides accurate, detailed and timely responses to problems and queries. +… more
- Leidos (Annapolis Junction, MD)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... participating in formal test events (Acceptance Test, User Acceptance Test, Software Final Release Test, Maintenance Release Test, etc.). + Must have experience… more
- NORC (Washington, DC)
- …mixed- methods research approaches. + Proficiency in statistical analysis software (Stata, R, or Python preferred) with demonstrated experience leading analyses ... requiring application of econometric modeling and other advanced quantitative research methods . The Program Area Director should have familiarity and experience… 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
- Belcan (Irvine, CA)
- …and a scanning electron microscope. 3. Ability to document findings in a formal report with root cause and corrective actions to mitigate future failures. 4. ... reporting status to internal and external customers. 6. Maintains frequent formal and informal customer interface to present project status; determines feasibility… 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 ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more