2,363 Results for

Applications Engineer Jobs in Columbia, MD

Senior Engineer / Analyst for ISRT & BMC2 Applications

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

Our engineers and analysts apply a wide-range of disciplines such as sensor and data fusion, signal and image processing, operations research, applied physics, and artificial intelligence to build systems that automatically or autonomously orchestrate sensors, process data into information, and make intelligent inferences and predictions about complex threats and environments. Have domain knowledge in ISR processes, systems, platforms, and sensors used by the US military and intelligence community; Navy and Air Force kill chain concepts; targeting, C2, and mission planning processes and tools; threat systems, weapon platforms and systems, and communications networks.

1 day ago
Modeling & Simulation Engineer / Analyst for ISRT & BMC2 Applications

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

Our dedicated team of engineers and analysts apply multidisciplinary fields such as sensor and data fusion, signal and image processing, operations research, applied physics, and artificial intelligence to build systems that automatically or autonomously orchestrate sensors, process data into information, and make intelligent inferences and predictions about complex threats and environments. As a Modeling and Simulation Engineer / Analyst for ISRT and BMC2 Applications: Your primary responsibility will be to contribute to teams developing mathematical / physics-based models, simulations, analytical methods and tools using Python, MATLAB, government software like AFSIM and other internal M&S tool-sets.

1 day ago
Application Packaging Engineer

System One

Vienna, VA

System One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America. • Provide technical leadership and guidance on software lifecycle management.

2 days ago
Principal Geotechnical/CMT Engineer

Hillis-Carnes

$115000 - $200000

Annapolis Junction, MD

Duties may include but are not limited to; general geotechnical engineering practice including the preparation of geotechnical reports/calculation, technical support of field staff, review of construction inspection daily field reports, and occasional project site field visits related to the projects you are involved in. Candidate will work with our geotechnical and materials testing/inspections departments and be responsible for a wide variety of projects for public and private sector clients.

28 days ago
Senior Mechanical Engineer (lead)

Jobot

$130000 - $180000

Baltimore, MD

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. Join a highly respected, multidisciplinary engineering firm with over a century of success delivering complex infrastructure and building projects.

3 days ago
Senior Electrical Engineer (Mission Critical)

Jobot

$135000 - $200000

Fairfax, VA

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. You will also have access to a strong benefits package that supports both your career and personal life, including flexible scheduling, competitive compensation, comprehensive healthcare, retirement planning, and tuition reimbursement.

Today
Senior Mechanical Engineer

Jobot

$100000 - $200000

Washington, DC

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. This is a permanent role that will require you to use your knowledge and experience in air distribution, ventilation, automation, controls, design, development, construction, QA, QC, LEED, BD+C, ASHRAE, and other related areas.

2 days ago
Software Engineer (TS/SCI)

Jobot

$150000 - $250000

Crownsville, MD

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. We are a cloud, software, and systems engineering firm specializing in custom application development, DevSecOps, and AI-driven data analytics, primarily serving federal and defense clients.

3 days ago
Software Engineer

Jobot

$120000 - $150000

Arlington, VA

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. If you have a solid grounding in software engineering, continuous delivery, and computer science, and are looking for a career opportunity to grow and leverage those skills to the fullest while working on cutting edge technologies – Here is the place to be!

Today
Structural Engineer

Jobot

$80000 - $125000

Montgomery Village, MD

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. By applying for this job, you agree to receive calls, AI-generated calls, text messages, or emails from Jobot, and/or its agents and contracted partners.

3 days ago
Principal Cybersecurity Engineer- Architecture

OneMain Financial

$130000 - $156000

Baltimore, MD

Along with security platform mastery in more than one platform area (IDS/IPS, firewall/WAF, access and identity, malware defense, threat modeling, exposure management, among others), the Principal Cybersecurity Engineer is formally trained in enterprise IT design and architecture practices. The Principal Cybersecurity Engineer has a demonstrated mastery in multiple security and non-security technology platforms, with the ability to both lead and advise on the overall designs and strategies of both security and non-security technologies.

3 days ago
Sr Mechanical Engineer/Dept. Head

Jobot

$120000 - $160000

