Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- Argonne
- Northeastern University
- University of Luxembourg
- University of Oslo
- Aarhus University
- Adam Mickiewicz University, Poznań
- CNRS
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Duke University
- Heriot Watt University
- INESC ID
- Leibniz
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Technical University of Munich
- Télécom Paris
- Universidade de Aveiro
- University of Southern Denmark
- University of Sydney
- University of Virginia
- VIB
- 15 more »
- « less
-
Field
-
experience in machine learning methods, tools, and platforms. Proficiency in Python, with demonstrated software development experience. Hands-on experience in MLOps, including the design and deployment
-
outlined in the project description. Applicants to the PhD fellowship must hold a two-year Master’s degree (or equivalent qualifications) and meet the formal requirements for admittance to the Faculty
-
(SUSTAIN) research unit, the LCSA group aims to support industry, policy, and society by developing science-based, sustainability methods and computational tools for life cycle sustainability assessment
-
chemical–biological pathway. The advertised positions will support these efforts through research on advanced carbon capture methods, process modelling and optimization, and biological CO2 valorization in
-
. The following will be considered advantages Good understanding of quantitative methods. Familiarity with established softwares for the analysis and processing of MRI images of the brain. Experience with
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
-
to 708 000 SEK over two years. The scholarships are tax-free. Application deadline September 18, 2025. Start between January and April 2026 (exact start date according to agreement). Formal
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by