Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- University of Texas at Austin
- ;
- Durham University
- Technical University of Munich
- Universidade Católica Portuguesa - Porto
- University of Silesia in Katowice
- Aalborg University
- Aarhus University
- CEA
- CNRS
- Cal Poly Pomona
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Harvard University
- INESC ID
- KTH Royal Institute of Technology
- Mälardalen University
- Nature Careers
- New York University
- SciLifeLab
- Texas A&M University
- The University of Arizona
- Télécom Paris
- University of Agriculture in Krakow
- University of Liverpool
- University of Zurich Blockchain Center
- 17 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
-
Sign In Create Profile Postdoctoral Research Associate (Electrical and Computer Engineering) Tucson, AZ, United States | req22541 Apply Now Share Save Job Posted: 5/2/2025 Back to Search
-
opportunities. Read more here . About the STAR Lab Led by Dr. Hazem Torfah, STAR is part of the Computing Science Division within the Department of Computer Science and Engineering (CSE). Our interdisciplinary
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
27 Feb 2025 Job Information Organisation/Company CNRS Department Institut de recherche en informatique et systèmes aléatoires Research Field Computer science Mathematics » Algorithms Researcher
-
. Qualifications requirements The applicant is required to have a PhD degree in Computer Science, Software Engineering, or related fields. The applicant must have completed the degree no more than three years before
-
Qualifications PhD in Computer Science, Software Engineering, FinTech Strong programming skills in Solidity and other smart contract languages Experience with blockchain platforms and development tools Proven
-
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
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore