The Cyber System Exploitation Researcher will contribute to the development of cybersecurity tools ... Symbolic Execution • Data-flow Analysis for Compiled Binaries • Binary Intermediate ...
The Cyber System Exploitation Researcher will contribute to the development of cybersecurity tools ... Symbolic Execution • Data-flow Analysis for Compiled Binaries • Binary Intermediate ...
Art and Design Adjunct - Graphic Design
Durham, NC · On-site
$14.50 - $19.25/hr
ART 3060 - Design History (3 credits) A comprehensive introduction to the evolution of visual communication-from early symbolic systems and the origins of writing, to modern typography, animation ...
Art and Design Adjunct - Graphic Design
Durham, NC · On-site
$14.50 - $19.25/hr
ART 3060 - Design History (3 credits) A comprehensive introduction to the evolution of visual communication-from early symbolic systems and the origins of writing, to modern typography, animation ...
AI Researcher (AI-Oriented Knowledge Systems)
Piscataway, NJ · On-site
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
AI Researcher (AI-Oriented Knowledge Systems)
Piscataway, NJ · On-site
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
AI Researcher (AI-Oriented Knowledge Systems)
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
AI Researcher (AI-Oriented Knowledge Systems)
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
AI Researcher (AI-Oriented Knowledge Systems)
Piscataway, NJ · On-site
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
Quick apply
AI Researcher (AI-Oriented Knowledge Systems)
Piscataway, NJ · On-site
$85K - $145K/yr
AI Researcher (AI-Oriented Knowledge Systems) Location : Piscataway, NJ The estimated salary range ... Explore fusion methods combining LLMs with symbolic reasoning, leveraging advantages of both neural ...
Description Do you have experience conducting formal verification with formal methods for system ... Experience with formal methods tools and techniques, such as language safety properties, symbolic ...
Description Do you have experience conducting formal verification with formal methods for system ... Experience with formal methods tools and techniques, such as language safety properties, symbolic ...
Description Do you have experience conducting formal verification with formal methods for system ... properties, symbolic execution, abstract interpretation, model checking, and automated and ...
Description Do you have experience conducting formal verification with formal methods for system ... properties, symbolic execution, abstract interpretation, model checking, and automated and ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
These systems have capabilities to explain their outputs by how they reason based on knowledge ... Symbolic AI operates on structured data, knowledge graphs, physics theorems, rules, and logic ...
These systems have capabilities to explain their outputs by how they reason based on knowledge ... Symbolic AI operates on structured data, knowledge graphs, physics theorems, rules, and logic ...
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
Senior Applied Scientist, AWS Quick
Santa Clara, CA · On-site
$107K - $146K/yr
Own the end-to-end science lifecycle- from research and experimentation through production deployment - defining metrics to measure system performance and the real-world impact of neuro-symbolic ...
Senior Applied Scientist, AWS Quick
Santa Clara, CA · On-site
$107K - $146K/yr
Own the end-to-end science lifecycle- from research and experimentation through production deployment - defining metrics to measure system performance and the real-world impact of neuro-symbolic ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
Senior Applied Scientist, AWS Quick
$107K - $146K/yr
Own the end-to-end science lifecycle- from research and experimentation through production deployment - defining metrics to measure system performance and the real-world impact of neuro-symbolic ...
Senior Applied Scientist, AWS Quick
$107K - $146K/yr
Own the end-to-end science lifecycle- from research and experimentation through production deployment - defining metrics to measure system performance and the real-world impact of neuro-symbolic ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
... Symbolic Execution + Data-flow Analysis for Compiled Binaries + Binary Intermediate Representations + Binary Translation + Compiler Construction + Anti-debugging/Anti-instrumentation Techniques ...
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
Symbolic Execution * Data-flow Analysis for Compiled Binaries * Binary Intermediate Representations * Binary Translation * Compiler Construction * Anti-debugging/Anti-instrumentation Techniques
Expert knowledge of cyber security systems, including networking, kernels, security subsystems (DEP ... Familiarity with advanced Vulnerability Research topics such as symbolic execution, concolic ...
Quick apply
Expert knowledge of cyber security systems, including networking, kernels, security subsystems (DEP ... Familiarity with advanced Vulnerability Research topics such as symbolic execution, concolic ...
Symbolic Systems information
See salary details
$10.82 - $17.42
7% of jobs
$20.62 is the 25th percentile. Wages below this are outliers.
$17.42 - $24.02
36% of jobs
The median wage is $26.10 / hr.
$24.02 - $30.62
20% of jobs
$35.57 is the 75th percentile. Wages above this are outliers.
$30.62 - $37.22
15% of jobs
$37.22 - $43.82
12% of jobs
$43.82 - $50.42
5% of jobs
$50.42 - $57.01
2% of jobs
$57.01 - $63.61
1% of jobs
$63.61 - $70.21
0% of jobs
$70.21 - $76.81
0% of jobs
$76.81 - $83.41
1% of jobs
$10
$32
$83
How much do symbolic systems jobs pay per hour?
What is a Symbolic Systems job?
A Symbolic Systems job typically involves roles that integrate computer science, cognitive science, linguistics, philosophy, and psychology to analyze human and artificial intelligence. Professionals in this field work in areas like artificial intelligence, human-computer interaction, data science, and software development. They apply computational methods to solve problems related to language understanding, decision-making, and cognitive modeling. Many work in tech companies, research institutions, or startups, focusing on designing intelligent systems, improving user experience, or developing machine learning models.
What are the key skills and qualifications needed to thrive in the Symbolic Systems position, and why are they important?
To excel in a Symbolic Systems role, you need interdisciplinary expertise in computer science, cognitive science, psychology, and linguistics, often supported by a relevant bachelor's or master's degree. Familiarity with programming languages (like Python or Java), data analysis tools, and experience with systems modeling or AI frameworks are commonly required. Strong analytical thinking, problem-solving capabilities, and collaborative communication set candidates apart. These skills are vital for effectively designing and optimizing human-computer interactions, developing intelligent systems, and interpreting complex data in multidisciplinary environments.
What kinds of projects do Symbolic Systems professionals typically work on?
Symbolic Systems professionals frequently tackle projects that bridge technology and human cognition, such as designing intuitive user interfaces, developing AI-driven language models, or creating data visualization tools. Daily tasks often involve analyzing user behavior, modeling cognitive processes, and collaborating with engineers, designers, and researchers to refine interactive systems. The work environment is typically multidisciplinary, encouraging knowledge sharing and innovation across fields. Successfully navigating these projects requires adapting to new technologies and maintaining a holistic view of how humans interact with complex systems, making the role engaging and dynamic.
Full-time
Posted 14 days ago
Job description
MIT Lincoln Laboratory is a research and development center that focuses on advanced technology for national security. The Cyber System Exploitation Researcher will contribute to the development of cybersecurity tools and techniques, involving reverse engineering and exploiting software and hardware systems critical to U.S. government operations.
Responsibilities:
• contributing to the development of cyber security tools and techniques
• reverse engineering and exploiting software and hardware systems important to U.S. government operations and critical to the defense of our nation
• research in cyber tool prototyping and technical analysis of offensive or defensive cyber tools and systems
• automated vulnerability discovery
• reverse engineering
• software protection mechanisms
• static analysis
• dynamic instrumentation
• communicate research to non-domain experts through writing, public presentations, and hands-on training sessions
Qualifications:
Required:
• MS in Computer Science, Computer Engineering or related discipline or BS and 3+ years of directly related experience
• Selected candidate will be subject to a pre-employment background investigation and must be able to obtain a Secret level DoD security clearance.
• Additionally, must be eligible and willing to apply for a Top Secret SCI level DoD security clearance and be able to maintain this clearance level once obtained.
Preferred:
• Version Control Systems (Git)
• Dissassemblers/Decompilers (Ghidra, IDAPro)
• Debuggers (WinDbg, GDB)
• Programming Languages (C/C++, Python)
• Infrastructure/Container Provisioning/Orchestration Systems (Ansible, Kubernetes, Docker)
• Network Protocol Analysis (Wireshark, Tcpdump)
• Emulator/Virtualization Technologies (VMWare, QEMU)
• Operating System Internals
• Reverse Engineering of Embedded Systems Firmware, Malicious Code, Mobile Applications, and More
• Vulnerability Assessment
• Statistics and Metrics
• SAT/SMT Solvers
• Symbolic Execution
• Data-flow Analysis for Compiled Binaries
• Binary Intermediate Representations
• Binary Translation
• Compiler Construction
• Anti-debugging/Anti-instrumentation Techniques
• Network and Host Security Products
Company:
MIT Lincoln Laboratory is a federally funded research and development center chartered to apply advanced technology to problems of national security. Founded in 1951, the company is headquartered in Lexington, USA, with a team of 1001-5000 employees. The company is currently Late Stage.
About MIT Alumni Association
Sourced by ZipRecruiter
Industry
Colleges, universities, and professional schools
Company size
10,000+ Employees
Headquarters location
Cambridge, MA, US
Year founded
1875