Skip to content

Instantly share code, notes, and snippets.

@sergei-mironov

sergei-mironov/Coqawei.md

Last active April 8, 2019 21:10
Show Gist options
  • Save sergei-mironov/42c2baeb6ba174cf46b4865b62f7a8b5 to your computer and use it in GitHub Desktop.
Save sergei-mironov/42c2baeb6ba174cf46b4865b62f7a8b5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Coqawei.md

Responsibilities

  • Research on the related technologies of formal modeling and formal verification in operating systems, embedded hardware and software, and model-driven development tools
  • Responsible for exploration of cutting-edge technologies and cutting-edge solutions in the field of formal verification
  • Responsible for formal verification project operation and implementation
  • Participate in the formalization of relevant project practices in the field of operating systems, complete the research, design, coding, debugging, etc.

Skills required

  • Knowledgeable in system architecture x86, ARM, etc. and OS Internals.
  • Experienced in software development on Windows and/or Linux platform with C/Python/Linux Shell
  • Knowledge or experience on software validation, system installation, test environment setup
  • Familiar with formal verification tools, model checking and theorem proving, such as Spin, UPPAAL, Coq, Isabell, Z3, etc.
  • Background in Compiler Theory and Development
  • Experience with algorithm development
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment