Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
contact details and link to your Google Scholar profile. List of publications (and patents, if applicable) Contact details of 2 references Please apply ONLINE formally through the HR system. Applications by
-
algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern AI systems
-
conferences, and engaging in teaching activities. As a formal qualification, you must hold a PhD degree (or equivalent) in either electrochemistry, microbiology, fermentation, or environmental engineering, and
-
· A scientific CV with contact details · List of publications (and patents, if applicable) · Contact details of 2 references Please apply ONLINE formally through the HR system
-
analytical methods across the EU. Responsibilities and qualifications You will be a central part of our laboratory operations, and your task will be focussed on supporting our EURL-PC responsibilities as
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
productively with both the CAISA research team and external organisations and institutions experience with mixed methods Furthermore, it will be considered an advantage if applicants can document: experience
-
explores novel aggregation methods at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design