Summer Active Reading Programme Evaluation Report And: Fill & Download for Free

There is more than just understanding the role or - What responsibilities and skills/competences does a mechanical engineer have/need?There are many skills and avenues that a person could follow so as to become a ‘Mechanical Engineer’ and types the following information may assist you in understanding your question and which path you like to take in becoming a ‘Mechanical Engineer’Mechanical engineer: job description. Mechanical engineers produce specifications for, design, develop, manufacture and install new or modified mechanical components or systems. Mechanical engineers need to be technically minded, able to demonstrate numerical and scientific ability and have problem-solving skills.Mechanical engineers produce specifications for, design, develop, manufacture and install new or modified mechanical components or systems.Mechanical engineers can work on components and equipment for many industries including healthcare, power, transport and water.Job responsibilities vary greatly according to the size and type of employer. However, duties typically include:assessing project requirementsmeasuring the performance of mechanical components, devices and enginesagreeing budgets, timescales and specifications with clients and managersmaintaining and modifying equipment to ensure that it is safe, reliable and efficientusing computer-aided design/modelling softwareliaising with suppliersundertaking relevant researchproducing and implementing designs and test procedurespresenting designs to managers and clientstesting, evaluating, modifying and re-testing productswriting reports and documentationproviding technical adviceanalysing and interpreting data.Qualifications and training requiredThere are routes into this profession for both school leavers and university graduates. Graduates need a degree in a relevant subject such as mechanical, automotive or aeronautical or manufacturing engineering. A list of accredited courses is available on the Engineering Council’s website. Some employers will ask for a 2.1 degree but others will accept candidates with a 2.2 degree.If you are a school leaver, you may be able to enter the profession with a higher national diploma (HND) in a relevant subject such as mechanical engineering. If you are aiming for a technician role, you can achieve this with an advanced or higher apprenticeship in an appropriate subject such as manufacturing or mechanical engineering. To find out more about getting into engineering via a school leaver route,Relevant work experience is useful: many employers offer final-year project work, degree sponsorship, vacation work and industrial placements which can provide valuable experience and a useful insight into the profession.Achieving chartered (CEng) status with the Engineering Council can help to demonstrate your professionalism and commitment to your field. To become chartered, you will need an accredited bachelors degree in engineering or technology, plus an appropriate masters degree (MEng) or doctorate (EngD) accredited by a professional engineering institution such as the Institution of Mechanical Engineers (IMechE).Key skills for mechanical engineerseffective technical skillsthe ability to work under pressureproblem-solving skillscreativityinterpersonal skillsverbal and written communication skillscommercial awarenessteamworking skills.ResponsibilitiesAs a mechanical engineer, you'll need to:research and develop products - for example, mechanical hearts if working in the medical industryimprove production processes - such as those in large oil refineries, or services within buildingsdesign and implement cost-effective equipment modifications to help improve safety and reliabilitydevelop a project specification with colleagues, often including those from other engineering disciplinesdevelop and use new materials and technologiesmanage people, projects and resources - this will depend on your roledevelop, test and evaluate theoretical designsdiscuss and solve complex problems with manufacturing departments, sub-contractors, suppliers and customersmake sure a product can be made reliably and will perform consistently in specified operating environmentsmanage projects using engineering principles and techniquesplan and design new production processesproduce details of specifications and outline designsrecommend modifications following prototype test resultsuse research, analytical, conceptual and planning skills, particularly those in mathematical modelling and computer-aided designconsider the implications of issues such as cost, safety and time constraintswork with other professionals, within and outside the engineering sectormonitor and commission plant and systems.QualificationsTo get into mechanical engineering you'll usually be required to have a degree. Relevant subjects include:aeronautical engineeringagricultural engineeringcomputer-aided engineeringengineering sciencemanufacturing engineeringmechanical engineeringnuclear enginerring.SkillsYou'll need to show:a high level of technical and scientific knowledge and the ability to apply this knowledge to practical problemsgood oral communication skills and confidence in dealing with a range of people, including clients, contractors, designers, directors and plant operatorsprecise and concise written communication skillsthe ability to work well within a teamIT skills, particularly computer-aided designcreative abilitythe ability to work under pressureorganisational skills, such as time and resource planningfluency in a second language - depending on the type of industry, this may be helpful for dealing with international offices or clients.Work experienceWork experience is valuable and many large employers offer structured internship programmes and summer placement schemes. These provide an excellent insight into the nature of the work and are often hands-on.Some degree courses offer a year in industry, which really helps to demonstrate what the career will be like, as well as making some good contacts for future job prospects. This type of relevant experience will provide evidence of skill development and commercial awareness.Mechanical engineers design power-producing machines such as electric generators, internal combustion engines, and steam and gas turbines as well as power-using machines, such as refrigeration and air-conditioning systems. Mechanical engineers design other machines inside buildings, such as elevators and escalators.Mechanical engineering is one of the broadest engineering disciplines. Mechanical engineers research, design, develop, build, and test mechanical and thermal devices, including tools, engines, and machines.DutiesMechanical engineers typically do the following:Analyze problems to see how mechanical and thermal devices might help solve the problemDesign or redesign mechanical and thermal devices using analysis and computer-aided designDevelop and test prototypes of devices they designAnalyze the test results and change the design as neededOversee the manufacturing process for the deviceMechanical engineers design and oversee the manufacturing of many products ranging from medical devices to new batteries.Mechanical engineers design power-producing machines such as electric generators, internal combustion engines, and steam and gas turbines as well as power-using machines, such as refrigeration and air-conditioning systems.Mechanical engineers design other machines inside buildings, such as elevators and escalators. They also design material-handling systems, such as conveyor systems and automated transfer stations.Like other engineers, mechanical engineers use computers extensively. Computers help mechanical engineers create and analyze designs, run simulations and test how a machine is likely to work, and generate specifications for parts.What are the most important skills for a mechanical engineer?Key skills for mechanical engineersEffective technical skills.The ability to work under pressure.Problem-solving skills.Creativity.Interpersonal skills.Verbal and written communication skills.Commercial awareness.Teamworking skills.What does mechanical engineering entail?"Mechanical engineers design, manufacture, and operate systems that extend our physical abilities. A mechanical engineer's work is seen every day in anything that moves. This includes designing an aircraft, planning a building's ventilation system and improving a car's fuel economy.What does a mechanical engineer do on a daily basis?On a daily basis, Mechanical Engineers Read and interpret blueprints, technical drawings, schematics, or computer-generated reports. They Confer with engineers or other personnel to implement operating procedures, resolve system malfunctions, or provide technical information.Being A Mechanical Engineer: What You Really DoMechanical Engineers perform engineering duties in planning and designing tools, engines, machines, and other mechanically functioning equipment. Oversee installation, operation, maintenance, and repair of equipment such as centralized heat, gas, water, and steam systems.On a daily basis, Mechanical Engineers read and interpret blueprints, technical drawings, schematics, or computer-generated reports. They confer with engineers or other personnel to implement operating procedures, resolve system malfunctions, or provide technical information.1 of the main responsibilities as a mechanical engineer is to research, design, evaluate, install, operate, or maintain mechanical products, equipment, systems or processes to meet requirements.In a normal work day, another thing that Mechanical Engineers do is they perform personnel functions, such as supervision of production workers, technicians, technologists, or other engineers.A typical day for a mechanical engineer look like this:Review technical documents to plan work.Confer with other personnel to resolve design or operational problems.Confer with technical personnel to prepare designs or operational plans.Evaluate characteristics of equipment or systems.Design industrial processing systems.Besides the “typical day” things that Mechanical Engineers do, they provide feedback to design engineers on customer problems or needs. They might also conduct research that tests or analyzes the feasibility, design, operation, or performance of equipment, components, or systems.On a weekly to monthly basis, Mechanical Engineers recommend design modifications to eliminate machine or system malfunctions. and develop, coordinate, or monitor all aspects of production, including selection of manufacturing methods, fabrication, or operation of product designs.In addition, they apply engineering principles or practices to emerging fields, such as robotics, waste management, or biomedical engineering.Although specific duties may vary, many of them design test control apparatus or equipment or develop procedures for testing products.To some Mechanical Engineers, it is also their responsibility to direct the installation, operation, maintenance, or repair of renewable energy equipment, such as heating, ventilating, and air conditioning (hvac) or water systemsA typical week or month for them might include:Recommend technical design or process changes to improve efficiency, quality, or performance.Test performance of electrical, electronic, mechanical, or integrated systems or equipment.Recommend technical design or process changes to improve efficiency, quality, or performance.Direct industrial production activities.Identify new applications for existing technologies.Other - Responsibilities and DutiesDevelop and analyze continuous fiber composite structures.Conduct test correlation for components and multi-material systems.Evaluate damage and damage tolerance of new composite material systems.Synthesize with product departments, material developers and strategic suppliers.Visit and obtain technical details for implementing mechanical models.Interface with internal project team on client project activities.Generate system concepts to satisfy product requirements.Verify concepts through breadboard builds and analysis.Design component layout for new or improved mechanical susbsystems.Conduct tolerance analysis at system and subsystem level.Handle purchase requisitions, purchase change orders and requests for quotes to suppliers.Suggest cost saving proposals on make-versus-buy analysis or alternative sourcing.Coordinate with Engineers and CAD Designers for prototype and pilot detailed design.Interface with development engineers, scientists and suppliers to resolve quality issues.Conduct engineering tasks and work efficiently.What are mechanical skills?adjective. The definition of mechanical is something that relates to the skill or use of machinery or tools. An example of mechanical is a mechanical skill, when someone is able to fix machines.

