Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
competences of candidates; can be found on the website: https://hrs4r.agh.edu.pl/rekrutacja-i-praca#c39212 The recruitment procedure is divided into two stages: formal assessment – assessment
-
complete a case study, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected