Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Luxembourg
- Aarhus University
- Chalmers University of Technology
- EPFL
- NEW YORK UNIVERSITY ABU DHABI
- Aarhus University (AU)
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- Stanford University
- Umeå University
- University of Amsterdam (UvA)
- University of Nevada Las Vegas
- University of Southern Denmark (SDU)
- University of Twente (UT)
- Warsaw University of Technology
- 10 more »
- « less
-
Field
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
statistical / machine learning methods, pathway/network analysis or artificial intelligence approaches. Other requirements: The candidate should have a PhD or equivalent degree in bioinformatics, artificial
-
, Data Science, Software Engineering, Human-AI Interaction, or a related field Proficiency in research methods commonly used in IS research, such as design science research Strong interest in publishing in
-
well as part of a team Solid quantitative and empirical research skills, including experience with econometric methods and statistical software Experience in presenting research findings at academic conferences
-
EXPERIENCE in: Scientific/Academic writing Research methodology (Quant or Mixed Methods) Experience with statistical software (e.g., R, Mplus, SPSS, etc.) Credentials must be obtained prior to the start date
-
software components; Publish research results in high-quality international journals and conferences; Collaborate with researchers, a PhD candidate working on polyvocal knowledge representation, curators
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal
-
Postdoctoral Researcher in Ability-Based Tailoring of Interactive Devices at Department of Comput...
. The role You will contribute to the design and implementation of the ABLE platform, including software development, possibly some hardware prototyping, and evaluation with users. A key focus will be
-
. The role You will contribute to the design and implementation of the ABLE platform, including software development, possibly some hardware prototyping, and evaluation with users. A key focus will be