Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Colorado State University
- University of Cincinnati
- University of Texas at Austin
- Politécnico de Leiria
- National Research Council Canada
- Instituto Politécnico de Bragança
- Harvard University
- Universidade Católica Portuguesa - Porto
- Nanyang Technological University
- University of New South Wales
- Massachusetts Institute of Technology
- King's College London
- Oak Ridge National Laboratory
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- UiT The Arctic University of Norway
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Bergen
- University of Saskatchewan
- University of Washington
- Binghamton University
- CNRS
- Carnegie Mellon University
- Centro de Investigação em Psicologia (CIPsi)
- Chippewa Valley Technical College
- ETH Zürich
- Indiana University
- Instituto Politécnico de Beja
- Instituto Superior de Economia e Gestão
- Johns Hopkins University
- KINGS COLLEGE LONDON
- Lancaster University
- Lancaster University;
- Lawrence Berkeley National Laboratory
- Libera Università di Bolzano
- Macquarie University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Renewable Energy Laboratory NREL
- Nature Careers
- OsloMet
- Polytechnic University
- Texas A&M AgriLife
- The Norwegian Polar Institute
- The University of Edinburgh;
- UCL;
- University of Agder
- University of Birmingham
- University of British Columbia
- University of Maryland
- University of Nottingham
- Vanderbilt University
- 40 more »
- « less
-
Field
-
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
-
of Birmingham is inviting applications for a Research Fellow position focused on Machine Learning for Automated Formal Verification. Machine learning has transformed programming, with code generation rapidly
-
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
-
emerging industry requirements for testing and verification of energy related applications such as energy storage systems (ESS), microgrid solutions, photovoltaic (PV) inverters, and electric vehicle (EV
-
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 | taapwaywin
-
the motion of a human arm and hand based on our recent advances on clothoid curves, combined with an experimental verification that the composition of a geometric path and the superimposed speed profile
-
) 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
-
to strengthen these relationships. Verification of Indigenous Membership/Citizenship at the University of Saskatchewan is led and determined by the deybwewin | taapwaywin | tapwewin: Indigenous Truth policy and
-
forms 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