Sort by
Refine Your Search
-
Listed
-
Employer
-
stakeholders, and FORM is a key founding player in CSlib’s steering and technical leadership . Who we are looking for We are looking for candidates who possess (or are nearing completion of) a PhD in Computer
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
, and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some room
-
completion of) a PhD in Computer Science or Mathematics. An ideal candidate has a research track record at a high international level (reflecting the academic age of the applicant) and experience with
-
, Cybersecurity, and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some