Techniques to date focus on provenance within a single database, but this is Is still at an early stage, and prototypes have so far provenĬhallenging to deploy or evaluate in the field.
Research on provenance for scientific databases Support provenance for curated databases, forcing each project to Is the IUPHAR/BPS Guide to Pharmacology database (GtoPdb), a pharmacological database developed inĬurrently there are no reusable methodologies or practical tools that There are hundreds of curated scientific databases inīiomedicine that need fine-grained provenance one important example Provenance recording the history and derivation of the data isĬritical to reaping the benefits and avoiding the pitfalls of data Safely reusing such data currently requires labour-intensive curation. Routinely mandate open publication of publicly-funded research data. Candidates in other situations may be able to start work remotely but this depends on UKVI guidelines which are in flux such candidates are advised to contact us to discuss the situation. Candidates currently in the UK on Tier 4 student visas will also be able to begin work while waiting for a Tier 2 visa. Successful candidates who are eligible to work in the UK without a visa (= UK or EEA nationals) will be able to take up the post and work remotely prior to arrival in Edinburgh. Interviews will likely be held (via Skype)ĭue to the ongoing COVID-19 pandemic, remote working is possibleĪnd encouraged until limitations on travel and social distancing This requires creating an account, and applicants are recommended toĬomplete this process well before the deadline.Īpplications submitted after the deadline may not be considered. Application process and deadlinesĪ complete application consists of a CV and a 1-3 page research statement summarizing your background, previous research experience, and how they relate to this position.Īpplications must be submitted by 5pm UK time on September 21, 2020, through the University of Edinburgh recruitment site,Īpplicants must apply using the University jobs website above. Prospective applicants are encouraged to contact James before applying to discuss these positions. A second position may become available for this post depending on future funding. The position is available for 18 months, starting as soon as possibleĪnd before March 21, 2021. Candidates with a strong background in either database or programming language research will be considered as long as there is clear evidence of ability to learn the complementary background.
Familiarity with programming language foundations is also desirable, as is experience with functional programming (e.g. The ideal candidate will have a strong background in programming languages or databases. graded monads, algebraic effects/handlers), heterogeneous meta-programming/staging, modular language extensibility, or concurrent/distributed programming, and develop applications of these capabilities. language-integrated query), client/server web programming, programming with effects (e.g. The successful candidate will work on extending the Links web programming language with stronger support for database programming (e.g. Links also has support for distributed programming with session types (POPL 2019) and algebraic effects and handlers (JFP 2020), which may find further applications to the project.Ī broad range of programming language design topics potentially within the scope of this project. This project builds on the Links web programming language to add built-in support for scientific data management needs, based on Links's already strong support for language-integrated query/update (ICFP 2013, SIGMOD 2014, ICFP 2018), type inference with first-class polymorphism (PLDI 2020), and Elm-style model-view-update programming (ECOOP 2020). This postdoctoral research position is on programming language design in the Skye project. Positions available Research associate in programming James Cheney, in the Laboratory for Foundations ofĬomputer Science, School of Informatics, University of Edinburgh.įunding is provided by a five-year, €1.99M Consolidator Research associate position(s) available (deadlineĭr. Skye: A programming language bridging theory and practice for Skye: Programming languages for data curation Skip to main contentĮRC project "Skye: A programming language bridging theory and
0 kommentar(er)
