Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
(union, intersection, negation) and semantic subtyping. These techniques are currently being integrated into the Elixir compiler; Elixir and Erlang are the main validation ground of the project. The thesis
-
& Interoperability – and more specifically, in the following tasks: Task 4.1: Ontology Definition, Alignment and Formalization (CIDOC-CRM & INSPIRE), focusing on the design and extension of the MNEME semantic model
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive
-
. Covers the core theoretical subfields of linguistics: phonetics, phonology, morphology, syntax, and semantics. Also provides background on other subfields including sociolinguistics, pragmatics, historical
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
computer science. Topics may include loose universal properties, two-dimensional sketches, double-categorical enrichment, and formal category theory. The project will address the following key areas: Double
-
systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel semantics, the
-
.ICDT (https://doi.org/10.54499/2023.16314.ICDT ), funded by the Portuguese Foundation for Science and Technology (FCT), I.P., in the following conditions: Type of Grant: Research Grant for a PhD student
-
of varying generality, information on semantic and formal hubs and outliers, competing affixes and frequency distributions. The postdoctoral researchers will use the Morphicon to further our understanding