Frederik Krogsdal Jacobsen Email & Phone Number

København, Region Hovedstaden, Danmark

Developing the flagship product Criipto Verify, which provides user authentication with electronic identification.Contributing to continuously improving our secure software development lifecycle and compliance programmes.

Copenhagen, Capital Region Of Denmark, Denmark

Supporting 7500+ engineers at the start of their careers by organizing talks, workshops and other events that provide useful technical and interpersonal skills.

Kongens Lyngby

Development and implementation of strategy for one of the largest climbing clubs in Denmark with 1000+ members.Managing many stakeholders including athletes, national governing bodies, sponsors, and local government.Planning and operations of climbing competitions, social events, training teams, and new development and maintenance of club equipment and.

Oxford, England, United Kingdom

Visited the Mobility Reading Group headed by Strachey Professor of Computing Nobuko Yoshida in the Department of Computer Science.During the visit I helped kick-start collaborations with several members of the research group on projects at the intersection of distributed systems, type theory, and formal verification.I was invited to give several talks.

Kongens Lyngby, Capital Region, Denmark

Responsible for reliable network operations for around 3000 customers as part of a small team at a residential internet service provider.Maintained custom and off‐the‐shelf hardware and software solutions for a customer‐VLAN network topology.Maintained custom Linux‐based infrastructure and applications for broadband network gateways and firewalls in C.

Kongens Lyngby, Capital Region, Denmark

Managed risk and compliance in a complex legal environment.Formulated and executed strategic goals including mergers and acquisitions.Facilitated technical and economic negotiations between a large number of stakeholders including member organizations, potential merger organizations, and law enforcement.

Copenhagen, Capital Region, Denmark

Developed software for statistical medical research as an internal consultant.Developed statistical software at the Departments of Urology at Herlev Hospital and Gentofte Hospital in close collaboration with researchers and medical doctors as a consultant.Primarily developed software in Java, including JavaFX and JUnit.Co‐author of a peer‐reviewed cohort.

Kongens Lyngby, Capital Region, Denmark

Teaching assistant in a number of courses:- 2017: Advanced Engineering Mathematics 1- 2019: Linear Control Design 1- 2020: Introductory Programming- 2020: Logical Systems and Logic Programming- 2021: Introductory ProgrammingDiploma in TA pedagogy from the Educational Consultancy at DTU.

Lunderskov, South Denmark, Denmark

Responsible for content management system, search engine optimization, and pricing systems.Developed back‐end systems in PHP and Visual Basic, and front‐end systems in JavaScript.Developed back‐end solutions to automatically manage pricing data for travel products based on many supplier databases using multiple technologies.Developed front‐end solutions to.

Doctor Of Philosophy - Phd, Computer Science

My project "User-Friendly Formal Methods" concerned novel methods for bringing formal methods within reach of the average software.

Master Of Science - Ms, Computer Science, Gpa 11.5 / 12

Activities and Societies: Enrolled in the Honors Program. Participated in the Coq Andes Summer School 2020.Focus on formal methods, type.

Bachelor Of Science - Bs, Electrical And Electronics Engineering, Gpa 11.0 / 12

Activities and Societies: Performed electrical and requirements engineering for the Vermilion Racing Formula Student Electric team team at.

Exchange Semester, Electrical And Electronics Engineering

Activities and Societies: NTU Windsurfing ClubExchange semester as part of my BSc from DTU. Courses on robotics, digital signal.