Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
-
Field
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc: Networked Systems Abstractions Lab (LASeR) Mission The EPFL Networked Systems
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc: Keystone Project (Machine-Verified LLM Inference) Mission The Keystone project seeks
-
/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and systems engineering, as well as the department's established collaborations within, among
-
software, and heterogeneous execution environments. Explore and analyze different quantum computing modalities and architectures and investigate their integration with HPC systems. Use representative
-
how you can be a part of AgriLife and make a difference in the world! Position Information The Texas A&M Potato Breeding Program seeks a highly qualified, motivated applicant with experience preparing
-
AgriLife and make a difference in the world! Position Information Texas A&M AgriLife Research seeks a highly motivated Postdoctoral Research Associate to support research advancing nutrient management and
-
representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology Experience with scientific
-
researchers investigating different aspects of multiple sclerosis (MS) pathogenesis. This position offers a unique opportunity to contribute to interactive, clinically driven research by combining a deep
-
(ESTD) at Oak Ridge National Laboratory (ORNL) is seeking a Postdoctoral Research Associate to perform R&D in the areas of electromagnetic transient (EMT) simulation and software development as
-
real life operating conditions, in an approach to close the gap between pure theory and experimental verifications. You will need to represent the group in different contexts, both in Sweden and abroad