Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- University of Oslo
- University of Southern Denmark
- Technical University of Denmark
- Aalborg University
- University of Aveiro
- University of Bergen
- NTNU Norwegian University of Science and Technology
- Universidade de Aveiro
- University of Luxembourg
- ;
- Aalborg Universitet
- Cornell University
- Delft University of Technology (TU Delft)
- Duke University
- KINGS COLLEGE LONDON
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Technical University of Munich
- University of Glasgow
- University of Minnesota
- University of Sheffield
- University of Texas at Austin
- Adam Mickiewicz University, Poznań
- Aveiro University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Medicina da Universidade do Porto
- IRIT, Université de Toulouse
- Imperial College London
- Institute of Public Health University of Porto
- KU LEUVEN
- Linköping University
- Medical Research Council
- North Carolina State University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- Stanford University
- UiT The Arctic University of Norway
- Umeå University
- Umeå universitet
- University of Antwerp
- University of Nebraska–Lincoln
- University of Warsaw
- VIB
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aix-Marseille Université
- Argonne
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CNR
- Carnegie Mellon University
- Computer Vision Center (CVC)
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Durham University
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Faculdade de Ciências e Tecnologia
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Grenoble INP - LCIS
- Gulbenkian Institute for Molecular Medicine
- IBMC
- IMT Mines Albi
- Imperial College London;
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Engenharia Mecânica
- Jagiellonian University
- King's College London
- Linköpings universitet
- Loyola University
- Loyola University Chicago
- Luxembourg Institute of Science and Technology
- Max Planck Institute for Physics, Garching
- Northeastern University
- State University of New York University at Albany
- Texas A&M TVMDL
- The CoReACTER (@ University College Dublin)
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Manchester
- Télécom Paris
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - Porto
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Amsterdam (UvA); Published today
- University of British Columbia
- University of Colorado
- University of Iceland
- University of Illinois at Urbana Champaign
- University of Michigan
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Mathematics
- Science
- Chemistry
- Education
- Materials Science
- Business
- Social Sciences
- Electrical Engineering
- Environment
- Humanities
- Law
- Physics
- Psychology
- Arts and Literature
- Earth Sciences
- Linguistics
- Sports and Recreation
- 12 more »
- « less
-
) (in Norwegian). Your immediate leader will be the leader of the Software Engineering unit. About the project This PhD fellowship is part of the national AI Centre for the Empowerment of Human Learning
-
, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge representation, optimisation, and post-quantum and embedded
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic, theorem
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
of instrumentation and database infrastructure, facilitating lab users in their research (both formal and informal external visitors as well as UMN faculty and students), and contributing to strategic planning and
-
PhD Expert knowledge of statistical modelling, statistical inference and use of relevant software (e.g. R/Python) both for data processing, visualisation and programming. Excellent communication and
-
, single nuclei RNA sequencing and spatial transcriptomics datasets Use cutting-edge bioinformatics software and methods, or develop novel tools when appropriate Design and lead your research project, with
-
techniques, and (4) experience in method development within large software packages. We also expect experience in programming, motivation and independence in solving scientific problems. The call is open to
-
probabilistic methods. Some familiarty with Finite Geometry will be advantageous. Mathematical Maturity: Ability to write mathematical proofs and formal texts as evidenced by a master's thesis report or similar
-
The Department of Computer Science at The Technical Faculty of IT and Design invites applications for PhD stipends on one of the topics of Digital Twins and Hierarchical Multi-Agent Safe