Sort by
Refine Your Search
-
Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial | Portugal | 6 days ago
field. This project involves: general literature review on information retrieval strategies using emergent tools, such as machine learning, semantic embeddings, etc… for the particular case of waste-to
-
becoming standard practice. However, achieving formal assurance of software correctness remains a complex challenge. Seminal work in programming language semantics provides powerful frameworks
-
Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their
-
relevant field of computer science or informatics for this position, such as programming language theory, formal methods or semantic technology A solid documented background in theoretical computer science
-
interdisciplinary research in the areas of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF