Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Germany
- Luxembourg
- Netherlands
- Belgium
- Croatia
- Spain
- Australia
- Canada
- Singapore
- Austria
- United Arab Emirates
- Worldwide
- Finland
- Italy
- Czech
- Greece
- Latvia
- Switzerland
- China
- Japan
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Law
- Mathematics
- Materials Science
- Education
- Chemistry
- Business
- Social Sciences
- Arts and Literature
- Environment
- Psychology
- Linguistics
- Electrical Engineering
- Humanities
- Philosophy
- Earth Sciences
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
: Prof. Dr. Roman Jerala) Chemical Engineering– 2 vacancies (mentors: Assist. Prof. Dr. Uroš Novak and Dr. Albin Pintar) Computationally Intensive Methods and Applications – 2 vacancies (mentors: Dr. Tilen
-
activities and events such as educational meetings, workshops, tours, field days and other methods. Evaluates and assesses program effectiveness. Prepares required reports. Serves on boards and committees as
-
the Competition and Job Offers of the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified document is
-
directly by the FCT, I.P. in the country (https://www.fct.pt/apoios/bolsas/valores ). The period of payment of the scholarship is monthly and through bank deposit, check or another equivalent method
-
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
-
Research Council rate (currently set at £20,780 p.a.) for four years. Please note the eligibility criteria set out by the UKRI at: https://www.ukri.org/what-we-do/developing-people-and-skills/esrc/funding
-
, according to the table of values for scholarships awarded directly by FCT, I.P. in Portugal (http://alfa.fct.mctes.pt/apoios/bolsas/valores ). VIII. Selection methods: the following criteria will be applied
-
California State University, San Bernardino | San Bernardino, California | United States | 13 days ago
moved forward in the recruitment process. Formal review of applications will be as needed. If you are interested in this opportunity, we invite you to apply by using this CSU Recruit Hyperlink at: https
-
, with the candidate(s) being exempt from paying the fee until the final ranking. More information available at: https://www.uc.pt/academicos/graus/reconhecimentos. ; The failure to present
-
practical aspects of an analytical, technical or professional discipline; or the basic knowledge of more than one professional discipline. Knowledge of the discipline is normally obtained through a formal