Baltimore, MD

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. Successful candidates will have a strong background in MEP Consulting (Mechanical, Plumbing, & Fire Protection Engineering) with proven leadership experience.

2 days ago
Project Engineer (Future Openings)

In-Q-Tel

McLean, VA

These can include cloud infrastructure, AI/ML applications, geospatial analytic tools, data analytics platforms, large-scale data systems, multilingual translation tools, additive manufacturing tools, autonomous platforms, supply chain solutions, cybersecurity solutions, cryptocurrency, computer vision, SaaS products, wireless communications, RF systems, microelectronics, materials science, space systems, and biotechnology. As well as encompassing defense-focused startups and harnessing existing and over-the-horizon commercial technologies to sustain military and intelligence overmatch against adversaries, Global Security Investing emphasizes the importance of international reach and collaboration in a world where innovative venture-backed startups can now be found everywhere.

4 days ago
Cloud / Automation Engineer - Secret Cleared

Global TechPro

Arlington, VA

You'll join a dedicated team while actively collaborating across cloud and on-prem environments, building real breadth across modern DevOps tooling, not just maintaining a single stack. What you'll doBuild and maintain CI/CD pipelines across cloud (AWS, EKS, GitLab, Terraform, Docker) and on-prem (Jenkins, OpenShift, Ansible) environments.

7 days ago
Mobile Reverse Engineer (TS/SCI clearance)

System One

$150000

Bethesda, MD

Provide malicious code reverse engineering to isolate, review, analyze, and reverse-engineer potentially malicious programs recovered from compromised computer systems and networks. • Background: Conduct software exploitation against applications, middleware, operating systems (OS) user interface, OS drivers/runtimes, firmware and other binary data: • Working experience in software engineering and related technologies.

9 days ago
Sr. Software Engineer 2 (IFS)

Exelon

$116000 - $159500

Baltimore, MD

We are a Fortune 200 company, 20,000 colleagues strong serving more than 10.7 million customers at six energy companies -- Atlantic City Electric (ACE), Baltimore Gas and Electric (BGE), Commonwealth Edison (ComEd), Delmarva Power & Light (DPL), PECO Energy Company (PECO), and Potomac Electric Power Company (Pepco). Expert Agile development practices and good experience at using tools like ADO, JIRA, GitHub Cloud Technologies, Containers (Docker, Kubernetes, Service mesh, Istio), Cloud-Native, Streaming Data tools like Kafka, Snowflake, AI/ML Data Science.

2 days ago
Application Architect

System One

$170000 - $190000

Bethesda, MD

While the Senior Application Architect partners closely with cloud, operations, data, and cybersecurity teams, the primary accountability is for application architecture and application design decisions, including ownership of RESTful services and application integration strategy from concept through implementation and long-term evolution. The Senior Application Architect works closely with engineering teams, product owners, operations, and security to design and guide the implementation of modern, reliable, and well-integrated application solutions.

2 days ago
Senior Application Developer (onsite)

System One

Washington, DC

o Proficiency in Terraform includes the ability to create, secure, manage, update, and maintain AWS GovCloud-native infrastructure including services like: Glue, RDS/Aurora (Postgres), CloudWatch, CloudTrail, S3, ECS, API Gateway, etc. • This position will help support the development of services utilizing AWS Containerized and cloud services along with familiarity with Agile processes and roles along with experience utilizing CI/CD for building and deploying cloud applications with the Python language for backend services and Angular for front-end development.

3 days ago
Lead Software Engineer

OneMain Financial

$96000 - $115200

Baltimore, MD

The ideal candidate will have in-depth experience with Workforce Management (WFM), Customer Relationship Management (CRM) systems, call recording solutions, dialers, reporting tools, API integrations, and a strong hands-on working knowledge of NiceCX systems. Data modeling experience to design, develop, and maintain GraphQL APIs and Data Solutions using RDBMS like Aurora, Postgres, and in-memory data stores like Amazon Memory DB and Redis, ensuring optimal performance, data integrity, availability and scalability.

3 days ago
Senior IT DevOps Engineer (onsite)

System One

Washington, DC

