Hardware Hawaii Employment Application: Fill & Download for Free

A United States aircraft carrier group is one of the most secure entities on the planet.What I feel is most misunderstood is that carriers never travel alone. There are numerous ships always traveling around a carrier to ensure its safety against a number of possible enemy threats. This is to ignore many layers of satellite, missile, and ground based defenses. Together, they create many layers of protection for the fleet against a vast array of dangers which the carrier could one day face. Together, through an overlapping mesh of threat deterrent systems, they function at the highest level of defense that technology can provide.A carrier battle group (CVBG) consists of an aircraft carrier (designated CV) and its large number of escorts, together defining the group ... CSG or CVBG normally consist of 1 Aircraft Carrier, 1 Guided Missile Cruiser (for Air Defense), 2 LAMPS (Light Airborne Multi-Purpose System) Capable Warships (focusing on Anti-Submarine and Surface Warfare), and 1–2 Anti Submarine Destroyers or Frigates.[2]That said, they aren't invulnerable by any stretch of the imagination. Its doubtful that anyone could out fight a carrier in the ocean through the use of fighters or bombers, such as the iconic Battle of Midway in World War II. Because of its many layers of defense, most other systems built by rival carriers would not be a major threat to the ships. Instead, I would envision the threats coming from newer technologies few people are talking about currently. The first of these, is the hypersonic cruise missile systems.HypersonicsHypersonics have made a lot of news in the last few years, as progresses in the scramjet have made it possible to travel at speeds never before imagined. In 2011, the United States tested a hypersonic missile with speeds exceeding Mach 6 and are capable of creating missiles and aircraft which could one day reach Mach 20, more than 15ooo miles per hour. China, Russia, and even India have invested much work into the creation of hypersonic weapons systems like the Chinese Wu-14 and the Indian Shaurya.Current U.S. missile defense sensors and interceptors are designed primarily to hit ballistic missile warheads that travel in predictable flight paths from launch, through space and into ground targets. China surprised U.S. intelligence agencies last year by conducting three flight tests of the Wu-14 in January, August and December. The vehicle traveled at speeds up to Mach 10, or nearly 8,000 miles per hour. U.S. intelligence agencies assessed the Wu-14 to be a nuclear delivery vehicle designed to break through U.S. defenses. In addition to China, Russia and India are working on hypersonic strike vehicles.To put the capabilities of these weapons in perspective, the Indian Shaurya clocked in at a speed of about Mach 7.5. That means that in its test, it could cover the distance of San Francisco, California to Phoenix, Arizona in roughly the same time as a TV commercial break. A test for an American system this year may see the distance of California to Hawaii covered in the same amount of time. What this means for warfare is a highly unpredictable, impossibly fast moving weapons system that will test every technological capability in our arsenal, but push for an era of threat deterrent systems most of us aren't even ready to conceive of yet.The threat of hypersonic missiles means that, in spite of the numerous defenses, something that fast will simply be able to outrun any defenses or tracking systems that can be produced. With a system like that, it is feared that a missile could be created that could deliver a nuclear warhead, one which would explode over the carrier group. Add to this that, in the future, these systems may be able to be deployed from submarines, allowing the missiles to be launched from virtually anywhere.To counter the threat of hypersonic missiles, a new generation of counter ballistics is being developed. The push towards solving the hypervelocity problem has devised even more radical new systems, which not only give the United States added defense against hypersonics, but also give the military additional capabilities, as well.One of these defense systems is the electromagnetic railgun. The railgun uses focused electrical energy to create a magnetic field that pushes a ballistic projectile at speeds around mach 7. A hypervelocity weapon itself, the projectiles have the capabilities of intercepting incoming cruise and ballistic missiles of both the extreme speed and conventional variety. What's more, the weapon can be used to attack not only incoming missiles, but also land targets, as well. On top of this, the weapon system surpasses older conventional naval guns in range and utility. While modern weapons can fire a projectile around 13 nautical miles, the railgun can be fired as far as 110 nautical miles, and it does this without the use of dangerous munitions which would need to be stored on ship and handled by crew members. Because the entire bulk of the missile systems doesn't need to be used, assault ships armed with rail technology can store hundreds more railgun rounds than they could conventional missiles. One last benefit that the railgun offers? It costs about 100x less to operate than any other alternative. That's a game changer.Submarine WarfareNew generations of submarines are now capable of operating undetected like no other generation of subs before. They've proven themselves in combat trials to be capable of greeting the carrier fleet from beneath the surface with frightening stealth and capabilities.The Gotland-class submarines of the Swedish Navy are modern diesel-electric submarines, which were designed and built by the Kockums shipyard in Sweden. They are the first submarines in the world to feature a Stirling engine air-independent propulsion (AIP) system, which extends their underwater endurance from a few days to weeks.[2] This capability had previously only been available with nuclear-powered submarines.In 2004, the Swedish government received a request from the United States of America to lease HMS Gotland – Swedish-flagged, commanded and manned, for a duration of one year for use in antisubmarine warfare exercises. The Swedish government granted this request in October 2004, with both navies signing a memorandum of understanding on March 21, 2005.[5][6] The lease was extended for another 12 months in 2006.[7][8][9] In July 2007, HMS Gotland departed San Diego for Sweden.[10]HMS Gotland managed to snap several pictures of the USS Ronald Reagan during a wargaming exercise in the Pacific Ocean, effectively "sinking" the aircraft carrier.[11] The exercise was conducted to evaluate the effectiveness of the US fleet against diesel-electric submarines, which some have noted as severely lacking.[12][13]Advances in submarine technology left US naval shipbuilders and commanders rather embarrassed. As yet, that was their purpose in taking part in the war games. The fleet was again challenged in 2006 when a similar vessel, one of the Chinese Song-class attack submarine quietly surfaced within nine miles of the aircraft carrier USS Kitty Hawk. The vessel was close enough to strike with one of its 18 homing torpedoes. None of the ships escorting the Kitty Hawk within the carrier strike group detected the Song until it breached the surface.The 2004 exercises validated many concerns for the aging fleet, and the 2006 shot across the bow cemented them. Still, in light of the last decade since, many of these concerns we've had about the new generation of subs have left many fears sunk. For instance, ships like the Song and the Gotland were not meant for deep sea operations. Their revolutionary systems, while novel, limit their range. They are short range ships that do not possess the range for true "blue water" operations, exactly what the aircraft carrier was engineered to do. They were, instead, designed for missions nearer to their home ports in the North Sea and the waters surrounding China in primarily defensive roles. This allows ships like the modern carriers to maneuver out of range for most of their purposes, limiting the threat of the new silent running submarines. Added to this reduction in threat is the fact that China has slowed its purchasing of new subs, further limiting its naval presence in the coming era of warfare and its threats to the United States Navy. In the interim decade, the US Navy has also been updating its systems, particularly in the form of the new Gerald R. Ford class super-carrier to replace many of the Nimitz ships. The new carriers are loaded with new technologies, many developed with insights gleaned from the missions against new technology submarines.Cyber WarfareCyber Warfare is the unappreciated threat to all military defenses. Many people talk about it as being something terrifying, but few people understand the nature of the threat posed to the US Military, or any other military for that matter.Cracking has become a major sector of cyber warfare. An example would be the Stuxnet virus, made famous for its approach to disabling Iranian nuclear refinement operations. Joel Brenner, a Senior Counsel at the National Security Agency, in his book America the Vulnerable, describes why Stuxnet was so incredible. It was a worm, a self-replicating virus, which utilized not just one, but four previously unknown vulnerabilities in Microsoft operating systems to spread itself throughout a worldwide infection. Once spread, it sought out particular Siemens centrifuges, like those used by the Iranians to refine Uranium, and bring them down. This virus baffled engineers for months, unaware that random system outages were really the result of advantage sabotage from outside the country. What it showed was the threat to even extremely powerful and well defended military systems. More perplexing, the Stuxnet virus, Brenner postulates, could have only have been created by one of a very few groups who would have had the technological capability to create it, that being the national governments of either United States, Russia, China, Israel, or one of a few members of the European Community. It goes way beyond the capability of the midnight hacker savant or the college computer science nerd out for kicks. This was deliberate and ingeniously engineered attack conducted by nations.He continues in his book to describe the threat posed by China. China is a special case in that, besides a cyber warfare branch of the People's Liberation Army, China also has the added asset of tens of thousands of nationalistic, "Patriot Hackers". These individuals form a community of cracker groups which focus on exploiting all international information vulnerabilities from corporate, to military, and even personal. This core group of international hackers has been responsible for countless patent thefts and billions in lost research and development to the benefit of Chinese corporations, but is also responsible for compromising classified information worldwide. China's hacker community is distinctly different from that of nations like the United States, which, if a pattern could be set, would be better described as anarchistic and anti-government, and even those in Russia, who are much more geared to cyber crime for profit. China's hackers, instead work together alongside, or at least to the benefit of, China's national government. All this while still be officially "unaffiliated" with the government for diplomatic and legal reasons. Effectively, the Chinese have a clandestine cyber national guard, growing in capabilities and there isn't really a thing the world can do about it.From Cyber-warfare 'is a growing threat'Future state-on-state conflict, as well as conflicts involving non-state actors such as al-Qaida, would increasingly be characterised by reliance on asymmetric warfare techniques, chiefly cyber-warfare, Chipman said. Hostile governments could hide behind rapidly advancing technology to launch attacks undetected. And unlike conventional and nuclear arms, there were no agreed international controls on the use of cyber weapons."Cyber-warfare [may be used] to disable a country's infrastructure, meddle with the integrity of another country's internal military data, try to confuse its financial transactions or to accomplish any number of other possibly crippling aims," he said. Yet governments and national defence establishments at present have only limited ability to tell when they were under attack, by whom, and how they might respond.The US Defence Department's Quadrennial Defence Review, published this week, also highlighted the rising threat posed by cyber-warfare on space-based surveillance and communications systems."On any given day, there are as many as 7 million DoD (Department of Defence) computers and telecommunications tools in use in 88 countries using thousands of war-fighting and support applications. The number of potential vulnerabilities, therefore, is staggering." the review said."Moreover, the speed of cyber attacks and the anonymity of cyberspace greatly favour the offence. This advantage is growing as hacker tools become cheaper and easier to employ by adversaries whose skills are growing in sophistication."From: Navy Battles Cyber Threats: Thumb Drives, Wireless Hacking, & ChinaSome of those vulnerabilities are forehead-smackingly simple, once you know where to look. “You can walk around any ship, most aircraft, and you can find either USB ports or serial ports that were put there for maintenance,” said Leigher. “They were done for good engineering reasons” — to download diagnostic data, for example — “but the engineer wasn’t thinking about computer security.” What if an enemy agent under cover as a contractor or even as a civilian on a good-will tour slipped a virus-loaded thumb drive into one of those ports? What if the bad guy simply tricked a sailor into doing it for him?From: Page on ali-cle.orgU.S. computer experts playing the part of foreign hackers managed to shut down all communications among the U.S. Pacific fleet, and could have shut down the entire western half of the U.S. power grid.Having said all this, it is plausible a group of hackers which are well enough organized and with enough backing could comprise our carrier's systems. It is possible that infected equipment could be installed on the ships themselves, since it is economically impossible to produce all the technologies built for these ships in government controlled factories, nor even, all in the United States. Foreign manufacturing produces gateway points for hardware to be slipped in with infected files that could then reproduce throughout the vessel's internal secured networks and systems. If this were to happen, it is possible that these ships could be brought down through their own control systems, hypothetically locking up their systems, halting their communications, melting down their reactors, crashing them into the rocks, or just causing them to float dead in the water. This is broadly hypothetical, but has precedent.In the 1980's Russia had poor abilities to produce microchips and the soviets worked to steal technology from the West, decades aheads of them technologically speaking. Because of a defector, the United States was able to know what it was Soviet spies were after. The Americans allowed flawed microprocessors to be stolen and their programs copied. These were made so well that they passed an initial inspection, only break down chemical and manufacturing facilities and overpower turbines in the Trans-Siberian pipeline. When soviet spies stole plans for gas-line pumps, they were unaware that it was intentionally designed to pump with much more pressure than the pipes were ever meant to handle. William Safire of the New York Times in 2004 was the first to break this story 25 years later. In his words, "The result was the most monumental, non-nuclear explosion and fire, ever seen from space."While this is purely hypothetical, all the necessary ingredients are in place for the possibility of cyber-threats from other nations, or even cyber-terrorism. For that reason, the United States military created the US Cyber Command. On June 23, 2009, the Secretary of Defense directed the Commander of U.S. Strategic Command to establish a sub-unified command, United States Cyber Command (USCYBERCOM). Full Operational Capability (FOC) was achieved Oct. 31, 2010. The Command has three main focus areas: Defending the DoDIN, providing support to combatant commanders for execution of their missions around the world, and strengthening our nation's ability to withstand and respond to cyber attack. I couldn't find a video. I don't think they want me talking about it.SummaryI don't think that anyone out there thinks the aircraft carrier is almighty. It's vulnerabilities are well known. While these vulnerabilities are at the center of many debates within military circles, they aren't enough to mean that the carrier is dead. The truth is that the carrier will live on, so long as there is a need for them which outweighs their costs and the risks to use them.Frankly, many involved in the debates taking place today over the future of the carrier don't consider the big picture of why the ships exist at all. They are quick to note the massive costs of these floating cities, and the potential loss of life if one were sunk. The best can list off a few times when vulnerabilities in the system have been discovered. This, however, doesn't mean the sky is falling and that the end of American blue water dominance is nigh. What is equally important is understanding how even the new technologies have vulnerabilities themselves, and to realize that other new technologies are being equipped to counter them warfare's endless waltz.That said, of all the people who say that the costs are too high, I never hear anyone offer the only real thing that could serve as a true threat to the carriers; a better alternative. Show me a better method for giving the military the ability to utilize strong diplomacy to preserve peace and I will agree with you, the air craft carrier needs to be a museum. An example of this would be the recent parking of a floating runway off the coast of Yemen to deter Iranian support of rebels, thus preventing an escalation of the Iran/Saudi proxy wars. This is what the carriers do and why we will need them in the future.This is why, in spite of the costs and the risks, the Navy is currently in the process of replacing their Nimitz class supercarriers with the new Gerald R. Ford class housing improvements to the technology suite and boasting a lighter crew requirement. In light of super death nuke missiles moving at 10,000 miles an hour and an army of Chinese hackers, people often view tactics as old as a war that ended 70 years ago as outdated. What all the vulnerabilities showcase is that only the most powerful nations in the world have the means to create the threats necessary to put the United States' carrier fleet at risk. For those willing to even try, no attack being guaranteed. of course, would surely have resigned themselves to nothing less than the beginning of World War III. I'm not saying that the fleet can't be defeated through some means known or as yet uncreated. I'm just saying that anyone who wants to sink a few very powerful ships are going to need to be able to follow it up with something far, far more intensive, because even if you can take down the Navy's aircraft carrier fleet, all of them, you then must deal with the rest of the Navy, along with the US Air Force, Army, and the United States Marine Corps. Good luck with that.If this answer interested you, you may also enjoy Jon Davis's answer to What is the future of war?Thanks for reading!For more answers like this check out On War by Jon Davis and follow my blog War Elephant for more new content. Everything I write is completely independent research and is supported by fan and follower pledges. Please consider showing your support directly by visiting my Patreon support page here: Jon Davis on Patreon: Help support in writing Military Novels, Articles, and Essays.

