Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Texas A&M University
- University of Washington
- Texas A&M AgriLife
- George Washington University
- National Renewable Energy Laboratory NREL
- Washington University in St. Louis
- University of Arkansas
- University of Florida
- University of Kansas
- Binghamton University
- Cornell University
- Washington State University
- Texas A&M AgriLife Extension
- Arizona State University
- Texas A&m Engineering
- Aalborg University
- Colorado State University
- Iowa State University
- Oak Ridge National Laboratory
- REQUIMTE - Rede de Quimica e Tecnologia
- SUNY University at Buffalo
- Stony Brook University
- Technical University of Munich
- University of Texas at Austin
- Uppsala universitet
- ;
- CNRS
- DURHAM UNIVERSITY
- Delft University of Technology (TU Delft)
- Durham University
- KTH Royal Institute of Technology
- Karolinska Institutet
- Nature Careers
- New York University
- Princeton University
- Stanford University
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of North Carolina at Chapel Hill
- University of Silesia in Katowice
- Aarhus University
- Austrian Academy of Sciences, The Human Resource Department
- Baylor College of Medicine
- CEA
- Cal Poly Pomona
- Chalmers University of Technology
- Cleveland State University
- Embry-Riddle Aeronautical University
- European Space Agency
- Forschungszentrum Jülich
- Harvard University
- IMT Nord Europe
- INESC ID
- INSAIT - The Institute for Computer Science
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Karolinska Institutet (KI)
- Kennesaw State University
- Langston University
- McGill University
- Mälardalen University
- Polytechnic of Leiria
- Rice University
- SciLifeLab
- The University of Arizona
- U.S. Department of Energy (DOE)
- University of Agriculture in Krakow
- University of Glasgow
- University of Liverpool
- University of Maryland
- University of Oxford
- University of Saskatchewan
- University of Virginia
- University of Zurich Blockchain Center
- Vanderbilt University
- Åbo Akademi University
- 66 more »
- « less
-
Field
-
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
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the
-
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
-
speech recognition, speech synthesis, speaker verification, voice conversion, and machine learning. Responsibilities: Develop and implement algorithms for real-time speech anonymization. Conduct research
-
and solving problems under uncertainty, from either an AI, robotics, or verification perspective, and an ability to manage own academic research and associated activities. Informal enquiries may be
-
investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history
-
employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check. Equal