Funded PhD Place in Formalizing/Verification of Golang
The College of Exeter
Job Info Organisation/FirmThe College of Exeter DivisionSchool of Engineering, Arithmetic and Bodily Sciences Analysis AreaLaptop science » ProgrammingArithmetic » Mathematical logicLaptop science » Different Researcher ProfileFirst Stage Researcher (R1) NationUnited Kingdom Software Deadline31 Mar 2024 – 23:59 (Europe/Paris) Sort of ContractDifferent Job StandingFull-time Is the job funded by means of the EU Analysis Framework Programme?Not funded by an EU programme Is the Job associated to workers place inside a Analysis Infrastructure?NoSupply DescriptionWe now have an thrilling alternative for PhD research on growing a proper semantics and verification surroundings for Go(lang) in Isabelle/HOL.That is a part of a brand new ‘double PhD’ programme resulting in a PhD award from the College of Exeter and the Université Paris-Saclay.Extra info and utility particulars might be discovered at:Software deadline is the thirty first of March 2024. Please contact for extra particulars.NecessitiesAnalysis Area Laptop science » Programming Training Stage Grasp Diploma or equalExtra InfoWork Location(s)Variety of provides obtainable 1 Firm/Institute College of Exeter (and Université Paris-Saclay) Nation United Kingdom GeofieldThe place to use Web siteContact Web siteE-Maila.brucker@exeter.ac.ukSTATUS: EXPIRED
United Kingdom
Sat, 23 Mar 2024 06:16:35 GMT
To assist us observe our recruitment effort, please point out in your e mail/cowl letter the place (globalvacancies.org) you noticed this job posting.
Job title: Business Development Manager (Field-based) Company Peninsula Employment Services Job description Base Salary: $60,000…
Job title: Assistant Professor in Asian Film and Media Company University of Cambridge Job description…
Org. Setting and Reporting The United Nations Office at Nairobi (UNON) is the UN headquarters…
Job Description About the United States–India Educational Foundation (USIEF)The United States–India Educational Foundation, established in…
ServiceNow Business Process and HAM Pro Consultant Anywhere Type: Contract Category: Business Analysis Industry: FH…
The British Government is an inclusive and diversity-friendly employer. We value difference, promote equality and…