Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Education
- Computer Science
- Social Sciences
- Business
- Engineering
- Medical Sciences
- Biology
- Environment
- Psychology
- Earth Sciences
- Statistics
- Chemistry
- Design
- Law
- Humanities
- Physics
- Mathematics
- Materials Science
- Electrical Engineering
- Arts and Literature
- Science
- Linguistics
- Economics
- Philosophy
- Sports and Recreation
- 15 more »
- « less
-
enable them to behave in ways that better align with user expectations or provide meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods
-
better align with user expectations or provide meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods, develop techniques that help
-
Halle Institute for Economic Research (IWH) - Member of the Leibniz Association | Halle, Vlaanderen | Belgium | 28 days ago
potential for academic excellence. A focus on Labor and Finance , Financial Intermediation, or Corporate Finance is particularly useful. Applicants are expected to employ rigorous quantitative methods
-
Studentships and Fellowships, available on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will develop at IDMEC - Institute of Mechanical Engineering, bei
-
threat to the trustworthiness of news in the media and forensic processes in criminal investigations. Therefore, development of reliable methods to detect manipulations and distinguish bonafide from
-
Skip to main content Assistant Teaching Professor Quantitative Methods-Psychology Apply now to Assistant Teaching Professor Quantitative Methods-Psychology Job #JPF05480 Psychology / College of
-
software requirements Formal methods for software systems and software architectures AI-Driven Software Development and Assurance AI-driven software development processes Verification of AI systems
-
Tenure-Track Assistant Professor / Associate Professor in AI-Driven SW Specification, Development...
traceability Requirements-to-code transformation Requirements-to-architecture transformation Requirements-to-test transformation Autoformalization of software requirements Formal methods for software systems
-
Mathjobs.org | 29 days ago
, uncertainty quantification and probabilistic methods, and integrating any area of mathematics research and AI. The successful candidate will be expected to develop a leading research program, contribute to
-
, uncertainty quantification and probabilistic methods, and integrating any area of mathematics research and AI. The successful candidate will be expected to develop a leading research program, contribute to