Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Colorado State University
- University of Cincinnati
- University of Texas at Austin
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Nanyang Technological University
- Harvard University
- Binghamton University
- Bowdoin College
- Singapore Institute of Technology
- George Washington University
- University of Washington
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Australian National University
- Johns Hopkins University
- National Renewable Energy Laboratory NREL
- Natural Sciences and Engineering Research Council of Canada
- QUEENS UNIVERSITY BELFAST
- Queen's University Belfast
- Texas A&M University
- The Norwegian Polar Institute
- UiT The Arctic University of Norway
- University of Birmingham
- University of British Columbia
- University of Maryland
- University of New South Wales
- University of South-Eastern Norway
- University of Surrey
- University of Virginia
- 18 more »
- « less
-
Field
-
the areas including: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL); formal modelling, verification and/or logic; interactive and automated tools, such as theorem provers and
-
Assurance and verification offerings for AI are fragmented and target specific areas of AI lifecycle (e.g. model assurance or prompt injections) without offering a unified view of the security
-
, and blockchain-based infrastructures. Formulate novel research methodologies and contribute to the development of secure architectures and verification frameworks for next generation blockchain
-
DeFi, cross-chain interoperability, and blockchain-based infrastructures. Formulate novel research methodologies and contribute to the development of secure architectures and verification frameworks
-
Assurance and verification offerings for AI are fragmented and target specific areas of AI lifecycle (e.g. model assurance or prompt injections) without offering a unified view of the security
-
into this position, you will be required to provide satisfactory proof of employment eligibility by providing acceptable, original forms of identification for employment verification via the Federal I-9 employment
-
their application materials that identifies their age, date of birth, or dates of attendance at or graduation from an educational institution. Unofficial academic transcripts or completed degree verification may be
-
eligibility by providing acceptable, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https
-
verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents Important: To apply you must
-
of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents