(Senior) Formal Verification Engineer (m/f/d)
November 20, 2023
IT Systems Administrator (m/f/d)
20-40h/week, from January 2024, hybrid
At LUBIS EDA, we help our customers to find simulation-resistant bugs in their high-risk IP blocks. There is a large demand for formal methods, as it is a very efficient way to tackle the industry’s verification problems. We developed a game-changing software solution that we use inhouse, making Formal Verification more intuitive and easier.
We’re looking for a highly skilled and motivated IT Systems Administrator to join our team. You’ll be responsible for managing and maintaining our computer systems and networks to ensure smooth operations and provide technical support to our employees.
Make a change and built a company together with us!
Your Responsibilities
- Install, configure, and maintain computer systems, servers, and networks
- Monitor system performance, troubleshoot issues, and ensure high availability
- Manage user accounts, permissions, and access rights
- Perform regular backups and ensure data integrity
- Implement and maintain security measures for system and data protection
- Provide internal technical support
- Stay updated on latest IT systems administration trends and technologies
Your Requirements
Must have:
- 'Fachinformatiker Systemintegration', Bachelor CS or similar qualification
- Strong knowledge of computer systems, networks, and operating systems
- Proficiency in scripting languages (e.g. Bash, NodeJS)Â for automation and system management tasks
- Solid understanding of network protocols and security principles
- Ability to work independently and in a team
Optional:
- Proficiency in Docker and containerization technologies
- Experience working with Linux systems
- Basic database administration skills
- Problem-solving and communication skills (German/English)
- Familiarity with cloud computing platforms (e.g., AWS, Azure)
- Certifications (e.g., MCSA, CompTIA Network+)
What we offer
Be an entrepreneur and not just an employee!