They will be responsible for designing, implementing, and maintaining secure, scalable, and efficient cloud infrastructure for multiple environments (e.g., development, testing, staging, production) of the new application. The DevSecOps Engineer will be instrumental in establishing best practices for cloud-native application development, enhancing our security posture, and enabling agile and efficient operations.

2 days ago
Senior Data Engineer

Jobot

$140000 - $180000

Bethesda, MD

The organization partners, acquires, or in-licenses drugs from pharma companies, research organizations, and biotechs to develop programs past clinical proof of concept and beyond, ultimately helping to bring new medicines to patients. Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal.

2 days ago
Section Engineer

Exelon

$112000 - $154000

Edgewood, MD

Develops and/or leads teams of employees or contractors in studies, plans, criteria, specifications, calculations, evaluations, design documents, integrated systems analysis, associated with the testing, commissioning, planning, design, licensing, construction, operation, and maintenance of Exelon's electric generation, transmission, distribution, gas, telecommunication, P&C communication, facilities/systems. We are a Fortune 200 company, 20,000 colleagues strong serving more than 10.7 million customers at six energy companies -- Atlantic City Electric (ACE), Baltimore Gas and Electric (BGE), Commonwealth Edison (ComEd), Delmarva Power & Light (DPL), PECO Energy Company (PECO), and Potomac Electric Power Company (Pepco).

3 days ago
General Engineer

Exelon

$92000 - $126500

Edgewood, MD

Develops studies, plans, criteria, specifications, calculations, evaluations, design documents, performance assessments, integrated systems analysis, cost estimates, budgets, associated with the planning, design, licensing, construction, commissioning, operation, and maintenance of Exelon's electric generation, transmission, distribution, gas and telecommunication facilities/systems. (4) Career related experiences is defined as changes in technical job responsibilities and does not have to include a change in department Note: Items (1) and (3) are mutually inclusive, whereby the maximum experience requirement reduction is one(1) year (e.g., in the case of an employee with both a master's degree in Engineering AND a PE license, the minimum experience requirement would be reduced by one (1) year).

3 days ago
Electrical Commissioning Engineer

Jobot

$90000 - $120000

Washington, DC

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. Our practical approach addresses our clients' complex energy needs, maximizing savings and return on investment while minimizing environmental impact across all served markets.

3 days ago
Storage Engineer - IPv6 Support- Public Trust

PEAK Technical Staffing

$31.44 - $44.36

DC, DC

Top Qualifications:Must have a minimum of 5 years of related experience providing storage solutions engineering support, to include storage management, administration and maintenance of storage systems (e.g., SAN, INAS) ensuring high availability/and performance. This role involves ensuring optimal performance, security, and availability of storage resources, as well as managing IPv6 configurations and addressing issues related to both storage systems and IPv6 networks.

Today
Telecommunications Design Engineer

System One

$160000 - $175000

Alexandria, VA

We are seeking a Senior Telecommunications Design Engineer to support a secure federal communications environment responsible for maintaining and modernizing mission critical telecommunications and data center infrastructure. The engineer will develop engineering documentation and infrastructure designs supporting secure voice, data, and communications systems within a high availability environment.

5 days ago
Prin Engineer (Underground Transmission)

Exelon

$122400 - $168300

Rockville, MD

Develops and/or leads teams in studies, plans, criteria, specifications, calculations, evaluations, design documents, performance assessments, integrated systems analysis, cost estimates, budgets, associated with the planning, design, licensing, construction, operation, and maintenance of Exelon's electric generation, transmission, distribution, gas, and telecommunication facilities/systems. We are a Fortune 200 company, 19,000 colleagues strong serving more than 10 million customers at six energy companies -- Atlantic City Electric (ACE), Baltimore Gas and Electric (BGE), Commonwealth Edison (ComEd), Delmarva Power & Light (DPL), PECO Energy Company (PECO), and Potomac Electric Power Company (Pepco).

30+ days ago
Maritime Robotics Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

