Software Engineer in Test


* 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,


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
  • Miami, Florida, United States
  • San Francisco, California, United States
  • Boston, Massachusetts, United States
  • Seattle, Washington, United States
Expected Base Salary

**0,000 USD

Academic Degree

Total Professional Experience

8 years

Startup Experience

2 years

Big-Tech Companies

no experience

Enterprise Experience

8 years
Contact Candidate


Send a connection request to the candidate to get their contact details.

Contact Candidate