-
highly motivated and independent individual to join an EPSRC research projectTRUSTED (SecuriTy SummaRies for SecUre SofTwarE Development) as a Research Associate or Research Assistant. The focus
-
and manage independent research • Ability to set research goals, be self-motivated and proactive • A keen eye for visual presentation, software design, and in writing clear, concise, elegant code
-
Experience Experience developing research software using appropriate languages and environements (Python, Julia, Matlab) Knowledge of optimisation problem formulations and solution methods Experience of risk
Searches related to software verification
Enter an email to receive alerts for software-verification positions