Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Oak Ridge National Laboratory
- Texas A&M University
- Texas A&M AgriLife
- George Washington University
- Massachusetts Institute of Technology
- MASARYK UNIVERSITY
- National Renewable Energy Laboratory NREL
- University of Kansas
- Washington University in St. Louis
- Washington State University
- Binghamton University
- University of New South Wales
- Kennesaw State University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Lehigh University
- Stony Brook University
- Technical University of Munich
- Institut de Físiques d'Altes Energies (IFAE)
- Texas A&M University System
- Texas A&m Engineering
- Universidade Católica Portuguesa - Porto
- University of Arkansas
- University of Southern Denmark
- Aalborg Universitet
- California State University, Northridge
- Cleveland State University
- Emory University
- Luleå tekniska universitet
- Princeton University
- Texas A&M AgriLife Extension
- The California State University
- University of Florida
- University of Luxembourg
- University of North Carolina at Chapel Hill
- University of Silesia in Katowice
- University of Texas at Austin
- Yale University
- AGH University of Krakow
- AI4I
- Aalborg University
- Aarhus University
- Argonne
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- Boise State University
- Brown University
- CNRS
- Carnegie Mellon University
- Cornell University
- European Space Agency
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Jagiellonian University
- La Rochelle Université
- Maj Institute of Pharmacology Polish Academy of Sciences
- Nature Careers
- SUNY University at Buffalo
- San Diego State University
- Singapore-MIT Alliance for Research and Technology
- TTI
- Technical University of Denmark
- The University of Iowa
- U.S. Department of Energy (DOE)
- Umeå universitet stipendiemodul
- University of Agriculture in Krakow
- University of Cincinnati
- University of Colorado
- University of Delaware
- University of London
- University of Minnesota
- University of Reading
- University of Reading;
- University of San Diego
- University of Sydney
- Uppsala universitet
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Wroclaw University of Science and Technology
- 72 more »
- « less
-
Field
-
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
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
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
-
or automated program verification with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
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
-
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 culture. Expected Starting
-
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
-
a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including