- AAOS (Des Plaines, IL)
- …and analysis for our Registry Program. You will develop and implement formal policies and procedures for data retrieval and analysis and create verification ... analysis of the Registry Program data. The Senior Registry Analyst will develop formal policy and procedures for data retrieval and analysis. The Senior Registry… more
- RTX Corporation (Cambridge, MA)
- …Cyber Technologies group seek well-qualified and eager System/Software Engineers with experience in Formal Methods to become an integral part of exciting new ... Computer Science, Computer Engineering, Electrical Engineering, or relevant field Experience in Formal Methods Ability to work and communicate as part of a team… more
- RTX Corporation (Nashville, TN)
- …visionary, action-oriented graduate student intern to develop the next generation of advanced formal methods algorithms, tools, and technologies as part of a ... following areas: + Method and tool enhancements for user-friendly, scalable formal methods for software engineers + Secure system design, including secure… more
- MIT Lincoln Laboratory (Lexington, MA)
- …for autonomous systems, particularly techniques supported by optimization, control theory, and formal methods . Typical tasks in this role involve developing ... computer vision algorithms (eg, convolutional neural networks, reinforcement learning, and formal methods approaches) + Optimization theory (convex, non-convex,… more
- New York University (New York, NY)
- …research in this area -Attending and engaging in discussions in a weekly seminary on formal methods Candidates should have interest and experience in one or more ... Seeking "Expressions of Interest" from Postdoctoral Researchers interested in formal verification of randomized programs to work with Professor Joseph Tassarotti in… more
- The Walt Disney Company (Burbank, CA)
- …degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods **Preferred Qualifications** + Proficiency ... solutions for media business problems + Translating media business problems into formal problems that can be solved by technical teams + Validating whether… more
- Palo Alto Networks (Santa Clara, CA)
- …impact on business + Design and development of workflow frameworks (using formal methods and algorithms), with result collection and visualization, monitoring ... with NLP, Recommender Systems, and LLM is strongly preferred + Experience with Formal Methods toolchain (z3, cvc5, TLA+) will be a plus + Excellent communication… more
- Vector North America, Inc. (East Greenwich, RI)
- …remotely. Responsibilities + Advanced development in the areas of software verification and formal methods . + Brainstorming and prototyping of new concepts, and ... experience with one or more of the following topics is highly desirable: formal methods , algorithm modeling, machine learning. Additional Information + Local… more
- Lockheed Martin (Arlington, VA)
- …Have a strong technical background in one or more of the following: Neuro\-Symbolic AI, Formal Methods , Automated Reasoning, and Generative AI\. * Lead a team of ... background in one or more of the following: Nero\-Symbolic AI, Formal Methods , Automated Reasoning, Generative AI\. * Recognized subject matter expert in… more
- Huntington Ingalls Industries (Jacksonville, FL)
- …+ Ensure requirements comply with client requirements and Government standards through formal verification methods . + Translate high level product development ... system planning and design, and acquisition logistics. + Knowledge of formal verification methods . + Strong communication, analytical, and problem-solving… more
- Iowa State University (Ames, IA)
- …solid mechanics and materials science; composites and aerospace structures; formal methods and software engineering; autonomy; non-destructive evaluation ... faculty position in aerodynamics and propulsion, focusing on numerical methods and computational fluid dynamics. Exceptional candidates with commensurate experience… more
- Sysco (Houston, TX)
- …resource planning and budgeting various programs and activities. Responsibilities: + Establish formal Engineering methods that can be utilized to create ... is accountable for team development, process standardization, engineered standards, methods development, system deployment and training, continuous improvement, project… more
- Hubbell Power Systems (Solon, OH)
- …evidence of key design parameter analysis and design verification tests. + Institute formal methods and procedures, including necessary training. + Ensure all ... and effective teamwork. + Support the implementation of company programs, procedures, methods , and practices to reinforce key company messages. + Management of… more
- Amentum (Reston, VA)
- …+ Ensures requirements comply with client requirements and government standards through formal verification methods . + Translates high level product development ... and software specifications. -Managing software development and support using formal specifications, data flow diagrams, other accepted design techniques and… more
- Veterans Affairs, Veterans Health Administration (Asheville, NC)
- …PACT's site of care and other health care settings, using informal and formal communication methods , as appropriate. Providing health education and health ... receiving input from Veterans and caregivers regarding VA care. Using formal and informal communications that are respectful, effective, timely, and bidirectional… more
- Sandia National Laboratories (Albuquerque, NM)
- …Experience with one or more of the following: reverse engineering, malware analysis, formal methods , or deciphering known and unknown file formats, data ... structures, and network protocols, + Experience with one or more of the following: + vulnerability research, + system vulnerability assessments, + high consequence high trust systems, + mobile systems, + embedded systems, + OT/ICS/SCADA devices and systems, +… more
- Pennsylvania State University (University Park, PA)
- …Engineering and have a strong background in computer security, programming languages, or formal methods . The candidate must have an excellent track record of ... original research and the ability to work as part of a team.The candidate will be provided with competitive salary and employment benefits. This is a non-tenure line limited-term appointment initially funded for one year. Inquiries about the position should be… more
- Nebraska Public Power District (Sutherland, NE)
- …maintain qualifications as a Mechanical Technician and train others through on-the-job or formal methods . Provide technical direction and/or lead a work crew of ... full-time or part-time employees, or contract employees as necessary. Depending upon experience and capability, this position could provide technical direction for other employees on a regular basis. Maintain and improve station reliability by investigating… more
- Colorado State University (Fort Collins, CO)
- …Factors) in Security or Privacy + Applied Cryptography + Network and Systems Security + Formal Methods in Security or Privacy + Economics of Security + Security ... of Embedded Systems Applicants in other areas of Cybersecurity and Privacy will also be considered. For applicants working on quantum security, we encourage you to apply to our parallel search for quantum computing. Applicants should have the ability to… more
- Bank of America (Chicago, IL)
- …Knowledge of at least one application security testing methodology / approach, including formal methods , system level security, SAST / DAST, threat modeling, ... ethical hacking and crowd-sourcing + Experience with business planning, governance and management of application development or application security functions at a systemically important financial institution + Ability to document and summarize the solutions… more
