Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Minnesota
- The University of Chicago
- Oregon State University
- East Carolina University
- Texas A&M University
- University of Alabama, Tuscaloosa
- The University of Alabama
- University of Toronto
- Aims Community College
- University of Sheffield
- Trinity College Dublin
- Nature Careers
- University of Maryland
- University College Dublin
- University of Utah
- FLINDERS UNIVERSITY
- MAYNOOTH UNIVERSITY
- Bowdoin College
- UNIVERSITY OF VIENNA
- Baylor University
- Concord University
- Michigan State University
- University of Oklahoma
- MASARYK UNIVERSITY
- University of Vienna
- University of Washington
- Universität Wien
- University of Nevada, Reno
- Durham University
- University of Stavanger
- Great Basin College
- The California State University
- University of Chichester
- University of Minho
- Princeton University
- Nevada System of Higher Education System Office
- University of Kentucky
- INCLIVA Biomedical Research Institute
- CNRS
- Westfield State University
- University of California, San Francisco
- California State University, Fresno
- Poznan University of Medical Sciences
- University of Notre Dame
- Duke University
- Johns Hopkins University
- University of A Coruña
- University of Michigan - Ann Arbor
- University of Oxford
- Auburn University
- INESC TEC
- New York University
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University of Bergen
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Fundación Investigación del Cáncer Universidad de Salamanca
- Inria, the French national research institute for the digital sciences
- Instituto Nacional de Investigação Agrária e Veterinária, I.P.
- Instituto Superior de Agronomia
- Masaryk University
- Masaryk University - Faculty of Arts
- RCSI - Royal College of Surgeons in Ireland
- Stanford University
- University of Manchester
- University of New Mexico
- Chalmers University of Technology
- DAAD
- European Space Agency
- Fraunhofer-Gesellschaft
- NEW YORK UNIVERSITY ABU DHABI
- NOVA Information Management School (NOVA IMS)
- NTNU - Norwegian University of Science and Technology
- National University of Singapore
- Nova School of Business and Economics
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Universidade de Coimbra
- Universidade de Vigo
- University of California Davis
- University of Maryland, Baltimore
- University of Oxford;
- University of Rhode Island
- Cleveland State University
- Cornell University
- Ghent University
- Instituto Politécnico de Bragança
- NTNU Norwegian University of Science and Technology
- Syracuse University
- Texas A&M AgriLife
- University of California Merced
- University of New England
- University of Oslo
- University of Pennsylvania
- Örebro University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- California State University, Northridge
- Chalmers tekniska högskola
- Colgate University
- Copenhagen Business School
- Curtin University
- Dana-Farber Cancer Institute
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Science
- Biology
- Materials Science
- Education
- Social Sciences
- Arts and Literature
- Mathematics
- Humanities
- Law
- Psychology
- Chemistry
- Environment
- Linguistics
- Philosophy
- Earth Sciences
- Sports and Recreation
- Electrical Engineering
- Design
- Physics
- Statistics
- 15 more »
- « less
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 3 hours ago
project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within
-
usually spend a lot of time trying different optimizations manually to find the best set of optimizations. The goal of this project is to add support for automatic code optimization in Tiramisu. In
-
and engagement programme with Small to Medium Enterprises (SMEs). IVI has developed the ReThink ReDesign programme (https://ivi.ie/rethink-redesign/) which leverages research grants and supports from
-
gauges or automatic recording devices at specified intervals to verify operating conditions. Records data such as temperature of equipment, hours of operation, fuel consumption, temperature or pressure
-
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
-
(Local Irish Time) on the specified closing date will be cancelled automatically by the system. UCD are unable to accept late applications. UCD do not require assistance from Recruitment Agencies. Any CV's
-
here: https://liu.se/en/organisation/liu/isy/rt . We are looking for a tenure track assistant professor in automatic control who can strengthen our activities, either within one of our current research
-
of this project is to add support for automatic code optimization in Tiramisu. In particular, we want to use machine learning/deep learning to achieve this. Currently, a basic automatic optimization module
-
their strategies. Do you want to know more about LIST? Check our website: https://www.list.lu/ How will you contribute? You’ll be working on the testing and development of LLM-based applications to solve software
-
is framed within the scope of the FireBIM project, which aims to automatically verify the compliance of building designs with fire safety standards using BIM tools and the FireBIM platform. In