Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of Texas at Austin
- University of New South Wales
- Nanyang Technological University
- Johns Hopkins University
- University of Washington
- Harvard University
- National University of Singapore
- Politécnico de Leiria
- Universidade Católica Portuguesa - Porto
- University of Cincinnati
- Macquarie University
- National Research Council Canada
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Trinity College Dublin
- University of Sheffield
- Washington University in St. Louis
- ;
- Bowdoin College
- Center for Drug Evaluation and Research (CDER)
- Columbus State University
- European Space Agency
- Fields Institute
- Indiana State University
- Indiana University
- Instituto de Educação da Universidade de Lisboa
- Singapore University of Technology & Design
- Tohoku University
- UNIVERSITY OF SURREY
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Bergen
- University of British Columbia
- University of Kansas Medical Center
- University of Liverpool
- University of Maryland, Baltimore
- University of Oslo
- University of Otago
- University of Saskatchewan
- University of Sheffield;
- University of Surrey
- University of Sydney
- 32 more »
- « less
-
Field
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
Are you interested in pushing the boundaries of formal verification, cybersecurity and AI? We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and
-
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
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
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
-
-employment screening, which may include reference checks, qualification verification, right-to-work verification, and criminal history screening where relevant to the role. Compliance with the necessary
-
the associated levels of assurance, verification and acceptance criteria; developing hazard analysis methodologies tailored to AI-based systems, extending traditional approaches, such as FMEA and FTA, to address
-
Postdoctoral Fellowship; successful candidates who have received their degree within three years of the effective start date of the fellowship must provide verification of their Ph.D. Additional Qualifications
-
of the fellowship must provide verification of their Ph.D. Additional Qualifications Additional Qualifications A Ph.D. in astronomy, physics, engineering, applied mathematics, computer science, or a closely related
-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving