Sort by
Refine Your Search
-
Country
-
Employer
- University of Glasgow
- Villanova University
- ; University of Cambridge
- Framingham State University
- Grand Canyon University
- Johns Hopkins University
- NIST
- Nature Careers
- Technische Universität München
- The University of Iowa
- University of Leicester
- University of Manchester
- University of Toronto
- 3 more »
- « less
-
Field
-
semantic mismatch between the formal guarantees produced by neural network verification tools and the actual implementation of neural networks at the hardware level. Specifically, hardware-level effects
-
semantic mismatch between the formal guarantees produced by neural network verification tools and the actual implementation of neural networks at the hardware level. Specifically, hardware-level effects
-
Prolog and Java/JavaScript. Knowledge of Semantic Web technologies (e.g., RDF, OWL, SHACL, SPARQL).Desirable Skills Familiarity with argumentation theory (e.g., ASPIC+, Dung's frameworks). Prior experience
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 20 days ago
Date Posted: 07/18/2025 Req ID: 44354 Faculty/Division: UofT Mississauga Department: UTM: Philosophy Campus: University of Toronto Mississauga (UTM) Description: An introduction to formal deductive
-
, semantically meaningful code that enhances searchability and performance. Advise on UX/UI decisions and assist in prototyping, wireframing, and improving interaction design, ensuring an optimized content
-
synthesize topics covered in previous courses: formal languages, data structures, and computer architecture. The course reinforces the principles of software engineering and development through a complete
-
, semantically meaningful code that enhances searchability and performance. Advise on UX/UI decisions and assist in prototyping, wireframing, and improving interaction design, ensuring an optimized content
-
teach Introduction to Linguistics (lecture and discussion sections), Language and Formal Reasoning, Structure of English, and Topics in Linguistics (in the area of their research interest
-
approaches to the analysis, verification, diagnosis, repair, or synthesis of programs · Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study
-
Framework level 9, (Ordinary Degree, Scottish Vocational Qualification level 4), or equivalent (including professional accreditation with relevant formal training), and experience of personal development in a