• Eurofins USA Food Testing (North Platte, NE)
    …Train and document the training of assigned technical staff on test methods , formal SOPs, regulations, ISO requirements, and laboratory policies/procedures ... 50 countries. Eurofins offers a portfolio of over 200,000 analytical methods to evaluate the safety, identity, composition, authenticity, origin, traceability and… more
    JobGet (11/04/24)
    - Save Job - Related Jobs - Block Source
  • United States Customs and Border Protection (Eulonia, GA)
    …and maintain composure in stressful situations; to learn regulations, methods , and techniques through classroom training and/or on-the-job instruction; and ... peers on the application of the appropriate law enforcement problem-solving methods , investigative techniques, and other law enforcement procedures. Working with law… more
    JobGet (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Formal Methods Research Engineer

    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 (10/02/24)
    - Save Job - Related Jobs - Block Source
  • Research Intern - RiSE group: Formal

    Microsoft Corporation (Redmond, WA)
    …to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. ... Actively conducting research in at least one of the following areas: formal methods , high-performance computing, programming languages, and software engineering.… more
    Microsoft Corporation (10/24/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Formal Verification Engineer Intern,…

    Amazon (Austin, TX)
    …be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of ... and September 2026 - Completed coursework or prior internship experience with formal methods (SW/HW) - Coursework or prior internship experience in the basics of… more
    Amazon (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Senior Applied Scientist, Automated Reasoning…

    Amazon (Portland, OR)
    …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, solvers, constraint solving, and ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
    Amazon (10/26/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Automated Reasoning Group

    Amazon (Santa Clara, CA)
    …of algorithms and data structures Preferred Qualifications - Deep understanding of formal methods , formal verification, solvers, constraint solving, and ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
    Amazon (10/25/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Lean

    Amazon (Santa Clara, CA)
    …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
    Amazon (10/17/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist III, AWS Identity

    Amazon (Arlington, VA)
    …in the life You will be working on cutting edge technology related to formal methods , automated reasoning, automated testing, and adjacent areas. You will work ... Description Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to… more
    Amazon (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Socrates, Automated Reasoning

    Amazon (Portland, OR)
    …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
    Amazon (10/10/24)
    - Save Job - Related Jobs - Block Source
  • 36: Tech Staff - Autonomy

    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
    MIT Lincoln Laboratory (11/08/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist II, AWS Identity

    Amazon (Arlington, VA)
    …in the life You will be working on cutting edge technology related to formal methods , automated reasoning, automated testing, and adjacent areas. You will work ... Description Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to… more
    Amazon (10/17/24)
    - Save Job - Related Jobs - Block Source
  • Senior Hypervisor and RTOS Engineer

    NVIDIA (Santa Clara, CA)
    …system level components of world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the quality of ... + Develop software that meets automotive safety and security standards, and apply formal methods (ADA SPARK, TLA+) to improve software integrity. What we need to… more
    NVIDIA (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Assistant Professor - Cybersecurity/Artificial…

    University of Kansas (Lawrence, KS)
    …at the University level. 3. Expertise in any area related cybersecurity, formal methods , algorithms, and/or artificial intelligence, including but not limited ... with a focus in areas such as (but not limited to) Cybersecurity, Formal Methods , Algorithms, and Artificial Intelligence. Successful candidates are expected to… more
    University of Kansas (10/08/24)
    - Save Job - Related Jobs - Block Source
  • Tenured/Tenure-Track Faculty in Trustworthy…

    University of Colorado (Boulder, CO)
    …spanning the broad areas of computer systems, programming languages, software engineering, formal methods and artificial intelligence. Modern AI systems draw ... that have been studied in the areas of programming languages and formal methods . Conversely, AI and Machine Learning techniques are impacting how we design,… more
    University of Colorado (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Senior Research Software Engineer

    Microsoft Corporation (Redmond, WA)
    …AI/data processing/ formal reasoning/natural language systems. + PhD in Formal Methods , Natural Language Processing, or Language-Model training/inference with ... areas: language model training and inference, natural language processing, formal reasoning, systems/infrastructure for AI/reasoning. The position involves developing… more
    Microsoft Corporation (10/31/24)
    - Save Job - Related Jobs - Block Source
  • Sr Marketing Scientist

    The Walt Disney Company (Burbank, CA)
    …+ Graduate degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods and 3+ years of experience + ... design + Developing and interpreting the results of new formal models to forecast or predict business outcomes +...years of experience in data science, economics, or quantitative methods + Proficiency with Python and SQL + Proficiency… more
    The Walt Disney Company (10/27/24)
    - Save Job - Related Jobs - Block Source
  • [EOI] Postdoctoral Associate in Joseph…

    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
    New York University (10/29/24)
    - Save Job - Related Jobs - Block Source
  • Director Of Force Support (Title 32)

    Air National Guard Units (TX)
    …and technical staff at NGB and Headquarters, US Air Force, through informal and formal methods of contact. Prepares briefings and data analysis for senior ... Identifies employee developmental needs and provides or arranges for training ( formal and on-the-job) to maintain and improve job performance. Encourages… more
    Air National Guard Units (10/29/24)
    - Save Job - Related Jobs - Block Source
  • Director Of Force Support

    Air National Guard Units (Kirtland AFB, NM)
    …and technical staff at NGB and Headquarters, US Air Force, through informal and formal methods of contact. Prepares briefings and data analysis for senior ... Identifies employee developmental needs and provides or arranges for training ( formal and on-the-job) to maintain and improve job performance. Encourages… more
    Air National Guard Units (10/25/24)
    - Save Job - Related Jobs - Block Source