Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- University of Oslo
- Zintellect
- Nanyang Technological University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- National University of Singapore
- Harvard University
- University of Texas at Austin
- Center for Drug Evaluation and Research (CDER)
- University of New South Wales
- Universidade de Coimbra
- University of Michigan
- University of British Columbia
- Florida International University
- Macquarie University
- University of Sydney
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- The University of Queensland
- University of Nottingham
- Hong Kong Polytechnic University
- University of Colorado
- Ellison Institute of Technology
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- UNIVERSITY OF MELBOURNE
- Center for Biologics Evaluation and Research (CBER)
- National Center for Toxicological Research (NCTR)
- Monash University
- Pennsylvania State University
- RMIT University
- Center for Devices and Radiological Health (CDRH)
- Deakin University
- INESC ID
- King's College London
- La Trobe University
- Missouri University of Science and Technology
- Northeastern University
- Politécnico de Leiria
- QUEENS UNIVERSITY BELFAST
- The University of Chicago
- University of California, Los Angeles
- University of Sheffield
- University of Stavanger
- Centro de Engenharia Biológica da Universidade do Minho
- DAAD
- FCiências.ID
- Faculdade de Ciências e Tecnologia
- Johns Hopkins University
- Kingston University
- UNIVERSITY OF SYDNEY
- University of Cincinnati
- University of Manchester
- University of Oxford;
- ;
- ADELAIDE UNIVERSITY
- CSIRO
- Curtin University
- European Space Agency
- INESC TEC
- Indiana University
- Lawrence Berkeley National Laboratory
- Queen's University Belfast
- Singapore University of Technology & Design
- Tampere University
- Universidade Católica Portuguesa - Porto
- University of Alabama, Tuscaloosa
- University of Aveiro
- University of Birmingham
- University of Oxford
- University of Utah
- Yale University
- CCMAR – Centro de Ciências do Mar do Algarve
- CECS-Communication and Society Research Centre
- California Institute of Technology
- Carnegie Mellon University
- Cornell University
- Faculdade de Ciências da Universidade de Lisboa
- Flinders University
- Humboldt-Universität zu Berlin
- Institute of Science and Technology Austria
- Institute of Science and Technology Austria (ISTA)
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Geografia e Ordenamento do Território da Universidade de Lisboa
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- Nottingham Trent University
- Oden Institute for Computational Engineering and Sciences
- Plymouth University
- Queen's University Belfast;
- Rutgers University
- Sheffield Hallam University;
- TAIPEI MEDICAL UNIVERSITY (TMU)
- TAMPERE UNIVERSITY
- The Ohio State University
- The University of Alabama
- UCL;
- UNIVERSITY OF CANBERRA
- UNIVERSITY OF NOTTINGHAM NINGBO CHINA
- UNIVERSITY OF SOUTHAMPTON
- Universidade Nova de Lisboa
- University of Bristol
- University of California
- University of Glasgow
- 90 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Economics
- Engineering
- Biology
- Science
- Humanities
- Materials Science
- Mathematics
- Social Sciences
- Earth Sciences
- Environment
- Chemistry
- Electrical Engineering
- Business
- Education
- Law
- Psychology
- Arts and Literature
- Physics
- Linguistics
- Philosophy
- Sports and Recreation
- 13 more »
- « less
-
, Malaysia, Singapore, and Brunei. The role emphasizes theory informed, policy relevant scholarship on security, political economy, and regional order in maritime Southeast Asia. Research and publications
-
at the laboratory level while adhering to institutional processes. Laboratory Safety & Compliance Support the implementation of laboratory safety practices in alignment with IDMxS safety policies and regulatory
-
Invention Agency (ARIA), working at the intersection of Isabelle/HOL, the seL4 verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally-verified
-
participation in periodic reviews of laboratory safety and compliance.
-
Assistant [Appointment period: each for twelve months] Duties The appointees will assist the project leader in the research project - “Fire safety and smart firefighting”. Qualifications Applicants
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally
-
offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally
-
building secure, reliable, and responsible AI systems? We are seeking a talented and driven Research Fellow (Level A) to join our dynamic team and make high-impact contributions to the critical fields
-
and Gas Networks Ireland, to strengthen the resilience of critical infrastructure across Ireland and Northern Ireland. The post focuses on research into network security for critical infrastructure