Y-Axis Jobs Logo
Send us feedback
telephone  +91 7670 800 001
Log in Sign up Try Premium

Software Jobs in Germany

About 814 results in (3) seconds Clear Filters

Jobs Search

About 814 results in (3) seconds
Werkstudent:in (m/w/d) Qualitätssicherung Softwaretests im Bereich Software at Gesundheitsforen Leipzig GmbH
Leipzig, Saxony, Germany - Full Time
Skills Needed
Software Testing, Quality Assurance, Java, Web Development, App Development, Microsoft Office, Test Automation, Technical Documentation, German C1, English
Specialization
Must be an enrolled student in Computer Science, Media Informatics, Business Informatics, or a similar field. Requires proficiency in MS Office, strong German (C1) and English skills, and ideally practical experience in Java or web development.
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Cloud Architecture, Api Design, Agentic Ai Systems, Version Control
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS cloud infrastructure.
Experience Required
Minimum 2 year(s)
Software Development Engineer (f/m/d) at Anteira GmbH
Manching, Bayern, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Api Design, Cloud Architecture, Agentic Ai Systems, Backend Engineering, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS cloud infrastructure.
Experience Required
Minimum 2 year(s)
Software Engineer - Applied AI (m/f/d) at Idealworks GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, C++, Rust, Docker, Git, Linux, Multi Robot Coordination, Operations Research, Google Or Tools, Gurobi, Timefold, Numpy, Scipy, Pandas, Aws, Redis
Specialization
Proficiency in Python, C++, or Rust and practical knowledge of Docker, Git, and Linux are essential. Preferred candidates have experience in Operations Research, optimization tools, and Python's scientific stack.
Experience Required
Minimum 2 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Services, Cloud Architecture, Backend Engineering, Agentic Ai, Orchestration Workflows, Api Integration, Infrastructure As Code, System Monitoring, Software Engineering Best Practices
Specialization
Candidates must have a Bachelor's or Master's degree in Computer Science or a related field and several years of professional Python development experience. Proficiency in cloud infrastructure (AWS), Infrastructure as Code (Terraform), and containerization tools like Docker is required.
Experience Required
Minimum 2 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Api Design, Cloud Architecture, Agentic Ai Systems, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS infrastructure.
Experience Required
Minimum 2 year(s)
DevOps Software Engineer (all genders) at soft-park GmbH
Hamburg, Hamburg, Germany - Full Time
Skills Needed
Ci/Cd Pipelines, .Net, Javascript, Docker, Kubernetes, Linux, Azure Devops, Github Actions, Jenkins, C#, .Net Core, Git, Cloud Infrastructure, Monitoring, Scaling, Containerization
Specialization
Requires strong experience in software development (ideally .NET/C#) and proficiency with Azure DevOps, Docker, and Kubernetes. Candidates must be fluent in German (C1 level) and reside in or near Hamburg.
Experience Required
Minimum 5 year(s)
Senior Software & App Engineer (m/w/d) at Parma Tavern
Leipzig, Saxony, Germany - Full Time
Skills Needed
Typescript, React, React Native, Expo, Supabase, Github, Vercel, Clean Code, Software Architecture, Ios Development, Android Development, Api Integration, Llm, Testing, Debugging, Performance Optimization
Specialization
Requires several years of professional software development experience with strong proficiency in TypeScript, React, and React Native. Candidates should be experienced in clean code principles, mobile app development for iOS/Android, and modern software architectures.
Experience Required
Minimum 5 year(s)
Senior Software Engineer (m/f/d) Data at Axel Springer News Media National
Berlin, , Germany - Full Time
Skills Needed
Distributed Systems, Microservice Architecture, Cloud Computing, Data Modeling, Api Design, Event Driven Architecture, Systems Design, Observability, Reliability Engineering, Software Lifecycle Management, Query Optimization, Data Versioning
Specialization
Requires 8+ years of professional software engineering experience with deep proficiency in at least two modern programming languages. Must have a proven track record of architecting resilient, high-impact data platforms in cloud environments.
Experience Required
Minimum 10 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Cloud Architecture, Api Design, Agentic Ai Systems, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS infrastructure, with a plus for experience in agentic orchestration frameworks.
Experience Required
Minimum 2 year(s)
Junior Java Software Engineer (m/w/d) at Steadforce GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Java, Frontend Development, Ui/Ux Design, Angular, React, Software Development, User Experience
Specialization
Requires a degree in computer science or equivalent with initial practical experience in Java software development. Candidates should have a passion for frontend development and ideally possess knowledge of Angular or React.
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Services, Cloud Architecture, Backend Engineering, Agentic Ai, Orchestration Workflows, Api Integration, Infrastructure As Code, Version Control, System Monitoring, Software Engineering
Specialization
Candidates must hold a Bachelor's or Master's degree in Computer Science or a related field and possess several years of professional Python development experience. Proficiency in AWS, Terraform, Docker, and modern AI orchestration frameworks is required.
Experience Required
Minimum 2 year(s)
Softwareentwickler JavaScript (m/w/d) at Top itservices AG
Münster, Nordrhein-Westfalen, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
Senior Software Engineer (all genders) at Capmo
Munich, Bavaria, Germany - Full Time
Skills Needed
React, Node, Typescript, Aws, Postgres, Software Design Patterns, Scalable Solutions, Mentoring, Coaching, End To End Ownership
Specialization
Requires 8+ years of professional software engineering experience with proficiency in React, Node, TypeScript, AWS, and Postgres. Must be able to design secure, scalable solutions and take full ownership of results.
Experience Required
Minimum 10 year(s)
Senior Softwareentwickler (m/w/d) Java at CompuGroup Medical - Nederland
Koblenz, Rheinland-Pfalz, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
Software Project Manager (all genders) at Smart Steel Technologies Gmbh
Berlin, , Germany - Full Time
Skills Needed
Project Scheduling, Technical Documentation, Stakeholder Management, Backlog Grooming, Sprint Planning, Agile Methodology, Api Knowledge, Database Management, Jira, Trello, Asana, Ms Powerpoint, Ms Excel, English Proficiency, Problem Solving, Cross Functional Collaboration
Specialization
Candidates should hold a degree in a technical or business field and possess foundational knowledge of software development and Agile processes. The role is open to entry-level candidates who are proactive problem-solvers and eager to learn steel manufacturing workflows.
Senior SAP Software Architect (m/w/d) at Deutsche Telekom Group
Berlin, Saxony, Germany - Full Time
Skills Needed
Sap S/4hana Architecture, Abap Oo, Sap Btp, Sap Fiori, Ui5, Sap Aif, Scrum, Safe, React, Angular, Node.Js, Sap Fi, Sap Psm, Digital Transformation, Cloud Solutions, Software Architecture
Specialization
Requires a degree in Computer Science or Business Informatics with at least 5 years of SAP consulting/development experience and 3 years in specific industry environments. Proficiency in German and English (C1 level) is mandatory.
Experience Required
Minimum 5 year(s)
Team Lead Software Engineering (m/f/d) at Rapid Data GmbH Unternehmensberatung
Berlin, , Germany - Full Time
Skills Needed
C#, Technical Leadership, React, Azure Aks, Docker, Kubernetes, Ci/Cd, Ai Assisted Development, Cloud Infrastructure, Software Architecture, Mentorship, Project Delivery
Specialization
Requires a strong C# background with proven experience leading small engineering teams and a solid grasp of cloud infrastructure and containerization. Proficiency in English is required, with experience using AI-assisted development tools like Cursor or GitHub Copilot.
Experience Required
Minimum 5 year(s)
Software Formal Verification Engineer at Apple
Munich, Bavaria, Germany - Full Time
Skills Needed
Formal Logic, Automated Reasoning, C, C++, Interactive Theorem Provers, Isabelle, Sml, Functional Programming, Formal Verification, Computer Architecture, Operating Systems, Problem Solving, Interpersonal Skills, Written Communication, Verbal Communication, Formal Specifications
Specialization
Requires deep knowledge of formal logic, automated reasoning, and proficiency in C, C++, or functional languages like SML. Experience with interactive theorem provers and a degree in Computer Science, Mathematics, or a related field is preferred.
Experience Required
Minimum 2 year(s)
Werkstudent:in (m/w/d) Qualitätssicherung Softwaretests im Bereich Software at Gesundheitsforen Leipzig GmbH
Leipzig, Saxony, Germany -
Full Time

Start Date

Immediate

Expiry Date

03 Sep, 26

Salary

17.0

Posted On

05 Jun, 26

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

No

Skills

Software Testing, Quality Assurance, Java, Web Development, App Development, Microsoft Office, Test Automation, Technical Documentation, German C1, English

Industry

IT Services and IT Consulting

Description
Wer wir sind Die Gesundheitsforen sind ein mittelständisches Unternehmen im Herzen der Leipziger Innenstadt, welches sich als ein führender Anbieter von Business Intelligence, Softwareentwicklung und Analyselösungen versteht. Mit rund 90 Mitarbeitenden entwickeln wir in interdisziplinären Teams praxisnahe Lösungen rund um das Management von Krankenversicherungen, Krankenhäusern und Pharmaunternehmen. Als Wissensdienstleister und Netzwerkpartner führen wir zahlreiche Veranstaltungen für die Akteure der Gesundheitsbranche durch. Zudem engagieren wir uns im Bereich klinische Studien sowie Versorgungsforschung und lassen hierbei unsere mehrjährige Erfahrung im Aufbau und Betrieb von medizinischen Registern einfließen. Trends auf dem Gesundheitsmarkt lassen dein Herz höher schlagen und der Blick hinter die Daten und Anwendungen findest du richtig spannend? Dann bist du bei den Gesundheitsforen genau richtig! Werde Teil unseres Softwareentwicklungsteam und gestalte aktiv die Produktion, den Betrieb und die Weiterentwicklung einer etablierten Standardsoftware, oder individueller Webplattformen, mit uns gemeinsam in einer der größten Branchen Deutschlands – dem Gesundheitsmarkt. Deine Aufgaben bei uns Unterstützung bei der Planung und Durchführung von Softwaretests Mitarbeit bei der Erstellung von Handbüchern, Ausschreibungen und Dokumentationen Unterstützung bei der technischen und fachlichen Entwicklung von Softwareanwendungen und IT-Architekturen Ermittlung, Erstellung und Beschaffung von Testdaten Unterstützung bei der Erstellung von Testkonzepten Weiterentwicklung bestehender und Einführung neuer Testmethoden Dafür bringst du mit Du bist an einer Hochschule oder Universität immatrikuliert, z. B. in Medieninformatik, Informatik, Angewandter Informatik, Wirtschaftsinformatik oder einem vergleichbaren Studiengang. Du verfügst über sichere Anwenderkenntnisse in den Microsoft-Office-Anwendungen, insbesondere Word, Excel, PowerPoint und Outlook. Idealerweise hast du bereits praktische Erfahrungen in der Java-, Web- oder App-Entwicklung gesammelt. Du zeichnest dich durch Teamfähigkeit, Verantwortungsbewusstsein, Eigeninitiative und Kommunikationsstärke aus. Du verfügst über sehr gute Deutschkenntnisse (mindestens C1-Niveau) sowie gute Englischkenntnisse. Außerdem hilfreich Erste Kenntnisse im Bereich Softwaretest, Testautomatisierung oder Qualitätssicherung sind von Vorteil. Wir bieten dir Gezielte Einarbeitung im Onboarding und individuelle Weiterbildungsangebote Einen modernen Arbeitsplatz direkt in der Innenstadt zum Wohlfühlen Flexible Arbeitszeiten sowie die Möglichkeit, vor Ort im Büro oder im Homeoffice zu arbeiten Zuschuss zum LVB Jobticket Umfangreiches Fitnessangebot durch unseren Partner EGYM Wellpass Regelmäßige Firmen- und Teamevents Täglich frisches Obst/Gemüse und Getränke Weitere Vorteile aus unserem Benefitskatalog Dein Weg zu uns Haben wir dein Interesse geweckt? Dann freuen wir uns über deine Unterlagen unter Angabe des frühestmöglichen Eintrittstermins an bewerbung@gesundheitsforen.net oder über unser Bewerbungsformular. Bei Rückfragen stehen dir Laura Gutwein (0341 98988 302) oder Clémentine Cure (0341 98 988 301) gern zur Verfügung. Wir freuen uns, dich kennenzulernen! Wir stehen für Vielfalt und Chancengleichheit und begrüßen Bewerbungen von allen Menschen, unabhängig von Geschlecht, Nationalität, ethnischer Herkunft, Religion, Alter oder sexueller Orientierung. Gesundheitsforen Leipzig GmbH | Hainstraße 16 | 04109 Leipzig T +49 341 98988 300 | www.gesundheitsforen.net
Responsibilities
Support the planning and execution of software tests and the creation of test concepts and data. Assist in developing software applications, IT architectures, and technical documentation.
Werkstudent:in (m/w/d) Qualitätssicherung Softwaretests im Bereich Software at Gesundheitsforen Leipzig GmbH
Leipzig, Saxony, Germany - Full Time
Skills Needed
Software Testing, Quality Assurance, Java, Web Development, App Development, Microsoft Office, Test Automation, Technical Documentation, German C1, English
Specialization
Must be an enrolled student in Computer Science, Media Informatics, Business Informatics, or a similar field. Requires proficiency in MS Office, strong German (C1) and English skills, and ideally practical experience in Java or web development.
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Cloud Architecture, Api Design, Agentic Ai Systems, Version Control
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS cloud infrastructure.
Experience Required
Minimum 2 year(s)
Software Development Engineer (f/m/d) at Anteira GmbH
Manching, Bayern, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Api Design, Cloud Architecture, Agentic Ai Systems, Backend Engineering, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS cloud infrastructure.
Experience Required
Minimum 2 year(s)
Software Engineer - Applied AI (m/f/d) at Idealworks GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, C++, Rust, Docker, Git, Linux, Multi Robot Coordination, Operations Research, Google Or Tools, Gurobi, Timefold, Numpy, Scipy, Pandas, Aws, Redis
Specialization
Proficiency in Python, C++, or Rust and practical knowledge of Docker, Git, and Linux are essential. Preferred candidates have experience in Operations Research, optimization tools, and Python's scientific stack.
Experience Required
Minimum 2 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Berlin, Berlin, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Services, Cloud Architecture, Backend Engineering, Agentic Ai, Orchestration Workflows, Api Integration, Infrastructure As Code, System Monitoring, Software Engineering Best Practices
Specialization
Candidates must have a Bachelor's or Master's degree in Computer Science or a related field and several years of professional Python development experience. Proficiency in cloud infrastructure (AWS), Infrastructure as Code (Terraform), and containerization tools like Docker is required.
Experience Required
Minimum 2 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Api Design, Cloud Architecture, Agentic Ai Systems, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS infrastructure.
Experience Required
Minimum 2 year(s)
DevOps Software Engineer (all genders) at soft-park GmbH
Hamburg, Hamburg, Germany - Full Time
Skills Needed
Ci/Cd Pipelines, .Net, Javascript, Docker, Kubernetes, Linux, Azure Devops, Github Actions, Jenkins, C#, .Net Core, Git, Cloud Infrastructure, Monitoring, Scaling, Containerization
Specialization
Requires strong experience in software development (ideally .NET/C#) and proficiency with Azure DevOps, Docker, and Kubernetes. Candidates must be fluent in German (C1 level) and reside in or near Hamburg.
Experience Required
Minimum 5 year(s)
Senior Software & App Engineer (m/w/d) at Parma Tavern
Leipzig, Saxony, Germany - Full Time
Skills Needed
Typescript, React, React Native, Expo, Supabase, Github, Vercel, Clean Code, Software Architecture, Ios Development, Android Development, Api Integration, Llm, Testing, Debugging, Performance Optimization
Specialization
Requires several years of professional software development experience with strong proficiency in TypeScript, React, and React Native. Candidates should be experienced in clean code principles, mobile app development for iOS/Android, and modern software architectures.
Experience Required
Minimum 5 year(s)
Senior Software Engineer (m/f/d) Data at Axel Springer News Media National
Berlin, , Germany - Full Time
Skills Needed
Distributed Systems, Microservice Architecture, Cloud Computing, Data Modeling, Api Design, Event Driven Architecture, Systems Design, Observability, Reliability Engineering, Software Lifecycle Management, Query Optimization, Data Versioning
Specialization
Requires 8+ years of professional software engineering experience with deep proficiency in at least two modern programming languages. Must have a proven track record of architecting resilient, high-impact data platforms in cloud environments.
Experience Required
Minimum 10 year(s)
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Integration, Backend Engineering, Cloud Architecture, Api Design, Agentic Ai Systems, Software Engineering Best Practices
Specialization
Requires a degree in Computer Science or a related field and several years of professional Python development experience. Candidates should be proficient with Docker, CI/CD, and AWS infrastructure, with a plus for experience in agentic orchestration frameworks.
Experience Required
Minimum 2 year(s)
Junior Java Software Engineer (m/w/d) at Steadforce GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Java, Frontend Development, Ui/Ux Design, Angular, React, Software Development, User Experience
Specialization
Requires a degree in computer science or equivalent with initial practical experience in Java software development. Candidates should have a passion for frontend development and ideally possess knowledge of Angular or React.
AI Software Engineer – Python (m/f/x) at Scalable GmbH
Munich, Bavaria, Germany - Full Time
Skills Needed
Python, Aws, Terraform, Docker, Ci/Cd, Langgraph, Llm Services, Cloud Architecture, Backend Engineering, Agentic Ai, Orchestration Workflows, Api Integration, Infrastructure As Code, Version Control, System Monitoring, Software Engineering
Specialization
Candidates must hold a Bachelor's or Master's degree in Computer Science or a related field and possess several years of professional Python development experience. Proficiency in AWS, Terraform, Docker, and modern AI orchestration frameworks is required.
Experience Required
Minimum 2 year(s)
Softwareentwickler JavaScript (m/w/d) at Top itservices AG
Münster, Nordrhein-Westfalen, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
Senior Software Engineer (all genders) at Capmo
Munich, Bavaria, Germany - Full Time
Skills Needed
React, Node, Typescript, Aws, Postgres, Software Design Patterns, Scalable Solutions, Mentoring, Coaching, End To End Ownership
Specialization
Requires 8+ years of professional software engineering experience with proficiency in React, Node, TypeScript, AWS, and Postgres. Must be able to design secure, scalable solutions and take full ownership of results.
Experience Required
Minimum 10 year(s)
Senior Softwareentwickler (m/w/d) Java at CompuGroup Medical - Nederland
Koblenz, Rheinland-Pfalz, Germany - Full Time
Skills Needed
N/A
Qualification
Graduate
Software Project Manager (all genders) at Smart Steel Technologies Gmbh
Berlin, , Germany - Full Time
Skills Needed
Project Scheduling, Technical Documentation, Stakeholder Management, Backlog Grooming, Sprint Planning, Agile Methodology, Api Knowledge, Database Management, Jira, Trello, Asana, Ms Powerpoint, Ms Excel, English Proficiency, Problem Solving, Cross Functional Collaboration
Specialization
Candidates should hold a degree in a technical or business field and possess foundational knowledge of software development and Agile processes. The role is open to entry-level candidates who are proactive problem-solvers and eager to learn steel manufacturing workflows.
Senior SAP Software Architect (m/w/d) at Deutsche Telekom Group
Berlin, Saxony, Germany - Full Time
Skills Needed
Sap S/4hana Architecture, Abap Oo, Sap Btp, Sap Fiori, Ui5, Sap Aif, Scrum, Safe, React, Angular, Node.Js, Sap Fi, Sap Psm, Digital Transformation, Cloud Solutions, Software Architecture
Specialization
Requires a degree in Computer Science or Business Informatics with at least 5 years of SAP consulting/development experience and 3 years in specific industry environments. Proficiency in German and English (C1 level) is mandatory.
Experience Required
Minimum 5 year(s)
Team Lead Software Engineering (m/f/d) at Rapid Data GmbH Unternehmensberatung
Berlin, , Germany - Full Time
Skills Needed
C#, Technical Leadership, React, Azure Aks, Docker, Kubernetes, Ci/Cd, Ai Assisted Development, Cloud Infrastructure, Software Architecture, Mentorship, Project Delivery
Specialization
Requires a strong C# background with proven experience leading small engineering teams and a solid grasp of cloud infrastructure and containerization. Proficiency in English is required, with experience using AI-assisted development tools like Cursor or GitHub Copilot.
Experience Required
Minimum 5 year(s)
Software Formal Verification Engineer at Apple
Munich, Bavaria, Germany - Full Time
Skills Needed
Formal Logic, Automated Reasoning, C, C++, Interactive Theorem Provers, Isabelle, Sml, Functional Programming, Formal Verification, Computer Architecture, Operating Systems, Problem Solving, Interpersonal Skills, Written Communication, Verbal Communication, Formal Specifications
Specialization
Requires deep knowledge of formal logic, automated reasoning, and proficiency in C, C++, or functional languages like SML. Experience with interactive theorem provers and a degree in Computer Science, Mathematics, or a related field is preferred.
Experience Required
Minimum 2 year(s)