More details would be helpful in answering your question. To begin with, what country are you in? It would not appear to be the US, since you mentioned "the first test", and there is only one Patent Bar Exam in the US.And then, where are you located and/or would you be willing to relocate to a city where there is a large demand for computer engineering specialists in patent law firms? Some places are hotbeds of computer work, some are not. For example, from what I can see, a computer engineer would be much more likely to be employable in Austin, Texas (aka Silicon Hills) than in the much larger city of San Antonio which is only a hour's drive away. Thus, it is much more likely that a patent law firm could use your services in Austin than San Antonio. I doubt you would find any call for your services in, say, Lahiana, Hawaii (or a patent law firm, for that matter).Have you checked online classified ads for patent agents? There are a number of easily found jobs... such as this one I picked at random from Monster.com:Patent Agent/Scientific Advisor (Austin - IT)Wilson Sonsini Goodrich & RosatiAustin, TXThe Austin office currently has openings for patent agents or scientific advisors with 2-4 years of experience drafting and prosecuting patent applications directed to computer hardware, architecture, software, storageYou said you had technical writing experience and professional experience....you might find an employer willing to work with you, or at least talk with you even if you don't meet their posted patent agent experience requirements, if you can bring a lot of other useful experience and knowledge with you.If nothing else, you might call up a patent agent or patent attorney, and ask if you could take them to lunch (your treat), and informally discuss your situation, and who might be hiring people with your background, or what you could do to improve your resume (passing the patent bar exam would be a good thing).Russ Krajec's comment about many firms being reluctant to hire inexperienced technical specialists is well-founded. Writing a good patent application is an art; the way things are expressed are somewhat different than normal technical writing or legal writing. Because of the expense involved in training patent professionals, many firms would rather not, especially if they don't have to. And his comment about showing commitment by taking the bar exam is also good. You will almost certainly want to take a patent bar review course - almost everyone who passes the difficult Patent Bar Exam does , I recommend you read this post in the highly regarded legal blog, IPWatchdog: Patent Bar Review Courses - IPWatchdog.com | Patents & Patent Law

