Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Aarhus University
- Chalmers University of Technology
- EPFL
- University of Luxembourg
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- NEW YORK UNIVERSITY ABU DHABI
- Stanford University
- Technical University of Munich
- Umeå University
- University of Nevada Las Vegas
- University of Twente (UT)
- Warsaw University of Technology
- bicc - Bonn International Centre for Conflict Studies gGmbH
- 9 more »
- « less
-
Field
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
statistical / machine learning methods, pathway/network analysis or artificial intelligence approaches. Other requirements: The candidate should have a PhD or equivalent degree in bioinformatics, artificial
-
EXPERIENCE in: Scientific/Academic writing Research methodology (Quant or Mixed Methods) Experience with statistical software (e.g., R, Mplus, SPSS, etc.) Credentials must be obtained prior to the start date
-
software components; Publish research results in high-quality international journals and conferences; Collaborate with researchers, a PhD candidate working on polyvocal knowledge representation, curators
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal
-
. The role You will contribute to the design and implementation of the ABLE platform, including software development, possibly some hardware prototyping, and evaluation with users. A key focus will be
-
. The postdoctoral associate will be expected to work both collaboratively and independently on research projects, advancing computational methods using machine learning, developing automated pipelines for data
-
could develop the algorithms, models and software that: design and simulate self-assembling DNA nanostructures and molecular machines; turn artificial molecular networks into images — reconstructing where
-
departments with 130 tenure-track faculty members, 1250 undergraduate students, 1400 master’s students, and 600 PhD students. Housed within a university renowned for its programs in the liberal arts, medicine