Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Croatia
- Netherlands
- Canada
- Australia
- Spain
- Singapore
- Austria
- Italy
- Worldwide
- Finland
- United Arab Emirates
- Czech
- Greece
- Latvia
- Switzerland
- China
- Andorra
- Armenia
- Cyprus
- Estonia
- Hong Kong
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- South Africa
- 29 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Social Sciences
- Business
- Environment
- Arts and Literature
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Philosophy
- Earth Sciences
- Design
- Sports and Recreation
- Physics
- 14 more »
- « less
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
. 123/2019, of August 28; FCT Regulation for Research Studentships and Fellowships, available on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will be
-
of the Regulation, namely: a) To support the execution of the laboratory activities foreseen within the scope of the project, namely the development of methods for quantification and screening of pharmaceutical
-
Geography, and the like Demonstrated analytical, programming, or numerical methods skills (e.g., C++, Fortran, Python, R, Matlab). The candidate must be fluent in written and spoken English and Portuguese
-
. More information available at: https://www.uc.pt/academicos/graus/reconhecimentos . The failure to present the recognition of the degree at the time of contracting, under the terms of Decree-Law nr. 66
-
the fee until the final ranking. More information available at: https://www.uc.pt/academicos/graus/reconhecimentos . The failure to present the recognition of the degree at the time of contracting, under
-
Recruitment Procedure 1. Release Recruitment Information Release recruitment information to the public through the website of the Department of Teache’s Work, Linyi University (http://rsc.lyu.edu.cn ). 2
-
of powerful computing tools, and innovation in quantitative and qualitative research methods are opening a new frontier for social scientists to explore bold, inventive research questions. In this era
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 10 hours ago
Coordination where community concerns are addressed through adherence to all zoning regulations, permit requirements and development agreements. Responsible for the planning and management of formal capital