Many companies have used Haskell for a range of projects, including:ABN AMRO Amsterdam, The NetherlandsABN AMRO is an international bank headquartered in Amsterdam. For its investment banking activities it needs to measure the counterparty risk on portfolios of financial derivatives.ABN AMRO's CUFP talk.Aetion Technologies LLC, Columbus, OhioAetion was a defense contractor in operation from 1999 to 2011, whose applications use artificial intelligence. Rapidly changing priorities make it important to minimize the code impact of changes, which suits Haskell well. Aetion developed three main projects in Haskell, all successful. Haskell's concise code was perhaps most important for rewriting: it made it practicable to throw away old code occasionally. DSELs allowed the AI to be specified very declaratively.Aetion's CUFP talk.Alcatel-LucentA consortium of groups, including Alcatel-Lucent, have used Haskell to prototype narrowband software radio systems, running in (soft) real-time.Alcatel-Lucent's CUFP talkAllston TradingHeadquartered in Chicago, Illinois, Allston Trading, LLC is a premier high frequency market maker in over 40 financial exchanges, in 20 countries, and in nearly every conceivable product class. Allston makes some use of Haskell for their trading infrastructure.Alpha Heavy IndustriesAlpha Heavy Industries is an alternative asset manager dedicated to producing superior returns through quantitative methods. They use Haskell as their primary implementation language.Amgen Thousand Oaks, CaliforniaAmgen is a human therapeutics company in the biotechnology industry. Amgen pioneered the development of novel products based on advances in recombinant DNA and molecular biology and launched the biotechnology industry’s first blockbuster medicines. Amgen uses Haskell;To rapidly build software to implement mathematical models and other complex, mathematically oriented applicationsProvide a more mathematically rigorous validation of softwareTo break developers out of their software development rut by giving them a new way to think about software.Amgen's CUFP talk.Ansemond LLC"Find It! Keep It! is a Mac Web Browser that lets you keep the pages you visit in a database. A list of these pages is shown in the 'database view'. "Antiope Fair Haven, New JerseyAntiope Associates provides custom solutions for wireless communication and networking problems. Our team has expertise in all aspects of wireless system design, from the physical and protocol layers to complex networked applications. Antiope Associates relies on a number of advanced techniques to ensure that the communication systems we design are reliable and free from error. We use custom simulation tools developed in Haskell, to model our hardware designs..Antiope's CUFP talk.AT&THaskell is being used in the Network Security division to automate processing of internet abuse complaints. Haskell has allowed us to easily meet very tight deadlines with reliable results.Bank of America Merril LynchHaskell is being used for backend data transformation and loading.Barclays Capital Quantitative Analytics GroupBarclays Capital's Quantitative Analytics group is using Haskell to develop an embedded domain-specific functional language (called FPF) which is used to specify exotic equity derivatives. These derivatives, which are naturally best described in terms of mathematical functions, and constructed compositionally, map well to being expressed in an embedded functional language. This language is now regularly being used by people who had no previous functional language experience.Simon Frankau et al's JFP paper on their use of HaskellRead their 2013 job advertisementBAE SystemsAs part of the SAFE project, BAE has built a collection of compilers, interpreters, simulators, and EDSLs almost entirely in Haskell.CUFP 2013 talkBazQux ReaderBazQux Reader is a commercial RSS reader. Its feeds and comments crawler and a part of web-server are implemented in Haskell.BetterBetter, formerly known as Erudify, is a learning company built around the mission of making people better. We are an unusual mix of a software company, a consulting firm, and a creative agency. This tight integration enables us to deliver innovative, high-quality courses to our customers. Founded in 2012, Better is based in Zurich, Switzerland and New York, USA. Better is fully invested in Haskell; Most parts of our back-end system (web-servers and learning logic) are written in Haskell. Haskell is also used in most parts of our front-end system.bCODE Pty Ltd Sydney AustraliabCode Pty Ltd is a small venture capital-funded startup using Ocaml and a bit of Haskell in Sydney Australia.Bdellium Hawaii, United StatesBdellium develops software systems that enable companies in the financial industry to deliver new customer services that grow their business. Bdellium uses Haskell for heavy lifting analysis in back end infrastructure.Bluespec, Inc. Waltham, MassachusettsDeveloping a modern integrated circuit (ASIC or FPGA) is an enormously expensive process involving specification, modeling (to choose and fix the architecture), design (to describe what will become silicon) and verification (to ensure that it meets the specs), all before actually committing anything to silicon (where the cost of a failure can be tens of millions of dollars). Bluespec, Inc. is a three year-old company that provides language facilities, methodologies, and tools for this purpose, within the framework of the IEEE standard languages SystemVerilog and SystemC, but borrowing ideas heavily from Term Rewriting Systems and functional programming languages like Haskell. In this talk, after a brief technical overview to set the context, we will describe our tactics and strategies, and the challenges we face, in introducing declarative programming ideas into this field, both externally (convincing customers about the value of these ideas) and internally (using Haskell for our tool implementation).Bluespec's CUFP talk.BumpBump use a Haskell-based server, Angel, for process supervisor for all their backend systems, and for other infrastructure tasks.Haskell at BumpCapital IQWe have been using functional programming here at S&P Capital IQ in Scala, Haskell, and our homegrown reporting language Ermine, since 2008 for financial analytics.Capital IQ's CUFP 2013 talkChordifyChordify is a free online music service that transforms music, from YouTube, Deezer, SoundCloud or uploaded files, into chords. There's an ICFP experience report explaining how Haskell is used for this: José Pedro Magalhães and W. Bas de Haas. Functional Modelling of Musical Harmony: an Experience Report. In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11), pp. 156–162, ACM, 2011.Circos Brand Karma SingaporeBrand Karma provides services to brand owners to measure online sentiments towards their brands. Haskell is used in building parts of the product, specifically for back-end job scheduling and brand matching.CircuitHubCircuitHub aims to be the AWS for manufacturing, enabling hardware companies and makers to instantly quote designs and scale from prototype to production. We are also proud to host a large collection of open hardware designs. CircuitHub uses Haskell for our core services and algorithms.Credit Suisse Global Modeling and Analytics Group London, UK; New York City, New YorkGMAG, the quantitative modeling group at Credit Suisse, has been using Haskell for various projects since the beginning of 2006, with the twin aims of improving the productivity of modelers and making it easier for other people within the bank to use GMAG models. Current projects include: Further work on tools for checking, manipulating and transforming spreadsheets; a domain-specific language embedded in Haskell for implementing reusable components that can be compiled into various target forms (see the video presentation: Paradise, a DSEL for Derivatives Pricing).Credit Suisse's CUFP talk.DetexifyDetexify is an online handwriting recognition system, whose backend is written in Haskell.FynderFynder is an online booking platform. We use Haskell and clojurescript, all stitched together with nixosSee more in their original job posting.Deutsche Bank Equity Proprietary Trading, Directional Credit TradingThe Directional Credit Trading group uses Haskell as the primary implementation language for all its software infrastructure.Deutsche Bank's CUFP talk.Eaton Cleveland, OhioDesign and verification of hydraulic hybrid vehicle systemsEaton's CUFP talkEaton's experiences using a Haskell DSL[Ericsson AB]Ericsson uses Haskell for the implementation of Feldspar, an EDSL for digital signal processing algorithms.Ericsson's Feldspar compilerextensiblNew Zealand-based company. Provides a variety of software development, consulting, operational support services worldwide. Both Haskell and Ur/Web are actively used for commercial projects.FacebookFacebook uses some Haskell internally for tools. lex-pass is a tool for programmatically manipulating a PHP code base via Haskell.Facebook's CUFP talkFacebook's HaXL system is open sourceFactis ResearchFactis research, located in Freiburg, Germany, develops reliable and user-friendly mobile solutions. Our client software runs under J2ME, Symbian, iPhone OS, Android, and Blackberry. The server components are implemented in Python and Haskell. We are actively using Haskell for a number of projects, most of which are released under an open-source license.Factis' HCAR submissionfortytools gmbhLocated in Hamburg, Germany, we are developing web-based productivity tools for invoicing, customer management, resource scheduling and time tracking. While using Javascript for building rich frontend application in the browser, we use Haskell to implement the REST backends. Additionally, we do occasional project/client work as well.Oh, and of course we develop and maintain Hayoo! :)Functor AB, Stockholm, SwedenFunctor AB offers new tools for ground-breaking static analysis with pre-test case generation of programs to eliminate defects and bugs in software very early in development. Functor collaborates with the JET fusion reactor run by EFDA CCFE. JET is currently the largest reactor in the world of its kind. At Functor, almost all development is done in Haskell but also to some extent also C and Scala.See more in the Functor AB job advertisementFunktionale Programmierung Dr. Heinrich Hördegen, Munich, GermanyWe develop software prototypes according to the Pareto principle: After spending only 20 percent of budget, we aim to provide already 80 percent of the software's functionality. We can realize this by constructing a 2080-software-prototype that we can further develop into a full-fledged solution...Galois, Inc Portland, OregonGalois designs and develops high confidence software for critical applications. Our innovative approach to software development provides high levels of assurance, yet its scalability enables us to address the most complex problems. We have successfully engineered projects under contract for corporations and government clients in the demanding application areas of security, information assurance and cryptography.Galois' 2007 CUFP talkGalois' 2011 CUFP talkGalois' retrospective on 10 years of industrial Haskell useGoogleHaskell is used on a small number of internal projects in Google, for internal IT infrastructure support, and the open-source Ganeti project. Ganeti is a tool for managing clusters of virtual servers built on top of Xen and KVM.Google's ICFP 2010 experience report on HaskellVideo from ICFP Project Ganeti at GoogleGlydeGlyde uses OCaml and Haskell for a few projects. Glyde uses Haskell for our client-side template source-to-source translator, which converts HAML-like view templates into JS code.Group CommerceGroup Commerce uses Haskell to drive the main component of their advertising infrastructure: a Snap Framework based web server. Haskell enabled quicker development, higher reliability, and better maintainability than other languages, without having to sacrifice performance.HasuraHasura is a BaaS/PaaS focussed on keeping things DRY and letting you write custom code with the tools you love. We're building a micro-service platform christened Instant APIs for web & mobile apps (alpha release scheduled in summer 2015), and we used Haskell as the core programming language to build it.Humane SoftwareWe develop enterprise systems with de-coupled, asynchronous Haskell backends and Javascript UIs.For our current customer, an Internet connectivity provider, we wrote a solution for monitoring multiple remote machines and analyzing gigabytes of traffic samples. Haskell proved an excellent tool for the job. We were able to replace legacy systems in a granular, piece-by-piece manner, while delivering new features.Hustler Turf Equipment Hesston, KansasDesigns, builds, and sells lawn mowers. We use quite a bit of Haskell, especially as a "glue language" for tying together data from different manufacturing-related systems. We also use it for some web apps that are deployed to our dealer network. There are also some uses for it doing sysadmin automation, such as adding/removing people from LDAP servers and the likeiba Consulting Gesellschaft - Intelligent business architecture for you. Leipzig, Germanyiba CG develops software for large companies:risk analysis and reporting solution for power supply company;contract management, assert management, booking and budgeting software for one of the worldwide leading accounting firm.IMVU, IncIMVU, Inc. is a social entertainment company connecting users through 3D avatar-based experiences. See the blog article What it's like to use HaskellInformatik Consulting Systems AGICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The test system is used in some industrial projects.IntelIntel has developed a Haskell compiler as part of their research on multicore parallelism at scale.Read the Intel Research paper on compilerIVU Traffic Technologies AGThe rostering group at IVU Traffic Technologies AG has been using Haskell to check rosters for compliance with EC regulations. Our implementation is based on an embedded DSL to combine the regulation’s single rules into a solver that not only decides on instances but, in the case of a faulty roster, finds an interpretation of the roster that is “favorable” in the sense that the error messages it entails are “helpful” in leading the dispatcher to the resolution of the issue at hand. The solver is both reliable (due to strong static typing and referential transparency — we have not experienced a failure in three years) and efficient (due to constraint propagation, a custom search strategy, and lazy evaluation). Our EC 561/2006 component is part of the IVU.crew software suite and as such is in wide-spread use all over Europe, both in planning and dispatch. So the next time you enter a regional bus, chances are that the driver’s roster was checked by Haskell.JanRainJanRain uses Haskell for network and web software. Read more about Haskell at JanRain and in theirtech talk at Galois. JanRain's "Capture" user API product is built on Haskell's Snap webframework.See Janrain's technical talk about their use of SnapJoyride LaboratoriesJoyride Laboratories is an independent game development studio, founded in 2009 by Florian Hofer and Sönke Hahn. Their first game, "Nikki and the Robots" was released in 2011.Keera StudiosKeera Studios Ltd is a European game development studio that develops mobile, desktop and web apps.Games: The Android game Magic Cookies! was written in Haskell and released in 2015. Other games include Haskanoid, now being developed for Android, and a multi-platform Graphic Adventure library and engine with Android support and an IDE.Reactive Programming and GUIs: Keera Studios is also the maintainer of Keera Hails, an Open-Source reactive rapid application development framework, which has been used in Gale IDE and other desktop applications. Backends exist for Gtk+, Qt, Wx, Android's native GUI toolkit and Web DOM via GHCJS. Keera Posture is an open-source posture monitor written in Haskell using Keera Hails and Gtk+.Web: Keera Studios also develops web applications in Yesod.See the Facebook page for details on Android games and ongoing development.LinkqloLinkqlo Inc is a Palo Alto-based technology startup that is building a pioneering mobile community to connect people with better fitting clothes. We’re solving an industry-wide pain point for both consumers and fashion brands in retail shopping, sizing and fitting, just like Paypal took on the online payment challenge in 1999. We started deploying Haskell as the backend language recently in August 2015, in an effort to eventually replace all PHP endpoint APIs with Haskell ones.Linkqlo's iOS app from App StoreLinspireLinspire, Inc. has used functional programming since its inception in 2001, beginning with extensive use of O'Caml, with a steady shift to Haskell as its implementations and libraries have matured. Hardware detection, software packaging and CGI web page generation are all areas where we have used functional programming extensively. Haskell's feature set lets us replace much of our use of little languages (e.g., bash or awk) and two-level languages (C or C++ bound to an interpreted language), allowing for faster development, better code sharing and ultimately faster implementations. Above all, we value static type checking for minimizing runtime errors in applications that run in unknown environments and for wrapping legacy programs in strongly typed functions to ensure that we pass valid arguments.Linspire's CUFP talkLinspire's experience report on using functional programming to manage a Linux distributionLumiGuideLumiGuide is an innovative software company which specialises in smart parking and guidance systems for both bicycles and cars. LumiGuide developed and installed the P-route Bicycle system for the City of Utrecht in 2015. This system guides cyclists via digital, street-level displays to available parking space in a number of parking facilities in the city centre. Utrecht is the first city in the world that has a system like this. The detection technology is based on optical sensors which are independent of the bicycle stands. The sensors are mounted to the ceiling in indoor facilities and mounted to poles in outdoor facilities. Every minute, one sensor detects 40 to 60 parking places at the same time in either single- or two-tier bicycle stands as well as (stand-less) free parking places. Bicycles that exceed the maximum parking duration ('orphaned' bicycles) are also detected and the system will automatically keep a log of pictures of the orphaned bicycle which can be used as evidence when the orphaned bicycle is removed by a facility operator. The usage of the facility can be monitored with web-based control software. LumiGuide also develops the indoor and outdoor digital displays which can be controlled using the web-based control software. We are extensively using Haskell and NixOS.MicrosoftMicrosoft uses Haskell for its production serialization system, Bond. Bond is broadly used at Microsoft in high scale services. Microsoft Research has, separately, been a key sponsor of Haskell development since the late 1990s.MITREMITRE uses Haskell for, amongst other things, the analysis of cryptographic protocols.The New York TimesA team at the New York Times used Haskell's parallel array library to process images from 2013 New York Fashion Week. Haskell was chosen based on its fast numerical arrays packages, and ease of parallelization.Model analysisHaskell in the NewsroomNICTANICTA has used Haskell as part of a project to verify the L4 microkernel.Read the Dr. Dobbs article on using Haskell and formal methods to verify a kernelNRAONRAO has used Haskell to implement the core science algorithms for the Robert C. Byrd Green Bank Telescope (GBT) Dynamic Scheduling System (DSS).Source code available on GitHub.NS Solutions(NSSOL) Tokyo, JapanNS Solutions has employed Haskell since 2008 to develop its software packages including "BancMeasure", a mark-to-market accounting software package for financial institutions, "BancMeasure for IFRS" and "Mamecif", a data analysis package. "BancMeasure" and "Mamecif" are registered trademarks of NS Solutions Corporation in JAPAN.NVIDIAAt NVIDIA, we have a handful of in-house tools that are written in HaskellOpenomyOpenomy's API v2.0 is developed in Haskell, using the HAppS web platform.OblomovOblomov Systems is a one-person software company based in Utrecht, The Netherlands. Founded in 2009, Oblomov has since then been working on a number of Haskell-related projects. The main focus lies on web-applications and (web-based) editors. Haskell has turned out to be extremely useful for implementing web servers that communicate with JavaScript clients or iPhone apps.Oblomov's HCAR submission.Patch-Tag: hosting for DarcsNeed somewhere to put your Darcs code? Try us. Patch-Tag is built with happstack, the continuation of the project formerly known as HAppS.Peerium, Inc Cambridge, MassachusettsAt Peerium, we're striving to bring a new level of quality and efficiency to online communication and collaboration within virtual communities, social networks, and business environments. We believe that a new environment that supports the effortless sharing of both information and software will enable a level of online cooperation far beyond current Web-based technologies -- modern programming techniques will enable the creation of more robust and more powerful programs within these environments. To this end, we're building a new software platform for direct, real-time communication and collaboration within graphically rich environments. Peerium is located in the heart of Harvard Square in Cambridge, Massachusetts.PlanIt9PlanIt9 is a Yesod-based web application for defining, planning, scheduling and tracking tasks. It's designed to be fast, simple, collaborative and cost effective. We're currently signing up users for our beta program.PlumlifePlum is replacing light switches with Lightpads; a capacitive touch dimmer that is internet connected, clusters with other Lightpads in the home for group control... Haskell composes our cloud services and Erlang is used for the embedded software in the Lightpads (hot-code reloading, easy node clustering, etc...). ... We use Haskell extensively for all of our cloud services software at Plumlife ... Amazing language and ecosystem.Qualcomm, IncQualcomm uses Haskell to generate Lua bindings to the BREW platformSQreamAt SQream, we use Haskell for a large part of our code. We use Haskell for the compiler, which takes SQL statements and turns them into low level instructions for the high performance CUDA runtime. We also use Haskell for rapid prototyping and for many auxiliary utilities.Parallel Scientific, Boulder, Colorado.We are using Haskell to develop an ultra-scalable high-availability resource management system for big clusters (millions of nodes). A key element of the design is to provide scalable and reliable mechanisms for communicating failures and coordinating recovery transitions.See Parallel Scientific's CUFP talkRenaissaince Computing Institute, Chapel Hill, North CarolinaThe Renaissance Computing Institute (RENCI), a multi-institutional organization, brings together multidisciplinary experts and advanced technological capabilities to address pressing research issues and to find solutions to complex problems that affect the quality of life in North Carolina, our nation and the world. Research scientists at RENCI have used Haskell for a number of projects, including The Big Board.RENCI's CUFP talk.SamplecountSamplecount develops mobile, location-aware sound and music applications. They are currently using Haskell for prototyping their server-side soundscape streaming components and as a cross-platform build tool for their mobile applications and frameworks.Sankel Software Albuquerque, New MexicoSankel Software has been using Haskell since 2002 for both prototyping and deployment for technologies ranging from CAD/CAM to gaming and computer animation. We specialize in the development of user-friendly, large, long-term applications that solve difficult and conceptually intricate problems.ScriveScrive is a service for e-signing tenders, contracts, and other documents. We help our clients close deals faster, decrease their administrative burden, and improve their customers’ experience.Siemens Convergence Creators GmbH AustriaSiemens CVC uses Haskell since a few years in the space domain. Starting with small tools like data conversion and automation of scripting tasks over installers we use Haskell currently for Space Protocol Proxies to allow connect different space systems (e.g. Cortex to NCTRS or SLE to NCTRS with COP-1 handling). The main use is currently a Simulator implemented in Haskell which handles parts of NCTRS (or SSB), the ground station and parts of the satellite to be able to make closed-loop tests for the SCOS-2000 based Mission Control System. It is in use for testing and debugging of the Mission Control System and for checking implementation of new features. It has served for various, currently active missions and also is in use for some missions to come.Signali Portland, OregonSignali Corp is a new custom hardware design company. Our chief products are custom IP cores targeted for embedded DSP and cryptographic applications. Our specialty is the design and implementation of computationally intensive, complex algorithms. The interfaces to each core are modular and can be very efficiently modified for your specific application. System-level integration and validation is crucial and is the majority of investment in a product.Soostone New York, NYSoostone is an advanced analytics technology provider specializing in algorithmic optimization opportunities in marketing, pricing, advertising, sales and product management. As the preferred language, Haskell is used intensively at Soostone in numerous applications including customized machine learning algorithms, models/simulations, real-time decision-making engines, DSL/EDSLs, web applications and high volume APIs.Standard CharteredStandard Chartered has a large group using Haskell for all aspects of its wholesale banking business.Starling Software Tokyo, JapanStarling Software are developing a commercial automated options trading system in Haskell, and are migrating other parts of their software suite to Haskell.Starling Software's experience building real time trading systems in HaskellSensor Sense Nijmegen, The NetherlandsSensor Sense is offering high technology systems for gas measurements in the ppbv down to pptvrange. We use Haskell for the embedded control software of our trace gas detectors.For more information see Senor Sense's position advertisementSilk Amsterdam, The NetherlandsSilk investigates and develops new ways of creating and consuming online content. Their Silkapplication makes it easy to filter and visualize large amounts of information.Silk's blog on why they use HaskellA review of SilkSkedge Meskedge.me is an online scheduling platform that allows businesses to completely automate the process of making appointments, such as customer visits, job interviews, and tutoring sessions.See more in their CUFP talkSee their 2014 job advertisementSuite SolutionsSuite Solutions provides products and solutions in support of large sets of technical documentation based on DITA for general technical documentation, and other more specialized XML and SGML formats for specific industries such as the aerospace industry. Many of Suite Solutions' products and solutions, such as the featured products SuiteHelp and SuiteShare, are written in Haskell.SumAll New York, New YorkSumAll aggregates various public streams of data such as various social network data into useful analytics, reports and insights. We are in process of rewriting our entire data-processing backend in Haskell. What attracted us to the language is its disciplined and uncompromising approach to solving hard problems and managing complexity. We truly believe that the language and ecosystem is ready for prime time and will give us competitive advantage in the industry.Tabula.comTabula is a privately held fabless semiconductor company developing 3-D Programmable Logic Devices. Haskell is used for internal compiler toolchains related to hardware design.Tsuru Capital Tokyo, JapanTsuru Capital is operating an automated options trading system written in Haskell.Tsuru Capital's HCAR submissionTupil Utrecht, The NetherlandsTupil is a Dutch company that built software for clients, written in Haskell. Tupil used Haskell for the speed in development and resulting software quality. The company is founded by Chris Eidhof and Eelco Lempsink. Currently they build iPhone/iPad applications in Objective-C.Tupil's experience building commercial web apps in HaskellWagon San Francisco, CaliforniaWagon is a modern SQL editor: a better way for analysts and engineers to write queries, visualize results, and share data & charts.We’re a team of functional programmers writing apps and services in Haskell (and Javascript). We love to teach and learn functional programming; our team is humble, hard working, and fun. Read our engineering blog to learn more about our stack, how we combine Haskell, React, and Electron, and what it’s like working at a Haskell-powered startup.We're hiring Haskell engineers based in San Francisco, learn more about the roles and our team!WeedreporterPage on weedreporter.com is a news site in the up and coming cannabis industry, featuring news stories from around the world and USA. This includes news stories about legalization and medical Marijuana. The site is built using Haskell and Postgres. Haskell has allowed us to build a site with fast load times.