Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
-performance computing to deliver fast, accurate, and accessible forecasts for monitoring, reporting, and verification (MRV) of geochemical CDR. The overarching goal is to improve understanding and
-
on different aspects of programming language design, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment
-
Job Title Postdoctoral Research Associate Agency Texas A&M Agrilife Research Department Animal Science Proposed Minimum Salary Commensurate Job Location College Station, Texas Job Type Staff Job
-
contributes to ARAC’s scientific portfolio through independent data analysis, development of computational workflows, integration of genomic and epidemiologic datasets, and coordination of research activities
-
23 Dec 2025 Job Information Organisation/Company Fundació Hospital Universitari Vall d'Hebron- Institut de recerca Department Research Department Research Field Biological sciences » Biology
-
Job Title Postdoctoral Research Associate Agency Texas A&M Agrilife Research Department Soil & Crop Sciences Proposed Minimum Salary Commensurate Job Location College Station, Texas Job Type Staff
-
: Required: Bachelor’s Degree in Biology, Master’s Degree and PhD in Computational Bioinformatics. Fluency in Catalan, Spanish and English (business level for oral and writing) Experience and knowledge
-
disease on memory processes. Research projects will involve functional brain imaging techniques (fMRI), behavioral measurement, and computational modeling approaches. Opportunities for collaboration within
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and