Sort by
Refine Your Search
-
Listed
-
Country
- United States
- Portugal
- Poland
- United Kingdom
- Denmark
- Sweden
- France
- Croatia
- Belgium
- Canada
- Australia
- Germany
- Luxembourg
- Spain
- Austria
- Singapore
- Greece
- Latvia
- Netherlands
- Norway
- Worldwide
- China
- United Arab Emirates
- Andorra
- Armenia
- Czech
- Hungary
- Ireland
- Italy
- Lithuania
- Saudi Arabia
- South Africa
- 22 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Business
- Law
- Social Sciences
- Environment
- Linguistics
- Psychology
- Chemistry
- Arts and Literature
- Humanities
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Design
- 13 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
-
manager of the hiring entity. 15. Formalization of applications: 15.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1450, until de 23h59m (local time) of 20/04
-
the tender notice. The final decision on hiring is the responsibility of the top manager of the hiring entity. 15. Formalization of applications: 15.1. Applications must be formalized at http://www.fe.up.pt
-
090,98 paid by bank transfer (according to FCT values table: https://www.fct.pt/wp-content/uploads/2026/03/Tabela-de-Valores-SMM-202… ), supported though PAD no. C69621 and C69622. 8. SELECTION METHODS
-
manufacturing technologies. Operating within a rapidly evolving field, the coordinator independently analyzes new materials, fabrication methods, and digital techniques that extend beyond formal training
-
be formalized through the electronic address. recrutamento@morecolab.pt , with indication in the subject of the following reference “MORE26/BioHyCarb /BIOB3”,and the mandatory documents until April 19
-
. Formal qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other
-
improve system coordination and effectiveness for Iowa families. (https://i2d2.iastate.edu/). We are a motivated, action-oriented team that values communication and collaboration. We operate a blend of
-
Application: The application must be formalized through the electronic address. recrutamento@morecolab.pt , with indication in the subject of the following reference “MORE26/BioHyCarb /BIOB4”,and the mandatory
-
instructor is expected to incorporate the latest best-practice teaching methods to engage a diverse student population consisting of roughly equal numbers of highly motivated international and Saudi students