Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nanyang Technological University
- National University of Singapore
- Charles Sturt University
- King's College London
- University of British Columbia
- Singapore Institute of Technology
- Dana-Farber Cancer Institute (DFCI)
- Ellison Institute of Technology
- University of Oslo
- University of Michigan
- Center for Drug Evaluation and Research (CDER)
- Francis Crick Institute
- Indiana University
- Center for Devices and Radiological Health (CDRH)
- City of Hope
- University of Copenhagen
- embl
- European Space Agency
- Michigan State University
- Northeastern University
- THE UNIVERSITY OF HONG KONG
- University of Arkansas
- University of Texas at Austin
- Carnegie Mellon University
- Cold Spring Harbor Laboratory
- ETH Zurich
- New England HERC
- UNIVERSITY OF SURREY
- University of Surrey
- University of Sydney
- Cornell University
- EMBL
- Florida Atlantic University
- Ghent University
- Harvard University
- LINGNAN UNIVERSITY
- Queensland University of Technology
- SUNY University at Buffalo
- Simons Foundation
- The University of Queensland
- UNIVERSITY OF SOUTHAMPTON
- University of Central Lancashire
- University of Sheffield
- Yale University
- Aalborg University
- Aarhus University
- Auburn University
- Baylor College of Medicine
- Central Michigan University
- Mathjobs.org
- National Center for Toxicological Research (NCTR)
- North China University of Water Resources and Electric Power
- Nottingham Trent University
- Office of the Commissioner (OC)
- OsloMet
- Queen's University Belfast
- Saint Louis University
- Technical University of Denmark
- The Infinity Fellowship
- UNIVERSITY OF NOTTINGHAM NINGBO CHINA
- UNIVERSITY OF SYDNEY
- University of Birmingham
- University of Colorado
- University of Exeter
- University of Idaho
- University of Leeds
- University of Maryland, Baltimore
- University of New Mexico
- University of Notre Dame
- University of Nottingham
- Westlake University
- AALTO UNIVERSITY
- AITHYRA GmbH - Research Institute for Biomedical Artificial Intelligence of the Austrian Academy of Sciences
- Aalto University
- Adelaide University
- Argonne
- Australian National University
- Birkbeck University of London
- Blinn College
- CRANFIELD UNIVERSITY
- CSIRO
- Center for Biologics Evaluation and Research (CBER)
- Cleveland Clinic
- Colorado State University
- Columbia University
- Cranfield University
- DURHAM UNIVERSITY
- Deakin University
- Duke-NUS
- Ivy Tech Community College
- Kentucky State University
- King Abdullah University of Science and Technology
- King Abdullah University of Science and Technology (KAUST
- LIVERPOOL JOHN MOORES UNIVERSITY
- La Trobe University
- Lake Superior State University
- Lawrence Livermore National Laboratory
- Liverpool John Moores University
- London School of Economics and Political Science
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- 90 more »
- « less
-
Field
-
interactive activities to raise awareness of, and aspirations towards, higher education. As an Education Outreach Fellow (EOF), you will work as part of a highly motivated, professional team
-
into actionable plans. • Support dissemination: academic papers, toolkits, demonstrations, and research reports. Qualifications • PhD in HCI, UX Research, Interactive Media, XR, Computer Science
-
applicants with strong expertise in Isabelle/HOL or other interactive theorem provers, formal verification and security, or neurosymbolic AI and AI-assisted reasoning. Deep expertise in Isabelle/HOL will be
-
applicants with strong expertise in Isabelle/HOL or other interactive theorem provers, formal verification and security, or neurosymbolic AI and AI-assisted reasoning. Deep expertise in Isabelle/HOL will be
-
, prototypes, renderings and communicate with stakeholders. Work on projects that spread across product development, print, packaging, video storytelling, brand identity, and interactive projects for
-
interactive theorem proving, formal verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted reasoning. Candidates do not need to cover all these areas: the researchers can focus
-
, analyze agronomic datasets, and develop interactive web-based decision-support tools using R and Shiny applications. Unit URL https://www.uidaho.edu/agricultural-life-sciences/academics/plant-sciences
-
state-of-the-art AI models and computing infrastructure. About you We are interested in candidates with expertise in one or more of interactive theorem proving, formal verification, information-flow
-
of interactive theorem proving, formal verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted reasoning. Candidates do not need to cover all these areas: the researchers can
-
startups, innovation ecosystems, and leadership practices • Design and implement impact metrics to evaluate innovation programmes and outcomes • Create interactive and experiential learning