Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft)
- NTNU Norwegian University of Science and Technology
- Radix Trading LLC
- Wageningen University & Research
- Constructor Knowledge Labs gGmbH
- George Mason University
- Graz University of Technology
- Heidelberg Institute for Theoretical Studies (HITS gGmbH)
- Newcastle University
- Silesian University of Technology
- University of Florida
- University of Inland Norway
- University of Newcastle
- 5 more »
- « less
-
Field
-
, with regular gatherings such as professional meetings within the research group, weekly colloquia, shared lunches, and “Friday coffee” sessions to end the week. These formal and informal events offer
-
The required qualifications are: Strong hands-on programming experience in one or more of: C++, Rust, and Java. Strong command-line/bash proficiency and general scripting skills. Previously demonstrated ability
-
synthesis, a clever analysis, or a shared insight over coffee. You will have regular individual meetings with your supervisors with an open-door policy to ensure you have guidance when needed and space to
-
regular gatherings such as professional meetings within the research group, weekly research colloquia, shared lunches, and “Friday coffee” sessions to wrap up the week. Formal and informal gatherings
-
representation of gear syntax trees and graphs lives in JetBrains MPS — again, we do not ask for MPS experience, only that you are comfortable reading and extending a metamodel; Java/Kotlin literacy helps once you
-
atmosphere, with regular gatherings such as professional meetings within the research group, weekly colloquia, shared lunches, and “Friday coffee” sessions to end the week. These formal and informal events
-
the Homkat group) where curiosity and creativity are highly valued. We celebrate scientific progress—whether it’s a successful synthesis, a clever analysis, or a shared insight over coffee. As your supervisor
-
. We celebrate scientific progress—whether it’s a successful synthesis, a clever analysis, or a shared insight over coffee. As your supervisor, I will offer regular individual meetings and an open-door
-
the following areas: (1) cryptography, (2) Privacy-enhancing technologies, such as FL, (3) mathematics (including number theory and game theory), (4) machine learning, and (4) computer programming in C++, Java
-
with experience applying these models to practical applications for real-world challenges. Good programming skills, Python is mandatory, other languages (e.g., Java, C++) will be considered a plus to