Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, category theory. The relevant labs are the High-Assurance Software Laboratory, incl the Logic and Semantics Group , and the Lab for Compositional Systems and Methods . We have a number of PhD students
-
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
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
the formal admission requirements for this PhD programme. The PhD candidate will be assigned two academic supervisors at Western Norway University of Applied Sciences. An application for enrolment
-
Applied Sciences, and must meet the formal admission requirements for this PhD programme. The PhD candidate will be assigned two academic supervisors at Western Norway University of Applied Sciences
-
have about 350 Master of Engineering (MEng) students, a professional program for students taking courses with us for a year or two. And we have about 350 MASc and PhD students, who work individually on
-
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
-
.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
-
applications for 1 research grant Master’s Degree holder, enrolled in PhD or courses that do not confer academic degree, within the framework of project iChem4M (B10), withthe reference NORTE2030-FEDER-02706400
-
years. The section includes members from research groups within NLP, AI, ML, Databases, Formal Methods, Human-Centred Computing, and others, and is uniquely characterised by an open, friendly, and