{"job":{"jobId":1066,"fk_accountId":null,"fk_organizationId":544,"fk_adminAccountId":null,"title":"Research Associate in Higher-order Constrained Horn Clauses","description":"\n<p><strong>Job number</strong> ACAD104406\n<strong>Division/School </strong>School of Computer Science, Electrical and Electronic Engineering and Engineering Maths\n<strong>Contract type </strong>Open Ended\n<strong>Working pattern</strong> Full time\n<strong>Salary</strong> £33,797 - £38,017</p>\n<p><strong>Closing date for applications</strong> 17-Feb-2020 </p>\n<p>The Department of Computer Science at the University of Bristol is seeking to appoint a Research Associate to work on EPSRC-funded project “Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs”. </p>\n<p>The successful applicant will work with Dr Steven Ramsay in a vibrant and growing Programming Languages group at the University of Bristol. The project is a larger collaboration with doctoral students and postdoctoral researchers in the group of Prof Luke Ong in the University of Oxford and outstanding international visiting researchers. </p>\n<p>Higher-order programming (especially functional programming) holds a lot of promise for creating software that is free of bugs: programs are developed compositionally, effects are carefully managed, interfaces are explicit, and the semantic foundations are clean and beautiful. Yet techniques for formally verifying that higher-order programs are free of bugs (or otherwise identifying them) lag their counterparts in imperative programming. The successful applicant is expected to undertake research with the goal of redressing this inconsistency, by developing new theory and tooling based on higher-order logic. There are many directions, but it will be desirable to have prior experience in at least one of the following:</p>\n<p>Type systems and lambda calculus Higher-order logic Software verification (e.g. software model checking) Compilers for functional programming languages Programming language semantics </p>\n<p>Applicants must have obtained or be close to obtaining a PhD in Computer Science, Mathematics or a related subject. The position is offered for a fixed term of 3 years. The expected start date is 1 March 2020 or as soon as possible thereafter. Informal enquiries can be made to Dr Steven Ramsay (<a data-mz=\"\" href=\"mailto:steven.ramsay@bristol.ac.uk\" rel=\"no-follow\">steven.ramsay@bristol.ac.uk</a>).</p>\n<p>We welcome applications from all members of our community and are particularly encouraging those from diverse groups, such as members of the LGBT+ and BAME communities, to join us.</p>\n","pdfUrl1":null,"location":"Bristol (City Centre), City of Bristol (GB)","location1":"유럽","location2":null,"location3":null,"type":"2","applyUrl":"https://emea3.recruitmentplatform.com/appproc/index.cfm?event=createSessionAfterSessionClear&bSessionClear=true&ID=Q50FK026203F3VBQBV7V77V83&jobboard=0&nPTID=180975&nProfileIdFoundInAGP=&sType=THES&utm_source=THES&utm_medium=paid&utm_campaign=THES","fileUrl1":"","fileUrl2":"","fileUrl3":"","fileUrl4":"","fileUrl5":null,"fileUrl6":null,"fileUrl7":null,"workingHour":"Full Time","contractType":"Fixed Term","salary":"£33,797 - £38,017","original_id":"UNI|193713","original_domain":"https://www.timeshighereducation.com/unijobs","original_url":"https://www.timeshighereducation.com/unijobs/listing/193713/research-associate-in-higher-order-constrained-horn-clauses/?LinkSource=PremiumListing","original_isPremium":"true","closeType":1,"closedAt":"2020-02-17T00:00:00.000Z","requireEducation":10,"managerTel":"","managerFax":"","managerEmail":"steven.ramsay@bristol.ac.uk","managerName":"UNIVERSITY OF BRISTOL","managerPhone":"","managerAddress":null,"log_hit":8,"log_like":0,"publishState":1,"organizationName":null,"organizationName_en":null,"organizationName_alt":null,"createdAt":"2020-01-22T09:00:00.000Z","updatedAt":null},"organization":{"organizationId":544,"lv1Id":null,"lv2Id":null,"name":"University of Bristol","name_en":"University of Bristol","name_alt":",","introduction":"<p>Founded in 1876, the University of Bristol combines academic excellence with innovation. Students can choose from more than 500 courses at all levels, from foundation degrees to PhDs.</p><p> </p><p>Ranked joint fifth in the UK for research,* the University is home to more than 25,000 students from across 150 countries. The main campus is at the heart of the historic but vibrant city of Bristol, just a two-hour journey from London. With its diverse culture, independent spirit and acres of green space, the city was named the UK’s best place to live by the <i>Sunday Times</i> in 2017.</p><p> </p><p>Bristol graduates are influential in academia, policy and practice across the world. The University’s alumni network includes leading figures in science, industry, politics and the arts.</p><p> </p>","logoImg":"","logoImgSquare":"https://s3.ap-northeast-2.amazonaws.com/jobs.ac.kr/dev/images/bristol_725531969443.jpg","homepageUrl":"http://www.bristol.ac.uk","infoUrl":"https://www.timeshighereducation.com/world-university-rankings/university-bristol","country":"GB","state":"Bristol","location":"유럽","address":"Senate House, Tyndall Avenue, Bristol, Avon, BS8 1TH, United Kingdom","phoneNumber":"+44 117 928 9000","faxNumber":"","type":1,"univType1":"대학","univType2":"대학교","univType3":"","univType4":"본교","establishedAt":"1875-12-31T00:00:00.000Z","count_majors":null,"count_students":null,"meta_competitiveness":"","publishState":1,"updatedAt":"2020-04-16T14:13:49.000Z","createdAt":"2020-03-04T20:13:07.000Z","default_1_bannerImage":null,"default_1_bannerImageMobile":null,"default_2_bannerImage":null,"default_2_bannerImageMobile":null,"default_3_bannerImage":"https://s3.ap-northeast-2.amazonaws.com/jobs.ac.kr/dev/images/BRISTOL2_1188802760434.jpg","default_3_bannerImageMobile":"https://s3.ap-northeast-2.amazonaws.com/jobs.ac.kr/dev/images/BRISTOL2_759017476913.jpg"}}