Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- Norway
- United Kingdom
- Netherlands
- Germany
- Sweden
- France
- Luxembourg
- Spain
- Australia
- Belgium
- Croatia
- Czech
- Italy
- Singapore
- Canada
- United Arab Emirates
- Finland
- Austria
- Ukraine
- Worldwide
- Switzerland
- Greece
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Japan
- Lithuania
- Morocco
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Law
- Chemistry
- Business
- Psychology
- Social Sciences
- Environment
- Humanities
- Arts and Literature
- Linguistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 19 days ago
: This grant aims to develop methods based on reachability analysis to design robust MPC controllers for the final approach of a tethered spacecraft for active debris removal. This grant will investigate
-
higher education institution, it must comply with the provisions of Decree-Law no. 66/2018 of 16th August, and all formalities established therein must be complied with at the signature of Fellowship
-
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
-
in linguistics, with a focus on teaching and advising in formal semantics. The ability to teach and advise students in another area in addition to semantics is a plus. The lecturer will be responsible
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
computing, machine learning, natural language processing, networking, distributed systems, operating systems, programming languages, formal methods, real-time systems, security and cryptography, and theory
-
on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will developed at IDMEC - Institute of Mechanical Engineering, being both the Host and Contracting Entity, and
-
, 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
-
formalities established therein must be complied with at the signature of Fellowship contract. Preferred requirements: Immediate availability (indicated in the motivation letter); Good academic curricular