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.
That's the web, not the internet. The internet existed continuously for over 2 decades before the web was created (although the general public didn't know about it).
"Existed": had actual users. (The US government started funding continuous research into packet switching in 1960.)
Also, if Tim Berners-Lee (TBL) hadn't created the web, someone else would probably have used the internet to create something like it in a few years whereas if the US hadn't invested heavily in packet-switching in the 1960s, 70s and 80s, a much longer interval of time probably would've gone by before someone created anything capable of enabling an ordinary programmer or sysadmin like TBL was to create something like the web.
"Ordinary": not able to command a lot of capital or labor.
TBL persuaded his boss to let him create the web during working hours. His boss agreed largely because he thought that the project would be a good way for them to evaluate a new computer the boss had bought (by NeXT). In other words, the existence of the internet (which in turn enabled the existence of a community of programmers interested in donating code to innovative projects, a community that got a very big boost when Stallman started publishing on the internet in 1983) enabled the creation of the web without any serious commitment from government, corporate executives and people with lots of money.
In contrast, the creation of a network that allowed an ordinary programmer to recruit open-source contributions to his project and to easily deploy server and client software of his own design required massive outlays of capital over 3 decades. It easy for such massive outlays to go awry in various ways. The US government avoided its going awry. In contrast, the French government retained so much centralized control over Minitel that at no point in Minitel's history could an ordinary programmer have used Minitel to create something as innovative as the web.
(It wasn't until the internet had been almost completely turned over to the private sector in the early 1990s, for example, that any software started to track users more than absolutely necessary for the operation of the network: in the early 1990s, anyone could send and email with president@whitehouse.gov in the "From" field. The reason it worked that way was to maximize anonymity of senders. There was no way for the sender of an email in the early 1990s to know whether the recipient read it, the reason again being a desire among the designers and maintainers of the infrastructure to maximize privacy.)
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
> If you meet your SoW, you will get paid. The FAR is very, very clear on this issue.
I am glad for you that your experience does not match mine. However, I'm going to stick by my statement.
I have had my funding pulled on a budgetary rearrangement. I have had Congressional staffers threaten my contract to score patronage after an election changeover. I have had already completed and signed off milestones suddenly get reexamined as not complete. And, while contracts are very well specified, there is not a lot of point in trying to litigate a contract on someone in the government who is determined to break it.
While my commercial contracts generally work beautifully (not always, but probably less than 5% cause serious issues), all but one government contract I have had longer than 12 months has had some government-initiated disaster (short contracts are better but you often waste too much time acquiring them for the amount of money involved).
I am glad you have never been high enough on anyone's radar to hit this or that you have a powerful champion as your protector. However, I have talked to more than a few people about this and I can tell you that I'm very much not alone.
> Source: I own a small R&D company that works for the DoD and IC
The difference may be R&D vs production. Someone is always looking to score political points by slapping around a supplier.
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.
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.
contact@trustedst.com