Senior Research Associate, Formal Methods

Research Associate/Senior Research Associate (Formal Methods) The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. The group offers an opportunity for a Research Associate/Senior Research Associate to...

Get AI-powered advice on this job and more exclusive features. Direct message the job poster from Qube Research & Technologies Qube Research & Technologies (QRT) is a global quantitative and systematic investment manager, operating in all liquid asset classes across the world. We are a technology and data driven group implementing a scientific approach to...

A prestigious academic institution in Hong Kong is seeking faculty members for positions of Professor, Associate Professor, and Assistant Professor in the Department of Computer Science and Engineering. The roles require candidates with a PhD in Computer Science or related fields, and will engage in teaching and research across various specializations...

We are working with a $10bn Multi-Strategy Head Fund looking for a Quantitative Researcher with deep, hands‑on expertise in LLMs and AI agents to apply cutting‑edge machine learning methods to alpha research and portfolio construction. The ideal candidate is passionate about exploring how emerging AI technologies can enhance systematic investment...

This position is responsible for providing support to Research Analyst. This position will be hired as contractor. The role is primarily responsible for assisting with the building and servicing of financial models, the analysis of data and the production of the research product. The individual will also assist in compiling news and working with the analyst...

2 days ago Be among the first 25 applicants Get AI-powered advice on this job and more exclusive features. Research and develop novel computer architectures (e.g., CPU/NPU/GPU/TPU cores, domain-specific accelerators, memory hierarchies, emerging interconnect technologies) to address cutting‑edge compute challenges. Responsibilities Design, model, and...

This position is responsible for providing support to Research Analyst. This position will be hired as contractor. The role is primarily responsible for assisting with the building and servicing of financial models, the analysis of data and the production of the research product. The individual will also assist in compiling news and working with the analyst...

Job Description Senior Research Assistant(s) (External Fund) / Research Assistant(s) - ( UD ) Description The Chinese University of Hong Kong is one of the world’s leading universities, located in one of the most exciting places to conduct research on urban conditions and challenges. The School of Architecture offers a world-class and professionally...

Job Description Description The Dalton laboratory relocated from the USA to the School of Biomedical Sciences, Faculty of Medicine (CU Medicine) in the Spring of 2022. The laboratory uses adult and pluripotent stem cells to understand mechanisms of cell fate determination and as a platform to develop therapeutics for metabolic disease and obesity. We are...

CRA II/ Senior CRA - office-based in Hong Kong. Join us and advance your career with an industry leading CRO. ICON plc is a world-leading healthcare intelligence and clinical research organization. We’re proud to foster an inclusive environment driving innovation and excellence, and we welcome you to join us on our mission to shape the future of clinical...