Before I critique on why there isn't change let me provide a glimpse on what is happening in the education sector presently. Then I will move on what are the hurdles to change and then finally provide my own perspective on why a true radical change is not taking place in education.The Present initiativesFor an outsider it may seem that nothing much is happening in the Education front to bring change, but being part of this sector, let me tell you that there are numerous initiatives, both from the government as well as NGO sector to bring change in various aspects of school education system. We are working in various areas from providing quality access to education to the remotest parts of the country to development of innovative materials and techniques of teaching for a better learning experience for children. The educators are well aware about the drawbacks of the present education.Some recent news about some good initiatives is here which often are not highlighted in the mainstream Media.In race for enrolment, NCERT looks to improve image of govt schools.Make school scheme a success: Ganta The State-sponsored Mana Ooru Mana Badi programme aims at strengthening school education20 NGOs roped in to improve school education, teacher trainingTamil Nadu government to tie up with firm of Bill Gates to train teachersHRD Ministry is setting up a committee to reduce the fear of maths amongst students‘Gnana Dhaara’ to improve standards in State schoolsReliance announces strategic investment of $180M in Embibe, the largest AI platform for educationSummer camps go hi-tech: Students eager to learn robotics and AI during the break - Times of IndiaGovt to inspect 15,000 schools on Monday - Times of India15-point action plan to overhaul school educationThese are the news of just one month of April 2018 which is enough to provide a glimpse of what we are doing to improve the system at various levels. Apart from the government there are hundreds of really good NGOs working sincerely to improve the quality of education and government itself take the support of these NGOs for launching various programmes. India is a huge country with more than a million schools and three hundred million children and it is not a simple task to reach such a huge mass. So obviously it takes a lot of time to bring change.Hurdles to changeBut in one sense we can indeed say that nothing much is changing. While there are pockets of innovation in teaching methods and curriculum, when it comes to scaling, they often fail dismally due to various reasons. Even in best of private schools which are often (mis)understood as better than government schools, the teaching learning practices still center around books and rote learning. Children might be using technologically advance classrooms, involve in project activities (which are often done by parents or prepared ready-made), but learning is basically the same. Some good practices wherever implemented successfully do show considerable changes in how and what children learn. For example, children learning science through a discovery method would not only learn the scientific facts but how to get to those facts themselves through experiments, observations, reasoning and scientific thinking. However, these methods do not get implemented beyond a certain scale. Some of the reasons for this can be noted as follows:Given the importance of exams which focuses on facts alone and marks (or grades) which can be best achieved through memorization and rote learning, teachers prefer to follow the traditional teaching methods in spite of training in new methods. The CCE (Continuous and Comprehensive Evaluation) which is an alternative to the examination method has complex issues in actual implementation and hasn’t been successful.Lack of skills: Teachers who have themselves learnt through lecture methods and have little real exposure to innovative teaching methods often are unable to make best use of teacher trainings they go through. It is not practically possible to supervise and personally guide each and every teacher.Many a times there are time constraints for teachers to follow innovative methods especially when they have a ton of other administrative and reporting tasks apart from teaching.Huge class size making it difficult to manage new methods. With growing commercialization of education, schools admit huge children that ultimately affects the quality.Some innovative programmes developed are too expensive to be implemented for average income schools.And yes, sometimes there is just not enough enthusiasm in a teacher to try sincerely something special for his/her own students.Due to this, either the innovations do not get implemented at all or get implemented at a very superficial level wherein the real value of the innovation gets lost. And where there are no such innovative programmes adopted by schools, the teaching practices are nothing more than filling the empty vessels of children’s mind. These are some of the common reasons why real change does not reach to the ground. What do we do in such a scenario? Indeed we are trying our best for each of the hurdle we face.What is wrong then?Let me now provide my perspective on why things are not changing. There is something fundamentally problematic in the direction our innovations are taking place and our curriculum framework. This has to be understood carefully.What we today follow is an education which is centered around ‘Knowledge’ (syllabus, often called as theoretical) which is divided into distinct subjects disconnected to each other, learnt separately in separate periods in the school time table. Given this broad framework, all the innovations taking place are within this framework, be it using activity based teaching methods, using technology, innovations in assessment, etc. Even if activity is involved in teaching, the ultimate aim is knowledge and so the value of activity is subordinated. No amount of change in this direction would help.When the object of learning is centered around pure knowledge or rather just ‘information’ learnt through books, it is the first step of disconnecting education with real life. When I just need to know the formula of area of a Triangle or that plants prepare food by photosynthesis or that sugarcane is the major crop of a given region, I can best understand it intellectually having no real life consequences of what I know. My food will be ready after I go home from school no matter whether I understand the real meaning of photosynthesis or not. The direct effect of my learning is on exams and has no real life impact on me. This is what dependence on ‘learning as pure knowledge’ does.We don’t need syllabus of ‘Knowledge’, of what we ought to know, but we need a syllabus of ‘Work’, what we ought to be able to do. We need to be able to produce our own food, repair machines, tailor clothes, make our own bags and other day to day transactions for which we often depend on our elders and ‘market’. In the world of internet and smart phones, information is on our finger tips available 24x7. We don’t need schools to provide knowledge anymore. What we now ought to learn in schools is how do we learn to use this knowledge in real life application.This is not activity based teaching but what is popularly called as ‘Work-centric Education’ which says that we need to teach the children real occupational work that matters. This may include farming/gardening, cooking, carpentry, tailoring and other real occupational work where learning is not with the aim of passing exams but to get real things done like producing food. And knowledge is a natural outcome from these activities. You cannot prepare food without knowing tons of thing regarding the biology of plants, the geography of your region, the mathematics involved in plotting, irrigating, fertilizing and economic transactions.It takes children out of the world of books, exams and marks and teaches them real life skills and exposes them to real problems of real world. This is what I will call the real change in education. Here the school time table won’t be divided in subjects but knowledge will be learnt as demanded by children’s activities and what is most relevant to them while working.So does it mean that our experts in education do not know about this? Of course they know about ‘Work-centric Education’ which is radically different to the ‘Knowledge-centric education’ that we follow today. The most recent recommendation to follow this kind of system was made by NCERT’s Focus group paper on ‘Work and Education’ in 2006. It provided the entire curriculum framework on how such an education system can be built. Sadly it was rejected by NCERT itself.More than this, India has already experimented with this kind of education before the period of Independence popularly called as ‘Nai Talim’ or Basic Education given by none other than Mahatma Gandhi. The experiments of Nai Talim lasted roughly for around 20 to 25 years when it was first started in 1937. Nai Talim was supposed to be the National System of Education of India but it lost its foothold due to various reasons including many political ones. The Kothari Education commission (1964–66) reduced the ‘work-centric education’ by adding a new subject called ‘work-experience’ and SUPW within the traditional knowledge-based framework.Many prominent educators feel the need to bring back this system but still there isn’t any coordinated effort towards this. For me, the real change in education won’t take place until we bring back the work-based education system.A picture of children working in farms in a Nai Talim school in Wardha. (Source: myself)Here is a video of a Nai Talim School in Wardha, Maharashtra.Thanks for reading.Read my similar answer on this subjectRushikesh Kirtikar's answer to What can we do to improve the Indian education system? How can a possible solution be brought to the government’s attention?

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.