Part of our research is in programming language design and implementation. All group members and friends of the software engineering group of tu darmstadt. Here we post regular news on secure software engineering, program analysis, as. Knowledge in classical areas of computer science, such as operating systems, software engineering, database systems and networks, is also. From 2017 2019, he was the head of the department secure software engineering at fraunhofer institute for secure information technology in darmstadt germany. Centre for computational engineering cce computational engineering ce is an integral part of the research profile of tu darmstadt. The electrical and electronics engineer with a major in computer engineering is educated and trained to design, use and further develop innovative technologies. The main research activities are focused on the development of the required mathematical methods and tools together with the efficient and robust implementation in appropriate.
Information security has become a crucial concern for the commercial deployment of modern computer systems and applications. Technical university of darmstadt seceng stefan katzenbeisser. There are two ways of constructing a software design. I am a member of the compugene project my core research revolves around the design of languages for programing, specification and modelling that ultimately aim at making the software developing process more efficient and the resulting programs safe and trustworthy. Welcome to the software technology group and reactive programming our research is dedicated to developing new technologies that help to construct highquality software in a productive way. I am a senior researcher in the software engineering group, working with prof. Welcome to the homepage of the course introduction to software engineering. Einfuhrung in software engineering software technology group. Formal modeling and analysis of railroad operations. Knowledge of different optimization software packages scip, cplex, gurobi is an advantage.
Software engineering is a team activity and quite a lot of time is spend on interacting with other. Software engineering project software technology group tu. In 1882, it was the first university in the world to set up a chair in. Reactive applications, distributed event processing, functional reactive programming. For a very succinct summary of what this course is about, we would like to quote hoare, who once said.
This is an active learning and team project based course that will require extensive live collaborations with team members as well. The average salary for a software engineer is 52,977 in darmstadt. Heiko mantel has been professor for computer science at tu darmstadt since 2007. Computeraided software engineering the possibilities for improvements of the software process by case tools are limited. The institute for scientific computing works on various aspects of computational sciences and adjacent challenges. I can offer years of work experience in software engineering and consulting covering areas like artificial intelligence, analytics, big data, machine learning, internet of things, industry 4. Integrating symbolic execution, debugging and verification.
Salaries estimates are based on 11 salaries submitted anonymously to glassdoor by software engineer employees in darmstadt. Mob4lod was developed by a group of students in the course of software engineering handson training. Programming models for distributed systems and security. Mathematics and physics are the basis of this discipline, but other natural sciences such as chemistry and biology and, more recently, human sciences such as sociology and philosophy also play a role. Software engineers are known to often misuse cryptography, causing the applications that they develop to become insecure. To be accepted onto a masters programme, it is an admission requirement to hold a bachelors degree on the same study path at tu darmstadt or an equivalent qualification. Global collaborative engineering computer integrated. Department of computer science, tu darmstadt, germany. E1 secure integration of cryptographic software sfb. Since january 2018, he has been the spokesman of the loewe research focus softwarefactory 4. The goal of the unicaragil project is to conceive, realize, and test a new, disruptive, modular, and scalable vehicle architecture and platform that forms the starting point of a future, efficient, userorientated depiction of versatile automated vehicle concepts.
Technische universit at darmstadt, darmstadt, germany. Information systems technology technical university of. The encrypto group has several open fully funded positions for phd studentsdoctoral researchersresearch assistants, as well as student assistants, see here. Students while a bachelors degree focuses mainly on the fundamentals of the field, the masters degree serves to upgrade the qualifications of graduates and to analyse the subject based on research. Im an assistant professor at tu darmstadt, where im leading the reactive software systems group. Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Heiko mantel is a principle investigator of the dfgfunded collaborative research center crossing cryptographybased security solutions. Software ag the company with the first digital business platform. Poster at the 25th usenix security symposium, 2016. Holger marschall mma technical university of darmstadt. Tu darmstadt informatik software technology group teaching courses ws 2012. Before fraunhofer, he was a phdstudent at the secure software engineering group of tu darmstadt germany, supervised by eric bodden. Programmes typically take four semesters to complete.
According to john mccarthy, one of the founders of the field, ai is the science and engineering of making intelligent machines, especially intelligent computer programs. Distributed software systems technical university of. The security engineering group aims at bridging the gap between the cryptography, software engineering and formal methods communities, by offering theoretically sound methods for the design and analysis of secure systems. How much does a software engineer make in darmstadt. Its goals are to develop principles, methods, and processes for the evaluation of the reliability of complex systems. Joe watson intelligent autonomous systems tu darmstadt. This is also true for all my coauthors and the people of the key community. The institute of computer engineering at tu darmstadt. Start optimization technical university of darmstadt. Computational engineering tu darmstadt public group facebook.
Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and natural phenomena. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. It was founded in 1877 and received the right to award doctorates in 1899. This is a six 6 creditpoint advanced design project. Artificial intelligence at tu darmstadt aida is an initiative of several reserach groups at the tu darmstadt to coordinate and advance core ai research. Department of electrical engineering and information. The theoretical fundament and practical training needed for this can be obtained in lectures, labs and seminars. Welcome to the joint secure software engineering blog of the software engineering group at paderborn university and the secure software engineering group at tu darmstadt. Handson work in research topics of the security engineering group should resemble software engineering process in teams think of it as an advanced bachelorpraktikum without the overhead.
All project topics originate from industry partners, outside of the campus. Dear visitor, due to the current exceptional situation at the tu darmstadt, all dik employees will continue to work from home from 16. The research group of system reliability, adaptive structures, and machine acoustics sam was founded at tu darmstadt in 2001 under the name system reliability in mechanical engineering by prof. Plan and implement a professional software project.
David schneider, gregor snelting, artem starostin and alexandra weber. Because the core of the master of science degree in information systems technology is the understanding, developing and researching of the complex interconnections between hardware and software, as those skills required by welltrained interdisciplinary engineers, graduates of the masters degree programme will have many and varied career choices. Prospective students fachbereich maschinenbau tu darmstadt. Institutes maschinenbau technical university of darmstadt. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. Software engineering is a design activity based on creative thought. Christian weinert technical university of darmstadt. A new, disruptive, modular, and scalable vehicle architecture and platform. Tu darmstadt, technical report tudcs20180024, 2018. Many ideas were born during discussions and later realized as part of this thesis. It was the first faculty of electrical engineering in the world and offered the first course of study in electrical engineering as of 2018, the department of electrical engineering and information technology is one of the largest electrical engineering. Student attendance and participation during the schedules time is expected. Tu darmstadt offers a double degree programme at a partner university for this course. Secure software engineering at paderborn university and.
Dieter bothe in the mathematical modeling and analysis group mma at the center of smart interfaces csi, technical university of darmstadt. In our projects, we work together with domain scientists, the hessian competence center for highperformance computing and the highperformance computing group at tudarmstadts computing center to address challenges. Guido salvaneschi assistant professor tu darmstadt. Courses ss 2015 software technology group tu darmstadt. Mantel, decembre 2017 invited talk at 2nd international cpachecker workshop, university of paderborn, august 2017 invited talk at ifip wg 1. Department of electrical engineering and information technology. Research scientific computing technical university of. Itlosungen durch praxiserprobtes software engineering. Computational engineering tu darmstadt has 384 members. Software engineering software technology group tu darmstadt. I am a phd student at the software engineering group. The institute of structural mechanics fsm as part of the department of mechanical engineering has its key competence in modeling, analysis and strength prediction of engineering structures. The overall goal of the project is to support developers by providing them tool automation to facilitate secure integration of cryptographic software. Security engineering group technische universitat darmstadt.