Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Luxembourg
- Aarhus University
- Chalmers University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- University of Nevada Las Vegas
- Aarhus University (AU)
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- EPFL
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- Stanford University
- Umeå University
- University of Amsterdam (UvA)
- University of Southern Denmark (SDU)
- University of Twente (UT)
- University of Vienna
- Warsaw University of Technology
- 11 more »
- « less
-
Field
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
). 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
-
these methods across different crops to identify conserved patterns of stress resilience 4. Identify candidate genes associated with key agronomic traits related to resilience 5. Contribute to software and web
-
the Quality of AI Agents) under the direction of Prof Hamid Bouchachia. The project will deliver the engineering abstractions, methods and tools needed to support reliable, scalable end-to-end development
-
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
-
team, Aarhus University and MAX IV. Depending on the candidate’s interests and expertise, research activities may include studies of functional materials, advanced crystallographic methods, automated and
-
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
-
, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe deployment of AI systems in real-world environments. Current research
-
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