Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- AGH University of Krakow
- Chalmers University of Technology
- EPFL
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- INCLIVA Biomedical Research Institute
- Indiana University
- KTH Royal Institute of Technology
- Luxembourg Institute of Science and Technology
- Poznan University of Technology
- Stanford University
- Texas A&M University
- University of California Irvine
- University of Florida
- University of Kansas
- University of Luxembourg
- University of Washington
- Warsaw University of Technology
- Washington University in St. Louis
- 9 more »
- « less
-
Field
-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
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
-
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
-
(12.10.2026 – 11.10.2028), Remuneration: 13 333 PLN gross-gross monthly Selection process verification of formal eligibility, merit-based assessment of the submitted documents, Additional comments Selected
-
Airports Council International for many years. For additional information on life in Indy: https://faculty.medicine.iu.edu/relocation/. Job Summary Research Duties and Responsibilities Design, conduct, and
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
of study visits and management of trial documentation. Collection, verification, and quality control of clinical data. Management and maintenance of research databases. Coordination with
-
, benchmarking, and testing of AI systems Runtime monitoring and governance of AI agents Formal specification and verification techniques for AI-enabled systems AI systems for enterprise and cybersecurity