Research Assistant/Associate in Formal Methods
Ente: Jobs.ac.uk
Paese: GB
Descrizione
Skip to main content Back to search results Research Assistant/Associate in Formal Methods Newcastle University - School of Computing Location: Newcastle upon Tyne Salary: £33,951 to £36,636 per annum Hours: Full Time Contract Type: Fixed-Term/Contract Placed On: 24th August 2026 Closes: 30th August 2026 Job Ref: 29519 Company description: We are a world class research-intensive university. We deliver teaching and learning of the highest quality. We play a leading role in economic, social and cultural development of the North East of England. Attracting and retaining high-calibre people is fundamental to our continued success. Job description: Salary: Research Assistant £33,951 to £35,608 per annum Research Associate £36,636 per annum The Role We are seeking a highly motivated researcher to join the Software Security Lab at School of Computing, Newcastle University as a Research Associate/Assistant in Formal Methods. This is an exciting opportunity to contribute to cutting-edge research at the intersection of formal methods, program analysis, and software security. The successful candidate will play a key role in designing and developing novel formal theories and building tools with rigorous foundations for the specification, verification, and analysis of software systems. The position offers considerable scope for independent research and collaboration in a vibrant research environment, with opportunities to collaborate with leading industrial partners, including Google DeepMind. Applicants should hold a PhD in formal methods, program analysis, or a closely related area. We are looking for individuals with strong analytical and problem-solving abilities who can work independently, manage research activities effectively, and deliver high-quality outcomes. Experience in tool development and solid programming skills are essential, with expertise in functional programming languages, Rust, or Java particularly desirable. The appointment is available on a full-time, fixed-term basis for 8 months, with the possibility of extension , and is available for immediate start. If you are interested in advancing the theory and practice of secure software systems and would like to work on challenging and impactful research problems, we would be delighted to hear from you. To apply, please complete the online application and upload your CV and a cover letter. In your cover letter, please explain how your experience and achievements address the essential requirements of the role. Please reach out to Dr. Narges Khakpour at narges.khakpour@newcastle.ac.uk if you have any questions. As part of our commitment to career development for research colleagues, the University has developed 3 levels of Research Innovation Role Profiles.pdf . These profiles set out firstly the generic competencies and responsibilities expected of role holders at each level and, secondly, the general qualifications and experiences needed for entry at a particular level. Find out more about the Faculty SAgE here: https://www.ncl.ac.uk/sage/ Find out more about our Research Institutes: https://www.ncl.ac.uk/computing/research/ Share on social media We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback Advert information Type / Role: Subject Area(s): Location(s): Job tools PhD Alert Created Job Alert Created Your PhD alert has been successfully created for this search. Your job alert has been successfully created for this search. Ok Ok PhD Alert Created Job Alert Created Your PhD alert has been successfully created for this search. Your job alert has been successfully created for this search. Manage your job alerts Manage your job alerts Account Verification Missing In order to create multiple job alerts, you must first verify your email address to complete your account creation Request verification email Request verification email jobs.ac.uk Account Required In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account Create Account Create Account Alert Creation Failed Unfortunately, your account is currently blocked. Please login to unblock your account. Login Login Email Address Blocked We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below. Re-verify your email Update your email Re-verify your email Update your email Max Alerts Reached A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert Manage your job alerts Manage your job alerts Creation Failed Unfortunately, your alert was not created at this time. Please try again. Ok Ok Create PhD Alert Create Job Alert When you create this PhD alert we will email you a selection of PhDs m
Settori: accademico, ricerca, postdoc, fellowship, PhD, universita
Vai al bando originale
Registrati gratis su Bandolo per trovare bandi compatibili con la tua azienda.