Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Chalmers University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- University of Luxembourg
- University of Nevada Las Vegas
- Cornell University
- Durham University
- KTH Royal Institute of Technology
- KU LEUVEN
- Stanford University
- Technical University of Munich
- Umeå University
- University of Southern Denmark (SDU)
- University of Twente (UT)
- University of Vienna
- Warsaw University of Technology
- 5 more »
- « less
-
Field
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
development activities at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe
-
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
-
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
-
, 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
-
software components; Publish research results in high-quality international journals and conferences; Collaborate with researchers, a PhD candidate working on polyvocal knowledge representation, curators