Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Texas A&M University
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- Washington University in St. Louis
- University of Florida
- George Washington University
- MASARYK UNIVERSITY
- Massachusetts Institute of Technology
- Washington State University
- Texas A&M University System
- Kennesaw State University
- Stony Brook University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife Extension
- University of Arkansas
- Binghamton University
- Colorado State University
- Instituto Politécnico de Bragança
- Technical University of Munich
- University of Kansas
- Princeton University
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- SUNY University at Buffalo
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Luxembourg
- Aarhus University
- Chalmers tekniska högskola
- Cornell University
- Fayetteville State University
- Inria, the French national research institute for the digital sciences
- Lehigh University
- National Aeronautics and Space Administration (NASA)
- Texas A&m Engineering
- U.S. Department of Energy (DOE)
- University of Cincinnati
- University of Lodz
- AI4I
- Aalborg Universitet
- Aalborg University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Brown University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Embry-Riddle Aeronautical University
- Emory University
- Empa
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- La Rochelle Université
- Lawrence Berkeley National Laboratory
- Leibniz
- Lodz University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Massachusetts Institute of Technology (MIT)
- Nantes Université
- Nature Careers
- Pennsylvania State University
- Poznan University of Technology
- San Diego State University
- Space Research Centre Polish Academy of Sciences
- TTI
- Technische Universität München
- The John Paul II Catholic University of Lublin
- The University of Iowa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of California
- University of Maryland
- University of New South Wales
- University of North Carolina at Chapel Hill
- University of Oxford
- University of Sydney
- Vanderbilt University
- Virginia Tech
- Warsaw University of Technology - Centre for Credible AI
- Wrocław University of Science and Technology
- 73 more »
- « less
-
Field
-
the next generation of secure agentic AI systems through cutting-edge research in adversarial machine learning and formal verification. The Role As a research scientist, you will contribute to frontier AI
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
. Responsabilities: Investigate existing verification and validation (V&V) techniques for space systems, software and algorithms with a focus on specific challenges of space-borne perception and proximity operations
-
for activities in the Zero-G Lab and contributing to the Black-Hole Lab at Redwire Space Luxembourg for Hardware in the loop emulation of on-orbit scenarios. Responsabilities: Investigate existing verification and
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 10 hours ago
emphasize verification: the process of ensuring that a system meets its requirements. This is a key part of ensuring quality and managing risk in the system development process, and is a major driver for the
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
work cooperatively with others. All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification