Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- Chalmers University of Technology
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Texas A&M AgriLife
- University of Luxembourg
- AGH University of Krakow
- CNRS
- EPFL
- INCLIVA Biomedical Research Institute
- Indiana University
- KTH Royal Institute of Technology
- Lehigh University
- Luxembourg Institute of Science and Technology
- Oak Ridge National Laboratory
- Poznan University of Technology
- Stanford University
- University of California Irvine
- University of Florida
- University of Kansas
- University of Washington
- Warsaw University of Technology
- Washington University in St. Louis
- Wroclaw University of Science and Technology
- 13 more »
- « less
-
Field
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
scientific life. Selection process The first stage of the competition procedure is the formal verification of the submitted documents. Offers that pass formal verification are subject to substantive evaluation
-
-0157/25], carried out under the First Team programme of the Foundation for Polish Science, co-financed by the European Union under the European Funds for Smart Economy 2021–2027 (FENG). Quantitative
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
is the capital and most populous city in the State of Indiana. It is growing economically thanks to a strong corporate base anchored by the life sciences. Indiana is home to one of the largest
-
7 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Programming Computer science » Other Researcher Profile Recognised Researcher (R2
-
methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The Department of Computer Science and Engineering , a joint
-
holding a PhD in computer science or artificial intelligence, with a strong taste for formal modelling. Experience in several of the following areas will be particularly appreciated: symbolic AI (planning
-
19 Jun 2026 Job Information Organisation/Company Chalmers University of Technology Research Field Computer science » Computer architecture Computer science » Programming Computer science » Other