Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- DAAD
- University of Oslo
- ; The University of Manchester
- ; University of Cambridge
- Chalmers University of Technology
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- Umeå University
- University of Cambridge
- University of Newcastle
- University of Nottingham
- 3 more »
- « less
-
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
-
used. AI methods for generating regulatory hypotheses between genes, hormones and physical properties will also be developed. Applicants must have/be close to obtaining a PhD or MPhil in Computational
-
Qualifications PhD awarded related to security, formal methods, program analysis or software engineering for Associate levels or nearing completion for Assistant level MSc degree with distinction in
-
used. AI methods for generating regulatory hypotheses between genes, hormones and physical properties will also be developed. Applicants must have/be close to obtaining a PhD or MPhil in Computational
-
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
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
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
-
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