Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Sweden
- Luxembourg
- Czech
- Australia
- Belgium
- Canada
- Singapore
- Austria
- Croatia
- United Arab Emirates
- Italy
- Finland
- Ukraine
- Greece
- Worldwide
- Ireland
- Slovenia
- Switzerland
- China
- Estonia
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Law
- Chemistry
- Mathematics
- Business
- Social Sciences
- Psychology
- Linguistics
- Environment
- Humanities
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Design
- Sports and Recreation
- Philosophy
- Physics
- 14 more »
- « less
-
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
-
-generation into medical device software development processes. You will be trained to carry out research that combines software engineering, formal methods, and safety assurance. You are not expected to have
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 3 hours ago
awarded by FCT in Portugal (https://www.fct.pt/fct-atualizou-o-valor-das-bolsas-para-2025/ ), the amount of the monthly maintenance allowance is € 1040,98, being the payment method an option of the Fellow
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 3 hours ago
and may be renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros
-
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 | about 4 hours ago
this scholarship will carry out two main tasks: first, to conduct an iterative user-centred development process to improve the web platform https://dclgp.dcitizens.eu/ ; and second, to develop a back-end to be used
-
until the grant's contract is done; proven previous experience with articles published in first quartile journals (Q1) on the Discontinuous Galerkin Finite Element Method (DGFEM); experience implementing