16 software-formal-method-phd Postdoctoral research jobs at University College Dublin in Ireland
Sort by
Refine Your Search
-
Sutherland School of Law. Applications are invited for a Quantitative Methods Postdoctoral Researcher (PostDoc) for a fixed term period of 4 years. The position is available as part of the ERC-funded project
-
Applications are invited for a temporary post of a UCD Post-doctoral Research Fellow Level 1 or 2 within the UCD Sutherland School of Law. Applications are invited for a Qualitative/Mixed Methods
-
Agencies will be returned. The PD1 position is intended for early-stage researchers, either just after completion of a PhD or for someone entering a new area for the first time. If you have already completed
-
and generative methods, with the goal of delivering impactful research outcomes and publications at leading venues. You will work closely with Dr. Aonghus Lawlor (PI), alongside other postdoctoral
-
innovative design for manufacture and assembly, modern methods of construction and design for disassembly construction techniques. MASH will significantly impact on defence forces mobility and responsiveness
-
optics, and bio-medical implants. The Centre brings together a multi-disciplinary team of over 20 PhD and Post-Doc researchers in manufacturing engineering, instrumentation and optics, in fundamental and
-
completion of a PhD or for someone entering a new area for the first time. If you have already completed your PD1 stage in UCD or will soon complete a PD1, or you are an external applicant whose total
-
stage researchers, either just after completion of a PhD or for someone entering a new area for the first time. If you have already completed your PD1 stage in UCD or will soon complete a PD1, or you are
-
researchers, either just after completion of a PhD or for someone entering a new area for the first time. If you have already completed your PD1 stage in UCD or will soon complete a PD1, or you are an external
-
challenges. * Advancement of quantum processors and software stacks to support the running of these algorithms. * Industrial research in optimisation and AI/ML to support scaling of algorithms