We are seeking a Maritime Autonomous Systems Engineer to help the US Navy prototype and adopt new maritime robotics technologies for uncrewed surface vehicles (USVs), uncrewed undersea vehicles (UUVs), and other robotic vehicles. In this role, you will have a direct impact on the Navy’s biggest challenges as you apply your systems engineering, test, and team leadership skills to achieve the goals of APL prototype projects and modernize our sponsors’ acquisition approach for autonomous systems.

9 days ago
Senior ETL Data Engineer

System One

$70.55

Columbia, MD

The Senior Data Engineer is responsible for orchestrating, deploying, maintaining, and scaling cloud and/or on-premise infrastructure supporting big data and enterprise data platforms (Relational and NoSQL, distributed and converged systems). 15% – Data Collection FrameworksCreate frameworks for structured and unstructured data collection.

9 days ago
Staff Software Engineer (React, TypeScript, Rails, Node)

OneMain Financial

$110000 - $132000

Baltimore, MD

In this role, you will work closely with Product, UX, Engineering Managers, and other senior engineers to shape platform architecture, guide technical direction, and deliver scalable, high-quality software that improves the financial wellness of our customers. See OneMain Financial Privacy Policy at https://www.onemainfinancial.com/legal and SonicJobs Privacy Policy at https://www.sonicjobs.com/us/privacy-policy and Terms of Use at https://www.sonicjobs.com/us/terms-conditions.

3 days ago
Staff Electrical Engineer

Aminov Search Partners

$125000

Herndon, VA

Responsibilities include designing circuit boards, developing firmware for FPGAs and CPUs, crafting cable/harness layouts, and creating comprehensive technical documentation. Embrace this opportunity to contribute to cutting-edge projects in collaboration with NASA and DoD, where your work will be at the forefront of aerospace engineering innovation.

8 days ago
Senior Kubernetes Engineer / Platform Administrator

System One

$200000

Washington, DC

This role is ideal for a senior engineer who thrives in complex Kubernetes environments, with the ability to design, operate, and optimize large-scale container platforms while supporting modern application architectures. We are seeking a highly experienced Senior Kubernetes Engineer / Platform Administrator to lead the design, deployment, and sustainment of containerized application platforms.

9 days ago
Program Chief Engineer

FIBERTEK, INC.

Herndon, VA

The Program Chief Engineer will have high-impact responsibilities that include: Technical leadership of select programs resulting in the successful delivery of laser-based systems and technologies that demonstrate new operational capabilities critical to national interests in defense and space exploration. Provide input on the development and adoption of engineering tools and best-practices that enhance the efficiency and operational success of engineering development programs and incorporate design features that enable predictable manufacturing following initial development and demonstration.

8 days ago
Senior Embedded Systems & Hardware-in-the-Loop Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$105000 - $290000

Laurel, MD

The Electro Optical Seeker and Infrared Systems group (A1F) of the Air and Missile Defense Sector (AMDS) is seeking a Senior Embedded Systems & Hardware-in-the-Loop Engineer to lead the architecture and implementation of complete embedded systems, custom electronics hardware, FPGA firmware, real-time embedded software, and sophisticated HWIL test systems. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.

1 day ago
Senior Maritime Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development. You will work with a small team of engineers and scientists on multiple concurrent projects to collect, analyze, document and monitor requirements that fuel the engineering development cycle.

9 days ago
Radar Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$85000 - $195000

Laurel, MD

You will work in a teamed environment to analyze live tactical sensor data; identify and solve problems that impact mission requirements; compare to physics-based simulations that provide unprecedented realism and new levels of understanding of system performance in operationally realistic environments in the presence of the world's most challenging threats. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.

1 day ago
Applied Quantum Computing Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development. We are seeking dedicated individuals to perform purposeful research and development toward building new capabilities to ensure the resilience, safety, and security across a range of military and intelligence community systems.

9 days ago
Full Stack Engineer

System One

Vienna, VA

Acts as a technical and analytical expert, independently tackling highly complex problems, leading functional initiatives, and translating raw data into trusted insights that improve the performance and decision-making capability of client's analytics ecosystem. Architects and delivers Full Stack analytics solutions spanning data ingestion, transformation, modeling, and visualization using Cloud and Big Data technologies (Azure, Databricks, SQL, Spark).

2 days ago
EDP Platform Engineer (Databricks Admin)

System One

