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
-
candidate is expected to have high motivation and independence and good English communication skills as well as being a team player. Familiarity with openFoam and some experience in experimental methods is
-
· 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
-
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