Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Science
- Engineering
- Biology
- Education
- Social Sciences
- Mathematics
- Materials Science
- Arts and Literature
- Humanities
- Environment
- Law
- Psychology
- Philosophy
- Chemistry
- Linguistics
- Sports and Recreation
- Earth Sciences
- Electrical Engineering
- Design
- Physics
- Statistics
- 15 more »
- « less
-
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
-
are still in progress at the closing time of 12:00 noon (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
-
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
-
The expert will participate in the necessary methodological developments and analyses of airborne data recorded by the IAGOS research infrastructure (https://www.iagos.org ) and from other networks, to provide
-
Astrophysics/Computer Science. The successful applicant will join the star and planet formation research group led by Dr Emma Whelan. For more information on the work of the group please see https
-
crunching to make decisions automatically and to let humans make informed decisions, too. Across FIT, we have at least one dozen academics working in the greater space of "energy" (optimisation, modelling
-
) 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 submitted by
-
provisions. Closing Date: 23:30hrs (local Irish time) on Tuesday, 31st of March 2026. Please note all applications must be made via our Online Recruitment Portal at the following link: https
-
applications. Provide support of basic telephony applications such as mobile devices, voicemail, and Automatic Call Distribution. Create and maintain support documentation in a central Knowledge Base. Utilize a
-
are still in progress at the closing time on the specified closing date will be cancelled automatically by the system. Late applications will not be accepted. Maynooth University is an equal opportunities