evancich

Trusted Science and Technology | Embedded Developer with C/Python | seL4 developer | Full Time | Flexible hours | Rockville, MD

Trusted Science and Technology is a small research and development company. We create innovative cyber security solutions for DARPA, AFRL, and other DoD/IC research agencies.

We are looking for developers that are low level embedded and have experience with seL4 or other separation kernels.

[email protected]

Look up what "match day" and the NRMP is.

You mean, aside from the fact that we invented the internet?

You are welcome.

This is 1000% wrong.

You wrote: "We can cancel this contract and quit paying you money at any time."

That is an incorrect statement. The link below tells you how a DoD contract can be canceled.

http://farsite.hill.af.mil/reghtml/regs/far2afmcfars/fardfar...

If you meet your SoW, you will get paid. The FAR is very, very clear on this issue.

1) All of my resources are committed to the gov and I am not an idiot.

2) This is simply not true. It doesn't matter what flavor of contract you have: time and materials, cost plus fixed fee, etc. You have milestones and deliverables that are defined by your SoW. If you don't meet the milestones, you will not get paid. There is no incentive to "do nothing and wait for the last month of the contract"

3) This is an especially idiotic statement. These are called ECPs, which are a contract mod, which if there are enough of, the contract can get re-competited. Adding ECPs is a very, very bad idea.

You clearly have no idea what you are posting about wrt to gov contracts

Source: I own a small R&D company that works for the DoD and IC

You are 1000% wrong. Pay scales are "owned" by the DMCA. https://www.dcma.mil/DCMA-Pricing-Support/

A PhD with 20 years of experience = this pay band

You can pay your people whatever you want, but the gov will only pay your people what the DCMA says they are worth. If you pay higher, it comes out of profit (which is also metered by the DCMA) or some other source.

Source: A own a R&D engineering company that works for the DoD and IC.

I can pay a EE PhD $400k/year but the DoD will "only" pay me back around $175k for this person's time. I have to make up the difference.

Hence, for defense contractors, we "only" pay what the DCMA will let us charge.

In order, what matters are: tickets, experience, degrees, certs

Supported by Defense Advanced Research Projects Agency (DARPA) and Air Force Research Laboratory (AFRL), the first Annual seL4 Summit will be held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence for seL4 ecosystems, aiming to mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop needed capabilities. The development of seL4 was supported by the Defense Advanced Research Projects Agency (DARPA) under the High-Assurance Cyber Military Systems (HACMS) program, which aims to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Information about Summit agenda, venue and registration can be found at https://www.sel4-us.org/summit.