Research Fellow: ML for Automated Formal Verification

University of Birmingham; Birmingham; On-site; GBP 36,636 - 46,049; Full time

Job summary

A prestigious educational institution in Birmingham is seeking a Research Fellow in Formal Verification. This role focuses on developing advanced machine learning algorithms for automated software verification and involves collaboration with experts in the field. Candidates should have a higher degree and proven publishing ability in AI or related fields. The position is full-time with a salary range of £36,636 to £46,049, offering a unique opportunity to advance in academic research.

Qualifications

• First degree in area of specialism.
• Proven ability to publish in relevant conferences and journals.
• Ability to assess and use resources effectively.

Responsibilities

• Develop advanced theory and machine learning algorithms for verification.
• Contribute to writing bids for research funding.
• Supervise students on research projects.

Skills

Proficiency in programming

Ability to publish in top-tier conferences

Experience presenting research findings

Education

Higher degree relevant to formal verification or machine learning

Tools

Machine learning software

Automated reasoning tools

Job description

A prestigious educational institution in Birmingham is seeking a Research Fellow in Formal Verification. This role focuses on developing advanced machine learning algorithms for automated software verification and involves collaboration with experts in the field. Candidates should have a higher degree and proven publishing ability in AI or related fields. The position is full-time with a salary range of £36,636 to £46,049, offering a unique opportunity to advance in academic research.