2 software-formal-method-phd uni jobs at Aalborg University

Four Postdoc Positions in Natural Language Processing, AI and LLM Security (CPH)

Aalborg University | Denmark | about 1 month ago

memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods

One or more Assistant Professors in Computer Science

Aalborg University | Denmark | 3 months ago

of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ;  Formal Methods for Security