Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- Nature Careers
- University of Oslo
- Technical University of Denmark
- University of Aveiro
- Nanyang Technological University
- Argonne
- CNRS
- Duke University
- Universidade de Coimbra
- University of Luxembourg
- ; University of Cambridge
- AALTO UNIVERSITY
- Aarhus University
- Adam Mickiewicz University, Poznań
- Canadian Association for Neuroscience
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Faculdade de Ciências e Tecnologia
- Heriot Watt University
- INESC ID
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Leibniz
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Télécom Paris
- Universidade de Aveiro
- University of Birmingham
- University of Cambridge
- University of Kansas Medical Center
- University of Porto
- University of Southern Denmark
- University of Sydney
- University of Texas at Austin
- University of Virginia
- VIB
- Western Norway University of Applied Sciences
- 29 more »
- « less
-
Field
-
Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial | Portugal | about 23 hours ago
Job related to staff position within a Research Infrastructure? No Offer Description INEGI-Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial announces an open call for a PhD
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
-
Computer Science: Software Engineering, Sensor Networks and Engineering Computing at Western Norway University of Applied Sciences, and must meet the formal admission requirements for admission into the PhD
-
datasets for single nucleotide variants, structural variants, and tandem repeats relevant to FTLD Use cutting-edge bioinformatics software and methods, or develop novel tools when appropriate
-
and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
legislation. Patent authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization
-
for automated software verification. This role offers a unique opportunity to work at the forefront of formal methods and machine learning research, contributing to the foundational principles of how AI is
-
people, including about 100 researchers and professors and about 80 PhD students. The SPARKS team (Scalable and Pervasive softwARe and Knowledge Systems) is the largest team at I3S with a staff of 104
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in developing screening methods to enable subsurface H2 storage? If you enjoy working