Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- United Kingdom
- Singapore
- Australia
- Norway
- Portugal
- Hong Kong
- Canada
- Germany
- Ireland
- Italy
- Netherlands
- Switzerland
- Finland
- New Zealand
- China
- Spain
- Japan
- Austria
- Saudi Arabia
- Belgium
- Denmark
- Sweden
- Croatia
- Estonia
- Sao Tome and Principe
- Cyprus
- France
- Mexico
- Taiwan
- Andorra
- Iceland
- India
- Lebanon
- Malaysia
- Morocco
- Slovakia
- Worldwide
- 28 more »
- « less
-
Employer
- Nanyang Technological University
- Harvard University
- National University of Singapore
- Zintellect
- University of Oslo
- Hong Kong Polytechnic University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Indiana University
- University of British Columbia
- The University of Queensland
- Center for Drug Evaluation and Research (CDER)
- University of Michigan
- University of Birmingham
- University of Nottingham
- UNIVERSITY OF SOUTHAMPTON
- City of Hope
- Monash University
- University of Bergen
- King's College London
- University of Sydney
- DAAD
- Cornell University
- University of London
- INESC TEC
- University of Maryland, Baltimore
- University of Oxford
- University of New South Wales
- University of Texas at Austin
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Yale University
- Center for Devices and Radiological Health (CDRH)
- Northeastern University
- Queen's University Belfast
- Trinity College Dublin
- UNIVERSITY OF SURREY
- University of Manchester
- Florida International University
- LINGNAN UNIVERSITY
- University of Melbourne
- NTNU - Norwegian University of Science and Technology
- UCL;
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Algarve
- ;
- Macquarie University
- Princeton University
- University of California
- University of Southampton;
- Missouri University of Science and Technology
- University of Texas Rio Grande Valley
- CRANFIELD UNIVERSITY
- Center for Biologics Evaluation and Research (CBER)
- Humboldt-Universität zu Berlin
- QUEENS UNIVERSITY BELFAST
- Queen's University Belfast;
- The University of Southampton
- University of Leeds
- University of Otago
- Carnegie Mellon University
- Curtin University
- Dana-Farber Cancer Institute (DFCI)
- National Center for Toxicological Research (NCTR)
- Plymouth University
- Universidade do Minho
- University of Kansas Medical Center
- University of North Carolina at Charlotte
- University of Oxford;
- Ellison Institute of Technology
- King Abdullah University of Science and Technology
- The University of Alabama
- UNIVERSITY OF MELBOURNE
- University of Agder
- University of Colorado
- University of Leeds;
- University of Minho
- University of Notre Dame
- University of South-Eastern Norway
- University of Stavanger
- University of Surrey
- ADELAIDE UNIVERSITY
- Dalhousie University
- Johns Hopkins University
- Nottingham Trent University
- Politécnico de Leiria
- RMIT University
- Singapore University of Technology & Design
- UNIVERSITY OF NOTTINGHAM NINGBO CHINA
- University of Cambridge;
- University of Sussex;
- University of Warwick;
- University of Washington
- IMD Business School
- INESC ID
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Naturalis
- Pennsylvania State University
- University of Bristol
- University of Michigan - Ann Arbor
- 90 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Science
- Materials Science
- Chemistry
- Mathematics
- Humanities
- Earth Sciences
- Psychology
- Social Sciences
- Arts and Literature
- Environment
- Business
- Electrical Engineering
- Linguistics
- Education
- Law
- Philosophy
- Physics
- Sports and Recreation
- Statistics
- Design
- 15 more »
- « less
-
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
-
verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted reasoning. Candidates do not need to cover all these areas: the researchers can focus on different parts of the project according
-
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
-
, drafting manuscript sections, and managing publication submission; · Data Safety. Regularly monitors data safety protocols for adherence to best practices in the responsible conduct of research
-
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
-
, drafting manuscript sections, and managing publication submission; · Data Safety. Regularly monitors data safety protocols for adherence to best practices in the responsible conduct of research
-
Apply now to join FAU on its race to excellence. For more information on everything FAU has to offer, please visit www.fau.edu/jobs . Note: Current FAU employees must apply as an internal applicant
-
computer programming Knowledge in traffic safety, urban transportation studies, traffic flow theory, operation research Strong written and verbal communication skills We regret to inform that only
-
institutional, ethical, and data governance requirements. Manage research databases, maintain accurate study records, and oversee the secure storage and handling of research data in accordance with institutional
-
. Approval of remote and hybrid work is not guaranteed regardless of work location. For additional information on remote work at Penn State, see Notice to Out of State Applicants . JOB DESCRIPTION AND POSITION