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 Kansas
- 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
- Texas A&M University
- University of California Irvine
- University of Florida
- University of Washington
- Warsaw University of Technology
- Washington University in St. Louis
- Wroclaw University of Science and Technology
- 14 more »
- « less
-
Field
-
the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We
-
, 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
-
governance of AI agents Formal specification and verification techniques for AI-enabled systems AI systems for enterprise and cybersecurity applications AI compliance, risk assessment, and trustworthy AI
-
of study visits and management of trial documentation. Collection, verification, and quality control of clinical data. Management and maintenance of research databases. Coordination with
-
basis not to exceed 6-months. Appointment duration will be extended upon final verification of degree. This position requires a formal degree in the cited discipline area(s) to ensure that candidates have
-
-clinical research programs continue to expand, we are specifically seeking a candidate with rigorous, formal training in fundamental immunology to drive the in vivo and molecular arm of our lab. While the PI
-
of the research project • Contributing to the preparation, coordination, and follow-up of study-related clinical activities • Assisting with the collection, verification, and documentation
-
for extreme-scale, heterogeneous computing. This role sits at the intersection of compiler infrastructure, formal verification, runtime systems, and hardware/software co‑design—expanding into emerging paradigms
-
verification of degree. This position requires a formal degree in the cited discipline area(s) to ensure that candidates have advanced knowledge, analytical skills and professional competencies necessary
-
-clinical research programs continue to expand, we are specifically seeking a candidate with rigorous, formal training in fundamental immunology to drive the in vivo and molecular arm of our lab. While the PI