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 13 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
-
media and other internet sources. A prior conviction reported as a result of the background investigation DOES NOT automatically disqualify a candidate from consideration for this position. A candidate
-
investigation and information obtained from social media and other internet sources. A prior conviction reported as a result of the background investigation DOES NOT automatically disqualify a candidate from
-
result of the background investigation DOES NOT automatically disqualify a candidate from consideration for this position. A candidate with a prior conviction or negative behavioral red flags will receive