Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- California State University, San Bernardino
- Argonne
- ;
- Aarhus University
- Cornell University
- Nanyang Technological University
- University of Texas at Austin
- CEA
- DAAD
- Duke University
- Durham University
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- State University of New York University at Albany
- Texas A&M TVMDL
- The University of Chicago
- University of Maryland
- University of Texas at El Paso
- ; Technical University of Denmark
- ; The University of Manchester
- CNRS
- Canadian Association for Neuroscience
- Erasmus University Rotterdam
- Heidelberg University
- Heriot Watt University
- KINGS COLLEGE LONDON
- King's College London
- Ludwig-Maximilians-Universität München •
- Mälardalen University
- New York University
- Northeastern University
- Nova School of Business and Economics
- Purdue University
- Technical University of Munich
- UiT The Arctic University of Norway
- Ulster University
- University Frankfurt
- University of Aveiro
- University of Bergen
- University of British Columbia
- University of California Berkeley
- University of Cincinnati
- University of Colorado
- University of Exeter
- University of Glasgow
- University of Luxembourg
- University of Maryland, Baltimore
- University of Massachusetts Dartmouth
- University of Nebraska–Lincoln
- University of Nottingham
- University of Oxford
- University of Pennsylvania
- University of Pittsburgh
- University of Porto
- University of Saskatchewan
- University of Twente (UT)
- University of Zurich Blockchain Center
- Western Norway University of Applied Sciences
- 51 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
-
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
-
live in. Your role We are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State
-
Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal
-
qualitative methods (including but not limited to participatory design and creative methods). A stated and PhD-project related interest in participatory workshop methods is considered desirable. Good
-
version control distribution software like Git Experience with numerical methods and techniques, including optimization and statistical analysis Ability to adapt to emerging technologies in biophysics and
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal