Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
theoretical research, algorithm design, and the development of software tools that demonstrate the applicability of the new methods. Research environment The positions are hosted by the Department
-
16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
Deadline 16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
on the strengths of the successful candidate, in either the broad direction of principle-based meta-reasoning (formal focus) or applications of automated meta-reasoning to large-scale software systems (engineering
-
with privacy by developing techniques that optimize both aspects. The candidate will perform the work together with a team of postdoctoral researchers who are experts on the field and other PhD student
-
projects Create project deliverables Your profile Master's degree in information systems, business informatics, business and management, computer science, software engineering, data science, or related
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
the leader of the Software Engineering unit. About the project The position is one of the two PhD fellowships belonging to a university-wide project called Symbiosis (Human-AI symbiosis as a means to tackle