We are looking for employees with excellent technical expertise and a strong motivation for success. We offer competitive salaries and benefits, a sense of mission, and flexible working arrangements (when appropriate). If you are interested, forward a statement of your interest and a résumé to hr@ashtonlabs.com.

Software Developer

Experience in writing kernel-level, BIOS or real-time code in C and assembly language. Knowledge of low-level PC architecture, including addressing hardware components on the various buses. Experience with SMM and hypervisor mechanisms in existing and imminent PC architectures is a plus.

Computer Science

Design and analyze the security of computing and networking devices, including OS and RTOS kernels, file systems, network stacks, schedulers, etc. Experience with hardware interfaces a plus. Assist in the development of formal designs and covert channel analyses.

Computer Security

Analyze IT product designs for security flaws, determine appropriate security structures and models. Be familiar with the CC evaluations, C&A, safety certification, MLS, guards, mandatory and discretionary security policies and their application in systems.

Formal Methods

Ability to express security policies and software and hardware designs formally, prove their consistency and prove conformance between adjacent pairs. Familiarity with Zed, HOL, Isabella, and others. Assist in the preparation of covert channel analyses.

Mathematics

Provide theoretical foundations for formal methods, covert channel analysis, differential power analysis, etc.

Hardware Engineering

Design and implement security testing of smart cards and IC chips, assist in the development of security documentation for hardware components.

Technical Writing

Produce product security policies, functional specifications, high- and low-level designs, semi-formal correspondences, operator manuals, CC security targets and protection profiles.