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.
Responsibilities:
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).
Requirements:
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: jobs@veriflow.net