Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- France
- Luxembourg
- Netherlands
- Sweden
- Spain
- Australia
- Croatia
- Czech
- Austria
- Belgium
- Canada
- Singapore
- United Arab Emirates
- Italy
- Ukraine
- Finland
- Ireland
- Slovenia
- Worldwide
- Malaysia
- China
- Greece
- Iceland
- Japan
- Morocco
- Romania
- Switzerland
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Materials Science
- Education
- Mathematics
- Business
- Chemistry
- Law
- Environment
- Psychology
- Linguistics
- Social Sciences
- Humanities
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Philosophy
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
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
-
methods to track learning curves and quantify operator skill progression over repeated tasks, identifying points where adaptive haptic guidance can be most effective. At the same time, insights from expert
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
related discipline with focus on formal methods completed or close to completion; Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security
-
Responsibilities Conduct foundational research in adversarial machine learning, exploring novel attack vectors and defense mechanisms for AI agents and large language models. Develop formal verification methods and
-
position within a Research Infrastructure? No Offer Description The Division of Synchrotron Radiation Research (http://www.sljus.lu.se ) is a part of the Department of Physics and has more than 50 employees
-
nr. 66/2018, of August, 16th, and the Ordinance nr. 33/2019, of January, 25th. It is mandatory to present the certificate to sign the contract. More information is available on: https://www.dges.gov.pt
-
the Decree-Law nr. 66/2018, of August, 16th, and the Ordinance nr. 33/2019, of January, 25th. It is mandatory to present the certificate to sign the contract. More information is available on: https
-
Portugal (https://www.fct.pt/fct-atualizou-o-valor-das-bolsas-para-2025/ ),the amount of the monthly maintenance allowance is € 1309.64, being the payment method by Wire Transfer. Selection methods