Washington, DC

Experience administering Databricks serverless compute, Workspace Git integrations (GitLab), Databricks Asset Bundles (DABs) for deployment automation, and modern workspace features supporting DevOps workflows. • SLA/SLO management and stakeholder communication skills; ability to define platform service levels, produce operational reports, translate technical issues to business stakeholders, and manage vendor relationships (Databricks account teams).

9 days ago
Reverse Engineer for RF Systems

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.

9 days ago
Data Engineer/Developer

System One

$60 - $70

Frederick, MD

Experience in JavaScript that includes modifying database data/objects, analyzing relationships, validating data types and data reconciliation in a NoSQL database. Experience developing python scripts used to access, query, and modify data in SQL (e.g., PostgreSQL) and NoSQL databases (e.g., MongoDB).

30+ days ago
Systems Engineer - Linux / Windows

System One

$115000 - $120000

Merrifield, VA

System One IT is staffing a direct hire opening for a Linux/Windows Systems Engineer with a respected systems integrator, supporting a federal end customer in Fairfax, VA. Windows system administration tasksScripting – able to create & maintain scripts files (.BAT, VBS) as needed to automate system functions and monitoring.

9 days ago
Sr. Voice Engineer w/CCNP Collaboration

System One

$180000

Washington, DC

Provides expert level analysis of voice, video, radio-frequency, and/or data communications networks, including planning, designing, evaluating, selecting, and upgrading operating systems and protocol suites and configuring communication media with concentrators, bridges, and other devices. Minimum Experience: At least 10 years of IT experience inclusive of the following minimum specific experience: 10 years network infrastructure and network security, LAN & WAN experience, preferably with Cisco, Fortinet, Arista, Aruba, and or Palo Alto.

7 days ago
Lead Sitecore Engineer (remote)

System One

$60 - $65

Baltimore, MD

This role is ideal for a senior engineer with experience in agency or consultancy environments who can balance hands-on technical execution, delivery accountability, mentorship, and strong cross-functional partnership. • Deep, hands-on experience with Sitecore XP/XM (or composable Sitecore), including templates, renderings, workflows, publishing, Experience Editor, and personalization concepts .

9 days ago
IT Platform Engineer Senior

University of Maryland

$152480 - $182976

College Park, MD

This position is considered essential and may be required to work at the normal work location or an alternative location during a major catastrophic event, weather emergency, or other operational emergency to help maintain the continuity of University services.** . Optimize cloud resources for efficiency, reliability, and cost savings through providing technical assessments to cloud environment’s design and integration challenges and recommending mitigation approaches.

13 days ago
Reverse Engineer and Offensive Cyber Developer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges. We seek experienced reverse engineers and developers who will build inventive cyber capabilities leveraging novel reverse engineering and exploitation techniques.

1 day ago
Senior Data Fusion and Tracking Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Odenton, MD

Have demonstrated subject matter expertise in relevant technical areas: data association and correlation, state-estimation, Kalman filtering, track-level fusion, distributed data fusion, characterization of sensor information, common tracking measures of performance. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.

28 days ago
Digital Communications Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

Can demonstrate proficiency in using modeling tools and software, such as Cameo Systems Modeler, Sparx Enterprise Architect, Capella, Visual Paradigm, or IBM Engineering Systems Rational Rhapsody. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.

9 days ago
Combat Systems Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.

9 days ago
Formal Verification and Software Assurance Engineer

Johns Hopkins Applied Physics Laboratory (APL)

$100000 - $245000

Laurel, MD

Experience with (1) Static Analysis tools such as Coverity and Klockwork, (2) Dynamic Analysis tools such as Valgrind, libFuzzer, and Java Pathfinder, (3) Symbolic Execution Engines such as KLEE and angr, (4) Model Checkers such as TLA+ and SPIN, (5) SMT Solvers such as Z3, CVC5 and MathSAT (6) other Automated Theorem Provers such as ACL-2 and GnatProve, (7) Interactive Theorem Provers such as Lean and Rocq, and any other formal methods tools. Experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated and interactive theorem proving, programming language analysis and design, type theory, static source code analysis, and formal logic.

9 days ago