Software Engineer

Company Name: 
Post Date:  
Contact Email: 

Veriflow is looking for Software Engineers, at both Senior and entry levels, with a passion to work in a complex computing environment to deliver high quality networking applications. Successful candidate will work as part of a team that develops formal methods network analysis and verification applications. You will work with a team of industry experts, algorithm scientists, and developers to design, develop, optimize, and enhance subsystems and system components.


  • Develop and maintain software that underlies our network analysis framework. Interact with technical leaders to understand specifications and recommend designs and changes to facilitate efficient and effective development.

  • Optimize and improve performance of code, working with algorithms team to design and evaluate data structures and algorithms with the aim to improve scalability and performance.

  • Design and deliver products that meet specifications; ensure high standards in programming quality, style, and organization. Ability to create simple, easy-to-use designs that address complex user and environmental needs.

  • Enhance robustness and security of code, by performing on-going testing and code review in compliance with technical reference architecture. Write and execute performance and correctness tests for subsystems and components.

Education & Experience:

  • Bachelor’s or MS degree in Computer Science (or related field).


  • Strong experience developing software in Java and/or C++. Ability to pick up new languages or frameworks quickly.

  • Ability to work well on teams and achieve stretch goals in a fast-paced innovative environment.

  • Strong analytical, problem-solving, and debugging skills.

  • Good understanding of Object Oriented Design.

Additional experience in the following areas is highly desirable:

  • Knowledge of computer networking, operating systems, or computer security.

  • Good written and verbal communication skills. Ability to work well on teams.

  • Experience with Python.

    To apply, contact: