Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Netherlands
- Germany
- Sweden
- France
- Luxembourg
- Spain
- Belgium
- Canada
- Italy
- Singapore
- Croatia
- Czech
- Australia
- Finland
- United Arab Emirates
- Austria
- Ukraine
- Switzerland
- Greece
- Japan
- Worldwide
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- Morocco
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Mathematics
- Law
- Chemistry
- Business
- Psychology
- Social Sciences
- Arts and Literature
- Humanities
- Environment
- Linguistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Philosophy
- 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
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
of a mixed-age participatory decision-making methodology based on gamified MCDA tools. The work will begin with the refinement and formalization of the theoretical and methodological framework, including
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
. 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/#documentos-relacionados
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
. Duration: The research fellowship will have the duration of 12 months. It’s expected to begin in March/2025 and may be renewed. It is mandatory to formalize applications with the submission of the following
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
expected to begin on 1 April 2026, and may be eventually renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
. 123/2019, of August 28; FCT Regulation for Research Studentships and Fellowships, available on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will be