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
-
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
-
Project), automatically generate surface models and compositional variants, and carry out analysis and machine-learning modeling of the resulting data. Essential Duties and Responsibilities: You will extend
-
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
-
). Successful candidates will select a preferred PI and department/research group and may suggest co-mentors across the University’s rich networkfinal lists will be provided on the call website: https
-
candidates will select a preferred PI and department/research group and may suggest co-mentors across the University’s rich networkfinal lists will be provided on the call website: https://careers.univie.ac.at