Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
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 9 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
-
(EST) of the Polytechnic Institute of Cávado and Ave (IPCA), open a call for one (1) Research Grants for Students Enrolled in Doctoral Programmes (BIED), within the scope of the project Fully Automatic
-
(EST) of the Polytechnic Institute of Cávado and Ave (IPCA), open a call for one (1) grant scholarship for students enrolled in a Master’s program, within the scope of the of the project “Fully Automatic
-
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
-
live and thrive. To find out more, visit https://www.visitarmidale.com.au/experience Enquiries and additional information To discuss this role please contact Rose Strobel, email: rstrobel@une.edu.au
-
, automatic scrubbing machines and other related equipment) Provides cleaning services in other areas as required to cover absences of other caretaking staff Reports building deficiencies Secures the building
-
Learning, or a related field. A Master’s degree is preferred. ASR/TTS Expertise Experience in training and fine-tuning Automatic Speech Recognition (ASR) or Text-to-Speech (TTS) models, preferably in
-
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