Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 10 days ago
, temporally consistent analyses at a scale current approaches cannot reach. Formalize the TSQ (Tree-sitter Query) language beyond its original syntax-highlighting purpose, turning it into a robust, well
-
contested environments, leveraging Vision-Language-Action (VLA) models, multi-sensor fusion (LiDAR, radar, cameras, IMU), semantic SLAM, and EW-resilient mission planning. The platform will feature modular
-
Architecture Development: Contribute to the specification and development of an Edge Computing architecture to enable edge AI and distributed learning. - Semantic Middleware Integration: Participate in
-
, multidimensional weakness and failure taxonomies, and vulnerability models define the lexis, syntax, and semantics of the BF formal language and form the basis for the definition of secure coding principles. The BF
-
semantic representations. Develop methods to assess AI-generated hypotheses for plausibility, novelty, evidence support, contradiction, uncertainty and explainability. Publish in leading NLP, AI and
-
the hiring department. All positions and offers are subject to funding availability and enrollment. Course Description: Logic as a formal language, as a component of natural language, and as a basis of a
-
effects, assess the exposure and health risks to humans, and develop technologies and biotechnologies to break them down. http://www.recetox.muni.cz/en/career/career-at-recetox About the team We are looking
-
medicine Hands-on experience working with standard common data models: OMOP CDM, HL7 FHIR Hands-on experience working with Semantic Web and metadata standards: HealthDCAT-AP, DPV, ORDL Experience programming
-
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
-
generative artificial intelligence, machine learning, and ontologies to automatically align heterogeneous competency frameworks. The research will focus on: Formal modelling of competencies and educational