Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- Aarhus University
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Nanyang Technological University
- University of Lund
- University of Southern Denmark (SDU)
- University of Texas at Austin
- Aalborg Universitet
- Aalborg University
- Abertay University
- Baylor University
- CITMAga - Galician Center for Mathematical Research and Technology
- Chalmers University of Technology
- Dallas County Community College District
- Ecole Polytechnique Federale de Lausanne
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- Newcastle University
- Northeastern University
- Rochester Institute of Technology
- University of Oslo
- University of Texas Rio Grande Valley
- Western Norway University of Applied Sciences
- Yale University
- 13 more »
- « less
-
Field
-
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
-
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
-
, and formal methods for the robustness, performance, correctness, and security of code generated by AI or interacting with AI. Areas of interest include the coordination and validation of concurrent AI
-
research efforts in the lab, and also be involved in training new lab members in these techniques. Computational approaches will include AI/ML approaches, protein design methods, bioinformatics, and data
-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
designing and building visualization dashboards. Research experience in human-centered AI, or in the integration of AI and machine learning methods into interactive visualization and analysis systems. Strong
-
computer science and philosophy. The REMAX project on Rigorous Evaluation Methods for AI Explainability, funded by a Villum Synergy grant, aims to create methods for explainable AI and their rigorous evaluation. It
-
-produced receivers. We are seeking a Research Associate to provide electrical and/or computer engineering expertise, including computational methods, and scientific rigor across a portfolio of technologies
-
, Administrative, Service, or Technical Support Level 4 - Advanced or lead role with deep subject matter expertise and/or functions as a formal or informal team lead. Leads challenging and non-routine tasks
-
guardrails inspect everything in plaintext and offer weak formal assurance. This PhD asks how to build AI services that remain useful while enforcing such constraints and protecting sensitive information. Open