Få nye jobs på e-mail
- ...source code from past publications is a strong plus. Algorithmic Breadth: Familiarity with probabilistic machine learning, distributional reinforcement learning, or bio-inspired neural architectures is highly desirable. Communication: Excellent spoken and written...
- ...in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic, programming languages, and security. The targeted starting period is late autumn 2026, with room for...
- ...emphasis on the area of formal methods, in connection with topics that include (but are not limited to) computational complexity, distributed systems, human factors, logic, programming languages, or security. The positions can have a duration of up to 4 years. The...