Sr. Computer Scientist
Full-time
USA
The job listing has expired. Unfortunately, the hiring company is no longer accepting new applications.
To see similar active jobs please follow this link: Remote Development jobs
To see similar active jobs please follow this link: Remote Development jobs
Position Role:
· Develop mathematics-based behavior computation algorithms for analyzing assembly language code.
WORK IS REMOTE
Responsibilities:
- Develop behavior computation platforms that apply mathematical foundations to detection and reverse engineering of malicious content in assembly language code, and serve as a foundation for future software assurance applications.
- Conduct technology evaluation and trade-off analysis.
- Define system requirements and specifications, design and implement computational algorithms, select and integrate open-source components as required, and code and test critical components.
- Work effectively with small, high-powered teams to achieve on-schedule performance.
- Work effectively with management to develop products in the intersection of customer needs, technical possibilities, and business objectives.
- Exhibit strong verbal and written communication skills.
Qualifications:
- PhD or MS in Computer Science or Mathematics, background in formal methods and cyber security, and experience in applying correctness verification and theorem proving methods to software.
- Knowledge of mathematics of program structuring, function composition, and behavior analysis of assembly language code, as well as theorem proving and term rewriting systems such as ACL2.
- Knowledge of rigorous methods for requirements definition and system specification, design, implementation, validation, and testing.
- Programming skills:
- Algorithm design, implementation, verification, and testing.
- Multithreaded programming and performance optimization.
- Programming languages:
- Intel assembly language, Java, C, C++, and Python.
- Java Script, TypeScript, NodeJS Webservices, and Shell scripting languages will be a plus.
- Experience with Linux-based Operating Systems such a Red Hat, CentOS, and Ubuntu.
- Experience with git-based repository systems such as GitLab and GitHub, and tools such as JIRA.
- Experience with Intel, ARM, and Industrial Control System (ICS) processors, operating systems, and assembly languages will be a plus.
About the job
Full-time
USA
12 Applicants
Posted 3 years ago
Sr. Computer Scientist
The job listing has expired. Unfortunately, the hiring company is no longer accepting new applications.
To see similar active jobs please follow this link: Remote Development jobs
To see similar active jobs please follow this link: Remote Development jobs
Position Role:
· Develop mathematics-based behavior computation algorithms for analyzing assembly language code.
WORK IS REMOTE
Responsibilities:
- Develop behavior computation platforms that apply mathematical foundations to detection and reverse engineering of malicious content in assembly language code, and serve as a foundation for future software assurance applications.
- Conduct technology evaluation and trade-off analysis.
- Define system requirements and specifications, design and implement computational algorithms, select and integrate open-source components as required, and code and test critical components.
- Work effectively with small, high-powered teams to achieve on-schedule performance.
- Work effectively with management to develop products in the intersection of customer needs, technical possibilities, and business objectives.
- Exhibit strong verbal and written communication skills.
Qualifications:
- PhD or MS in Computer Science or Mathematics, background in formal methods and cyber security, and experience in applying correctness verification and theorem proving methods to software.
- Knowledge of mathematics of program structuring, function composition, and behavior analysis of assembly language code, as well as theorem proving and term rewriting systems such as ACL2.
- Knowledge of rigorous methods for requirements definition and system specification, design, implementation, validation, and testing.
- Programming skills:
- Algorithm design, implementation, verification, and testing.
- Multithreaded programming and performance optimization.
- Programming languages:
- Intel assembly language, Java, C, C++, and Python.
- Java Script, TypeScript, NodeJS Webservices, and Shell scripting languages will be a plus.
- Experience with Linux-based Operating Systems such a Red Hat, CentOS, and Ubuntu.
- Experience with git-based repository systems such as GitLab and GitHub, and tools such as JIRA.
- Experience with Intel, ARM, and Industrial Control System (ICS) processors, operating systems, and assembly languages will be a plus.