Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Aarhus University
- University of Aveiro
- CNRS
- Duke University
- Lodz University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- Technical University of Denmark
- Universidade do Minho
- University of Luxembourg
- University of Texas at Austin
- Aalborg Universitet
- Aalborg University
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Autonomous University of Madrid (Universidad Autónoma de Madrid)
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Harvard University
- Institute of Public Health University of Porto
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- Luxembourg Institute of Science and Technology
- Nanyang Technological University
- National University of Singapore
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- University of Antwerp
- University of Canterbury
- University of Lund
- University of Minnesota
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of South-Eastern Norway
- University of Stirling;
- University of Texas at El Paso
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- Warsaw University
- 31 more »
- « less
-
Field
-
, Computer Engineering, or a related field. Strong background in smart contract security, blockchain systems, or software security. Experience in program analysis, formal methods, or vulnerability detection
-
science » Other Engineering » Computer engineering Researcher Profile Established Researcher (R3) Positions PhD Positions Application Deadline 5 Jun 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract
-
at least one of the following areas: theoretical computer science (e.g., formal methods, design automation, algorithms) and reinforcement learning. The candidate should be open to practical
-
Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in a PhD in the field of formal methods and knowledge presentation? In this PhD position
-
at least one of the following areas: theoretical computer science (e.g., formal methods, design automation, algorithms) and reinforcement learning. The candidate should be open to practical
-
-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the drafting
-
Profile Recognised Researcher (R2) Positions PhD Positions Application Deadline 7 May 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract Not Applicable Job Status Not Applicable Offer Starting
-
Researcher (R2) Positions PhD Positions Application Deadline 21 Apr 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 1 month ago
mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados ); ii) Curriculum
-
advanced computational methods to improve and understand protein function Interest in entrepreneurship to make a positive impact on planetary and human health As a formal qualification, you must hold a PhD