-
of Cologne (6 months), and at the optimization software company MOSEK (1 month) in Copenhagen. At the University of Cologne, the secondment will be supervised by Professor Frank Vallentin. The CentER graduate
-
for AI/ML, IT, and software developers, cybersecurity professionals, and governmental actors. Align technical solutions with legal, ethical, and policy frameworks, including the Data Governance Act
-
from jurisdictions (e.g., Japan) that demonstrate a slant towards adopting more “developer-friendly” copyright regimes? How should we determine authorship of G-AI output and impute liability
Searches related to software verification
Enter an email to receive alerts for software-verification positions