Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of Texas at Austin
- University of New South Wales
- Johns Hopkins University
- Nanyang Technological University
- Politécnico de Leiria
- University of Washington
- Universidade Católica Portuguesa - Porto
- Harvard University
- National University of Singapore
- University of Cincinnati
- Macquarie University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Bowdoin College
- Trinity College Dublin
- UiT The Arctic University of Norway
- Washington University in St. Louis
- ;
- Center for Biologics Evaluation and Research (CBER)
- Center for Drug Evaluation and Research (CDER)
- Columbus State University
- European Space Agency
- Fields Institute
- Hong Kong Polytechnic University
- Indiana State University
- Indiana University
- Instituto de Educação da Universidade de Lisboa
- Singapore University of Technology & Design
- Tohoku University
- UNIVERSITY OF SURREY
- Universidade de Coimbra
- University of Bergen
- University of British Columbia
- University of Liverpool
- University of Maryland, Baltimore
- University of Oslo
- University of Otago
- University of Saskatchewan
- University of Sheffield
- 29 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
-
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
-
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
-
verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong
-
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
-
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
-
verification; and ensuring effective stakeholder communication, reporting, and successful project delivery.
-
an investigation conducted by the employer, or (c) consistent with the contractor’s legal duty to furnish information. ---- Employment Eligibility Verification: If hired, you will be required to complete the federal
-
the contractor’s legal duty to furnish information. ---- Employment Eligibility Verification: If hired, you will be required to complete the federal Employment Eligibility Verification I-9 form. You will be