Software Engineer in Test

Summary

* Developed tool for test generation for C-program and for smart contracts using nonlinear CHC (Ethereum internship),
* Applying satisfiability solvers (SAT or SMT) for test generation focused on branch coverage maximization using Constrained Horn clauses (CHC) and published results on TACAS 2022,
* Significant experience in Quality Assurance, was responsible for various ways of testing, leading QA process and mentoring junior engineers, and conducting interviews,
* Knowledge of different verification techniques and experiences in the implementation of frameworks from scratch,

Expectations

The company should be willing to improve the quality assurance process and automation process and advance source code verification and automated reasoning technics. In addition, the process should include gathering coverage metrics.

Employment Preferences

Expected Base Salary

**0,000 USD

Academic Degree

Experience

Skills

• Python
• C
• C++
• Jenkins
• Linux