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
-
experimental colleagues without formal automation training. Develops customized automated platform and method supporting new kinds of assays and experiments. Understands the analytical needs of new experiments
-
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
-
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
-
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
-
.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
-
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