Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Colorado State University
- University of Texas at Austin
- University of Cincinnati
- National Research Council Canada
- Politécnico de Leiria
- Universidade Católica Portuguesa - Porto
- Instituto Politécnico de Bragança
- Harvard University
- University of New South Wales
- University of Washington
- Massachusetts Institute of Technology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Saskatchewan
- Washington University in St. Louis
- Lawrence Berkeley National Laboratory
- Nanyang Technological University
- Oak Ridge National Laboratory
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Nottingham
- Binghamton University
- CNRS
- Carnegie Mellon University
- Centro de Investigação em Psicologia (CIPsi)
- Chippewa Valley Technical College
- ETH Zürich
- INESC TEC
- Indiana University
- Japan International Research Center for Agricultural Sciences
- KINGS COLLEGE LONDON
- King's College London
- Lancaster University
- Libera Università di Bolzano
- Macquarie University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nature Careers
- OsloMet
- Queen's University Belfast
- Texas A&M AgriLife
- Texas A&M University
- The University of Edinburgh;
- UCL;
- UNIVERSITY OF NEW SOUTH WALES
- UNIVERSITY OF SOUTHAMPTON
- UiT The Arctic University of Norway
- University of Agder
- University of Bergen
- University of British Columbia
- University of Maryland
- University of North Carolina at Charlotte
- Vanderbilt University
- 40 more »
- « less
-
Field
-
The University of Southampton (UoS), in partnership with Ingenium Biometric Laboratories (IBL), is seeking a Research Fellow to design and implement a software framework for the testing of age estimation technologies (AET) from facial images. This is an exciting opportunity to contribute to...
-
for Electronics Testing & Verification automation. The position will be based at the King’s Buildings Campus. The Opportunity: This position is affiliated with the UKRI APRIL AI Hub that aspires to develop AI tools
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 3 hours ago
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level
-
) are encouraged to apply. Applicants must have their Ph.D. by the end of January 2026* or a letter from the degree-granting institution’s registrar’s office as a verification document confirming that
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
Prof. Nada Amin at Harvard SEAS. The postdoctoral fellow should be interested in the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large
-
: The successful candidate will be expected to undertake research in areas such as security verification within Electronic Design Automation (EDA) tools, side-channel analysis, fault attacks, hardware Trojan
-
perspective that Indigenous employees provide to strengthen these relationships. Verification of Indigenous Membership/Citizenship at the University of Saskatchewan is led and determined by the deybwewin
-
Eligibility Verification: If hired, you will be required to complete the federal Employment Eligibility Verification I-9 form. You will be required to present acceptable and original documents to prove your