Sort by
Refine Your Search
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
and human infants. This includes medical, nutritional or other interventions to support compromised neonates, resulting from e.g. prematurity, low birth weight or birth asphyxia. Project description and
-
PhD students – though teaching duties may be low The ideal candidate Holds a PhD with a strong background in quantitative genetics and/or animal breeding Has published high-quality research in peer
-
to preindustrial levels. To reduce climate change and ocean acidification, CO2 must be converted to solid and put back into the Earth, where it came from in the first place. The job We expect that your background
-
of publications in high-ranking international peer-reviewed journals Contribute to public dissemination of policy and management relevant knowledge Participate in network building activities both internationally
-
. The scientific environment at our department is vibrant and highly collaborative with world-class scientists covering a broad range of expertise in photonics and electronics. Our Harvard collaborators pioneered
-
Job Description About the IMFUN Postdoctoral Project The IMFUN postdoctoral 2½-year position is part of a larger collaborative project funded by the Novo Nordisk Foundation's Plant2Food initiative