Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and memorization in LLMs Analysis of vulnerabilities in low-resource language settings
-
of its core areas: research cloud services. We seek an expert in the following areas: Distributed and concurrent systems SQL databases Software development for HPC environments Experience with Slurm
-
currently one of the important technologies in the field of LAIs. The common approach to manipulate the performance of LAI suspensions release rate relies on changing particle size distribution
-
outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and
-
are looking for a candidate to support our research activities within the areas of medical and surgical robotics, industrial (dis)assembly and (re)manufacturing, artificial intelligence, control, AI algorithms
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human
-
in Quantum Mathematics with emphasis on pure mathematics with relations to quantum theory or with emphasis on Quantum algorithms, Quantum software and Quantum computing. The targeted starting date
-
Quantum Mathematics with emphasis on pure mathematics with relations to quantum theory or with emphasis on Quantum algorithms, Quantum software and Quantum computing. The targeted starting date
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems